[TYPES/announce] PhD position in formal methods for cyber-physical systems in a Marie Curie Doctoral Network

[Peter Csaba Ølveczky]

I have a fully funded 3-year PhD research fellowship in formal methods
for resilient cyber-physical systems at the University of Oslo.

This position is one of 15 PhD positions in the Marie Curie Doctoral
Network "Spring" ("Resilience design for large-scale cyber-physical
systems").  The PhD candidate will be based at the University of Oslo, but will
also have research visits at other partners in the doctoral network.

Information about the position (this one is position
DC4) and about how to apply are given in the webpage
https://urldefense.com/v3/__https://spring-project.eu/doctoral-projects/__;!!IBzWLUs!WhCSWjd1_vzxVojxVuQhMQvfNouPvJfleBHhcmmJOAyDl2A4iLNbupRs2Qm5zc_R4TZyXA9fwpv3LwuakYu8YiPkYwlF80yy$ 

* Application deadline: April 1, 2026.

* Applicant must have completed a master's degree at the latest 
   in the summer, and should have suitable background (e.g., thesis 
   topic or courses) in related topics (such as types and type theory).

* Attractive salary.

* Quality of life in Oslo is supposed to be good.

* Exciting project and network.

Feel free to also apply for some of the other 14 PhD positions in this
doctoral network. 

Please contact Prof. Peter Ölveczky (peterol at uio.no) for questions
about this position.