PhD position in software verification and synthesis @ MPI-SWS

 Max-Planck Institut für Software Systeme  Saabrücken
The Automated Verification and Approximation group at the Max Planck Institute for Software Systems is inviting applications for a PhD position starting in fall 2016 in the area of software verification and synthesis.
Computing resources are fundamentally limited and we often end up approximating our computations, trading accuracy for resource efficiency when implementing real-world systems. Unfortunately, we are currently lacking the required tool support to take full advantage of this tradeoff. We are looking for motivated candidates who would like to work towards our vision of a ‘verifying and approximating compiler’ which will apply approximations automatically and in a trustworthy fashion.

Successful candidates should have a four-year Bachelor's degree or a Master's degree in computer science or a related subject from a leading institution of higher education, creativity and aptitude for research in a dynamic multi-cultural team, and proficiency in spoken and written English. Knowledge of the German language is not required.

Qualified candidates can also be considered for a postdoc position.

The Max Planck Institute for Software Systems ( is located in Kaiserslautern and Saarbrücken in Germany and offers doctoral programs in collaboration with universities. We maintain an open, international, and diverse work environment and collaborate with several major research institutions worldwide. Our working language is English.
The advertised position is located in Saarbrücken.
How to apply:
Please apply at under “Doctorate’’, and select “Programming Languages, Software Engineering, and Verification’' as the field and mention that you are applying to Eva Darulova in the comments. You need to provide your CV, transcript, statement of purpose and two references.

The institute is committed to increasing the representation of minorities, women and persons with disabilities and expressly welcomes them to apply.

Reviewing of applications will commence on 1 June 2016 and applicants are strongly encouraged to apply by this deadline.
Send application to
Dr. Eva Darulova
While applying for the job please refer to jobvector

Get jobs on a daily basis for free