[TYPES/announce] postdoc position in INRIA Paris-Rocquencourt

[Umut Acar]

* Summary 

o Postdoc position: Deepsea Project, INRIA Rocquencourt-Paris
o Duration: 2 (+1) Year
o Area: programming languages
o Note: Collaborations and extended stays at Carnegie Mellon
  University possible (likely with funding from CMU).

* Description

Postdoc position is available on the Design and implementation of
programming languages for dynamic parallelism in the DeepSea Project
in INRIA Paris-Rocquencourt. This is a two year post-doc position,
with an option to extend to three years.  The post-doc will be funded
by an EU-ERC grant in INRIA-Paris, France.  Visits and collaboration
with Carnegie Mellon University, Pittsburgh, Pennsylvania (USA) will
be encouraged; extended longer-term stays at Carnegie Mellon may be
possible to arrange (likely with funding via Carnegie Mellon).

The DeepSea project team, consisting of Umut Acar, Arthur Charguéraud,
and Mike Rainey, is looking for talented researchers with a strong
research track record.  The goal of the research is to develop
techniques to enable a model of computation where applications operate
in parallel on dynamically changing data.  This research, combining
techniques from parallel and dynamic computation, will be based on the
foundations of a parallel programming model for multicore computers
already been developed by the team.

Strong applicants will have background in one or more of the
following areas: 1) programming language semantics, 2) programming
language implementation including compilers and run-time systems, 3)
algorithm design and implementation. Prior experience with parallelism
is not necessary.  Experience with proof assistants such as Coq would
be a plus.

Candidates should have a PhD (or equivalent) in Computer Science or
Engineering. Suitable applicants nearing completion of a PhD will be
considered. The successful candidate will have the opportunity to
collaborate with the students and researcher in INRIA (Rocquencourt,
and Paris Place d'Italie), as well as students and faculty at Carnegie
Mellon University.

Interested candidates should send their CV, research statement, and
list of references to Umut Acar at umut at cs.cmu.edu.

Web site:  www.cs.cmu.edu/~umut

Umut Acar


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20140811/459b6c62/attachment.html>