Verflixt! Es sieht so aus, als wenn Sie einen veralteten Browser benutzen. Wir empfehlen Ihnen dringend Ihren Browser zu aktualisieren.
Weitere Informationen über Browser und Updates finden Sie hier

PhD position in software verification and synthesis @ MPI-SWS

Diese Stellenanzeige ist abgelaufen. Finden Sie hier zahlreiche ähnliche Jobs.

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.


Art des Bewerbungszugangs
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.
Kontakt für Bewerbungen
Dr. Eva Darulova

Details der Stellenanzeige

Befristete Anstellung
Berufserfahrung nicht vorausgesetzt
Deutschland (Saarland)
66123 Saabrücken