[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
*** 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
signature.asc
Description: Message signed with OpenPGP using GPGMail