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

[Francesco Zappa Nardelli]

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

  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 before July 15th to

 francesco.zappa_nardelli (@) inria.fr