[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Applications are invited for a full-time postdoctoral research position
in the Software Analysis and Verification group, headed by Viktor
Vafeiadis, at the Max Planck Institute for Software Systems (MPI-SWS).
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. To get a sense of the kind or research I do, see my webpage
(http://www.mpi-sws.org/~viktor/).
The successful candidate will have a strong background in at least
one of the following areas:
* separation logic (and/or other program logics)
* interactive theorem proving (e.g., Coq or Isabelle)
* static analysis (abstract interpretation)
* concurrent algorithms and/or relaxed memory models
* compilers (esp. for concurrent programs)
Qualified candidates are encouraged to contact me directly by e-mail
(viktor AT mpi-sws DOT org), as well as to submit an online application
to:
https://apply.mpi-sws.org/
About the institute:
MPI-SWS, founded in 2005, is part of a network of eighty Max Planck
Institutes, Germany's premier basic research facilities. MPIs have an
established record of world-class, foundational research in the fields
of medicine, biology, chemistry, physics, technology and humanities.
Since 1948, MPI researchers have won 17 Nobel prizes. MPI-SWS aspires
to meet the highest standards of excellence and international
recognition with its research in software systems.
The institute is located in Kaiserslautern and Saarbruecken, in the
tri-border area of Germany, France and Luxembourg. (The advertised
position is at Kaiserslautern.) The area offers a high standard of
living, beautiful surroundings and easy access to major metropolitan
areas in the center of Europe, as well as a stimulating, competitive
and collaborative work environment. In immediate proximity are the
MPI for Informatics, Saarland University, the Technical University
of Kaiserslautern, the German Center for Artificial Intelligence
(DFKI), and the Fraunhofer Institutes for Experimental Software
Engineering and for Industrial Mathematics.
The institute maintains an open, international and diverse work
environment and seeks applications from outstanding researchers
regardless of national origin or citizenship. The working language
is English; knowledge of the German language is not required.
Salaries are competitive with other academic institutions in Europe.
Postdocs also receive funding for travel to conferences and
collaborating institutions.
More information about MPI-SWS, see http://www.mpi-sws.org/
