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