[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
PhD position available at the University of Oslo
Topic: Formal methods for probabilistic programs
Application deadline 15 May 2021
We have a PhD position available on formal methods for probabilistic programs
at Uni. Oslo with an all-star team of international collaborators including
Andrzej Wasowski, Alexandra Silva and Ina Schaefer.
This is an exciting position for candidates interested in combining logic,
statistics and programming in their PhD research, and who have enjoyed topics
such as foundations of programming languages, probability theory and
statistics, executable models and operational semantics, formal methods and
concurrency theory.
More information:
https://www.jobbnorge.no/en/available-jobs/job/202841/phd-research-fellowship-in-formal-methods-for-probabilistic-programs
———
Einar Broch Johnsen, University of Oslo, Norway
[email protected]
