1 library-"https:" Postdoctoral research jobs in Denmark

Postdoc Positions in Computer Science (Formal Methods)

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

this ambition is the Computer Science Library (CSlib) in the Lean programming technology . CSlib is a global effort carried out in collaboration with world-leading stakeholders, and FORM is a key founding player