Sort by
Refine Your Search
-
Position as PhD Research Fellow in formal methods for data protection in digital twins is available at the Department of Informatics. Starting date no later than December 1, 2025. The fellowship period is
-
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. Other career
Searches related to proof checking postdoc computer science logic
Enter an email to receive alerts for proof-checking-postdoc-computer-science-logic positions