1 engineering "https:" "https:" "https:" "https:" PhD positions at University of Southern Denmark (SDU) in Denmark

PhD Positions in Computer Science (Formal Methods)

University of Southern Denmark (SDU) | Odense C, Region Syddanmark | Denmark | 3 months ago

construction of digital systems guided by rigorous mathematical foundations. Towards which, our current main instrument is the Computer Science Library (CSLib) in the Lean programming technology . CSLib is a