[TYPES/announce] PostDoc position at INRIA / ENS Paris, France

Francesco Zappa Nardelli francesco.zappa_nardelli at inria.fr
Wed Jun 26 13:14:59 EDT 2013

*** 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):


Recent work 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, the development of tool support for
semantics, and compiler testing.

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 another year.  Starting date is negotiable (tentatively
October 2013).  A keen interest in programming languages, 
concurrency, semantics, and compilation is essential.

The position is funded by the ANR WMC project


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

Applications and enquiries should be sent before July 15th to

 francesco.zappa_nardelli (@) inria.fr

More information about the Types-announce mailing list