[TYPES/announce] Postdoc positions @ MPI-SWS

[Viktor Vafeiadis]

Applications are invited for postdoc positions at MPI-SWS under the supervision of Viktor Vafeiadis (https://people.mpi-sws.org/~viktor/). The positions are initially for two years with a possibility of an extension for another year, and are funded by the ERC consolidator grant PERSIST on the semantics and verification of non-volatile memory (NVM) programs.

Postdoc candidates should have, or expect shortly to obtain, a PhD in computer science, and have expertise in one or more of the following topics:
- NVM programming and/or semantics
- weak memory models
- ISA semantics
- separation logic and/or other program logics
- software model checking
- Coq

Interested applicants are encouraged to contact Viktor Vafeiadis and submit a formal application at https://apply.mpi-sws.org/ 

Application deadline: 7 March 2021