We are very sorry but it looks like you are using an outdated browser. We strongly recommend updating to a modern browser.
More information about your browser and how to update

PhD position in software verification and synthesis @ MPI-SWS

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.


Requirements
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.


Institute
The Max Planck Institute for Software Systems (www.mpi-sws.org) 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.
 

Contact detail


How to apply:
Please apply at https://apply.mpi-sws.org/ 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
www.mpi-sws.org/~eva
eva@mpi-sws.org

Job profile


Working hours
Full-Time
Contract duration
Temporary
Type of job
PhD Project
Work experience
job experience is not required
Region
Germany (Saarland)
Working place
66123 Saabrücken
Area of expertise
Computer Sciences