[TYPES/announce] PhD and postdoc positions at Uppsala in Practically Usable Verification for Numerical Programs

[Eva Darulova]

I have open PhD and postdoc positions as part of my ERC Starting grant
funded project on (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: 22 April 2025

Links to ads and application portals:
PhD position: https://urldefense.com/v3/__https://uu.varbi.com/en/what:job/jobID:804246/__;!!IBzWLUs!S-xJQG_V3oJBDXhT_WmOcH9kzgx9EwcUT-pPmOBhNN5Rj-AHG39E0hM_nx91AoKF4Xh7odZriaXMk6Wocb9mRXSt3ifCpOHHTOOBAA$ 
Postdoc position: https://urldefense.com/v3/__https://uu.varbi.com/en/what:job/jobID:804773/__;!!IBzWLUs!S-xJQG_V3oJBDXhT_WmOcH9kzgx9EwcUT-pPmOBhNN5Rj-AHG39E0hM_nx91AoKF4Xh7odZriaXMk6Wocb9mRXSt3ifCpOH_gkq4qA$ 

Best,
Eva Darulova
(https://urldefense.com/v3/__https://malyzajko.github.io/__;!!IBzWLUs!S-xJQG_V3oJBDXhT_WmOcH9kzgx9EwcUT-pPmOBhNN5Rj-AHG39E0hM_nx91AoKF4Xh7odZriaXMk6Wocb9mRXSt3ifCpOFUmk8KZQ$ )








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!S-xJQG_V3oJBDXhT_WmOcH9kzgx9EwcUT-pPmOBhNN5Rj-AHG39E0hM_nx91AoKF4Xh7odZriaXMk6Wocb9mRXSt3ifCpOHQHSnZug$ 

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!S-xJQG_V3oJBDXhT_WmOcH9kzgx9EwcUT-pPmOBhNN5Rj-AHG39E0hM_nx91AoKF4Xh7odZriaXMk6Wocb9mRXSt3ifCpOHZV4xKSA$