Applications are invited for a full-time postdoctoral research position at the Max Planck Institute for Software Systems (MPI-SWS) based in Saarbr├╝cken, Germany, under the supervision of Eva Darulova in the Automated Verification and Approximation group. Outstanding students can also be considered for a PhD position.

The postdoctoral researcher is expected to collaborate closely with other researchers in the group (see this somewhat older but still relevant research statement), but has the freedom to also pursue his/her interests. The successful candidate should have a strong background in at least one of the following areas:

MPI-SWS offers an internationally renowned research community as well as a multicultural and open working environment. The position is fully funded, including social benefits and funding for travel. The institute language is English; proficiency in spoken and written English are essential requirements but knowledge of the German language is not required.

The initial postdoc appointment is for one year, starting anytime, but preferably in fall/winter 2017, with an option to extend it for up to three years (depending on performance).

Submit a formal online application at and then send an email to Eva directly (eva AT mpi-sws DOT org), referencing the application. For postdoc candidates, the application consists of a CV, a research statement, and a list of referees. PhD candidates submit a statement of purpose instead of a research statement.

Application deadline: Friday, 15 September 2017 or until the position is filled.