[TYPES/announce] Postdoc position available at MPI-SWS in Type Systems and Functional Programming Group

[Derek Dreyer]

We invite applications for a full-time postdoctoral research position
in the Type Systems and Functional Programming Group, headed by Derek
Dreyer, 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 in choice of
research topic.  See our group's research page
(http://www.mpi-sws.org/~dreyer/research.html) to get a sense of
potential topics.  Our work currently spans language design,
semantics, logic, and verification, with an emphasis on the study of
modularity and data abstraction.

We maintain an open, international and diverse work environment and
seek 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.

Qualified candidates are encouraged to contact me directly by e-mail
(to dreyer AT mpi-sws.org), as well as to submit an online application
to:

http://www.mpi-sws.org/application

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 Type Systems
and Functional Programming group is stationed in the Saarbruecken
branch of the institute, which is reachable in 2 hours by train from
Paris.)  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.