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 10 hours ago

twins is available 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