[TYPES/announce] PostDoc position in Paris, France on weak-memory concurrency and compilation

Francesco Zappa Nardelli francesco.zappa_nardelli at inria.fr
Fri Aug 3 04:48:00 EDT 2012


*** PostDoc Position in the Parkas team, ENS Paris, France ***

We are seeking applicants for a post-doctoral position to join a group
working on the broad area of concurrency and compilation in the Parkas
team (ENS -- INRIA, Paris, France):

  http://www.di.ens.fr/ParkasTeam.html 
  
Recent work has focussed on the relaxed-memory concurrency that real
systems exhibit, including work on the memory models of
multiprocessors (x86, Power, ARM), verified compilation of concurrent
programming languages to multiprocessors, the semantic theory of
relaxed-memory concurrency, and the development of tool support for
semantics; some details can be found at

  http://www.di.ens.fr/~zappa/projects/weakmemory/  

We now plan to continue some of the above, and design and implement 
compilation techniques for efficiently exploit the model parallel hardware,
including non-coherent many-core architectures as Tilera and Kalray,
and investigate parallel compilation of synchronous languages.

Applicants must have a PhD in Computer Science or a closely related
field.  The term of the postdoc position is one year with an option to
renew for up to three years.  Starting date is negotiable (tentatively
October 2012).

A keen interest in programming languages, concurrency, and compilation
is essential, ideally with a strong background in one or more of the
following:

* Programming Language Semantics and Type Systems
* Compilers
* Concurrency
* Program Verification
* Static and Dynamic Analysis
* Automated Reasoning Tools
* Operating Systems

The position is funded by the ANR WMC project 

  http://www.di.ens.fr/~zappa/projects/wmc/

led by Francesco Zappa Nardelli 

  http://www.di.ens.fr/~zappa/ 

Applications should include:

* a curriculum vitae
* a brief statement of the particular contribution you would like to
  make to the project
* the names and contact details (postal and e-mail addresses) of two
 referees.

Applications and enquiries should be sent to 

 francesco.zappa_nardelli (@) inria.fr




More information about the Types-announce mailing list