[TYPES/announce] PhD (postdoc) position in software verification and synthesis @ MPI-SWS

[Eva Darulova]

** PhD (postdoc) position in software verification and synthesis @ MPI-SWS
**

I am looking to fill an open PhD (postdoc) position in the area of software
verification and synthesis at the Max Planck Institute for Software Systems
starting in fall 2016.

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.
I am looking for motivated candidates who would like to work with me on 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 <http://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.

** Application **

Please apply at https://apply.mpi-sws.org/ with under "Doctorate" (resp.
"Postdoc"), and select “Programming Languages, Software Engineering,
and Verification’'
as the field and let me know separately about your application via
email. Required application materials include a CV, transcript, statement
of purpose (resp. research statement) and min. two references.

Please contact Eva Darulova (www.mpi-sws.org/~eva) with any questions.

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 start in June 2016.

--

Eva Darulova
www.mpi-sws.org/~eva
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20160512/e62d4303/attachment-0001.html>