1 proof-checking-postdoc-computer-science-logic Fellowship positions

PhD Research Fellow in Formal Methods for Data Protection in Digital Twins

University of Oslo | Norway | about 4 hours ago

at the Department of Informatics. Starting date no later than December 1, 2025. The fellowship period is three years. A fourth year maybe considered and it will involve 25 percent of other career-promoting work