The Coq mailing list

[Francesco Zappa Nardelli <francesco.zappa_nardelli AT inria.fr>]

*** 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.  Tentative starting date is January 1st, 2015.
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 October 1st to

francesco.zappa_nardelli (@) inria.fr

Attachment: signature.asc
Description: Message signed with OpenPGP using GPGMail