[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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
