24 structures-"https:" "https:" "https:" "https:" "https:" "https:" "https:" "https:" "https:" positions at University of Southern Denmark in Denmark
Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
-
universal repository of knowledge and tools verified by proof assistants. Our vision is to unlock the combined potential of humans and artificial intelligence (AI) for the rapid and reliable construction
-
at https://www.sdu.dk/mmmi. Curious? If you are interested in learning more about the position, please contact Torben Worm (Head of Centre) tow@mmmi.sdu.dk Mikkel Baun Kjærgaard (Vice Head of Centre) mbkj
-
initiatives, as well as a wide range of research-related tasks such as qualitative data collection and analysis as well as writing academic publications. More information on “Digging for the Climate”: https
-
by proof assistants. Our vision is to unlock the combined potential of humans and artificial intelligence (AI) for the rapid and reliable construction of digital systems, guided by rigorous