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.

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 and in addition to submit a formal online application at apply.mpi-sws.org. The application consists of a CV, a research statement, and a list of referees.

Application deadline: Friday, 10 February