1 proof-checking-postdoc-computer-science-logic "the" Postdoctoral positions in Denmark

Postdoc Positions in Formal Methods and Programming Languages

University of Southern Denmark | Denmark | 24 days ago

mechanising theory and/or practice of computer science in proof assistants. Fluency in English is required. Questions? Curious to learn more about the position and environment? Please feel free to reach out