[TYPES/announce] PhD and postdoc positions in program verification at Uppsala University

[Eva Darulova Bruggisser]

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 ads and application portals:
https://urldefense.com/v3/__https://uu.varbi.com/en/what:job/jobID:766281/__;!!IBzWLUs!Qvm_LHTgFd0H5ozbK4M4yxvk1iD6EBQlzdUFcrdes03SfhYM41bWqwAjl6gSJz9vJZOUDBrvo7cOw0vg-zHHVSxwm9CY7DCh0Xp8vg$  (PhD positions)and
https://urldefense.com/v3/__https://uu.varbi.com/en/what:job/jobID:767100/__;!!IBzWLUs!Qvm_LHTgFd0H5ozbK4M4yxvk1iD6EBQlzdUFcrdes03SfhYM41bWqwAjl6gSJz9vJZOUDBrvo7cOw0vg-zHHVSxwm9CY7DAO0qszfg$  (Postdoc position)

Best,
Eva Darulova
(https://urldefense.com/v3/__https://malyzajko.github.io/__;!!IBzWLUs!Qvm_LHTgFd0H5ozbK4M4yxvk1iD6EBQlzdUFcrdes03SfhYM41bWqwAjl6gSJz9vJZOUDBrvo7cOw0vg-zHHVSxwm9CY7DDx3zzq-Q$ )








När du har kontakt med oss på Uppsala universitet med e-post så innebär det att vi behandlar dina personuppgifter. För att läsa mer om hur vi gör det kan du läsa här: https://urldefense.com/v3/__http://www.uu.se/om-uu/dataskydd-personuppgifter/__;!!IBzWLUs!Qvm_LHTgFd0H5ozbK4M4yxvk1iD6EBQlzdUFcrdes03SfhYM41bWqwAjl6gSJz9vJZOUDBrvo7cOw0vg-zHHVSxwm9CY7DCoNViSKw$ 

E-mailing Uppsala University means that we will process your personal data. For more information on how this is performed, please read here: https://urldefense.com/v3/__http://www.uu.se/en/about-uu/data-protection-policy__;!!IBzWLUs!Qvm_LHTgFd0H5ozbK4M4yxvk1iD6EBQlzdUFcrdes03SfhYM41bWqwAjl6gSJz9vJZOUDBrvo7cOw0vg-zHHVSxwm9CY7DAP0tmccw$