[TYPES/announce] Postdoc opening on weak memory concurrency at MPI-SWS

[Viktor Vafeiadis]

*** Postdoc opening on weak memory concurrency at MPI-SWS ***

Applications are invited for a full-time postdoctoral research position
at the Max Planck Institute for Software Systems (MPI-SWS) based 
at Kaiserslautern, Germany, under the supervision of Viktor Vafeiadis
(http://www.mpi-sws.org/~viktor/).

The initial postdoc appointment is for two years, starting anytime, 
with an option to extend to a third year (depending on performance). 
The position is relatively independent in that it is not tied to a specific 
project and there is considerable freedom to choose a research topic.
Nevertheless, the postdoc is expected to collaborate closely with other
researchers in the group. Thus, the main topics of interest are:
- weak memory model semantics
- manual or automated verification of concurrent programs
- efficient compilation and/or optimisation of concurrent programs
- verification or testing of compilers for concurrent programs
- static and/or dynamic analysis under weak memory consistency.

The successful candidate will have a strong background in at least 
one of the following areas:
- weak memory model semantics
- concurrent separation logic
- interactive theorem proving (e.g., Coq or Isabelle)
- static analysis of concurrent programs
- compilation (esp. for concurrent programs)

Qualified candidates are encouraged to contact me directly by e-mail
(viktor AT mpi-sws DOT org) and in addition to submit a formal online
application at:

	https://apply.mpi-sws.org/

The application consists of a CV, a research statement, and a list of
referees. 

Application deadline: Friday, 10 February.