PhD and postdoc positions in program verification at Uppsala University

I am looking for several PhD students and a postdoc who are interested to work with me on my ERC Starting grant funded project in (automated) program verification in the context of numerical programs and software engineering techniques to support the use of such a verifier (e.g. specification inference).

Both PhD students and postdocs are regular employees in Sweden with all benefits that come with that (health care, paid vacation days, parental leave etc.). Sweden is a fantastic place for living and working; Swedes are friendly and speak excellent English. The quality of life is high, with a strong emphasis on outdoor activities.

Deadline to apply: 2 December

Links to full advertisements and application portals:

PhD positions: https://uu.varbi.com/en/what:job/jobID:766281/

Postdoc position: https://uu.varbi.com/en/what:job/jobID:767100/

Best,

Eva Darulova

(https://malyzajko.github.io/)