Sort by
Refine Your Search
-
At the Technical Faculty of IT and Design, Department of Computer Science, a 2-year Postdoc position in theories for programming semantics, methods for verification and reliability assurance
-
Faculty of IT and Design, Department of Computer Science, a 2-year Postdoc position in theories for programming semantics, methods for verification and reliability assurance of combined classical and
-
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 mathematical foundations
-
that pose serious ecological and health risks. Their low concentration and complex behavior make experimental analyses challenging. Developing reliable predictive models is essential to reduce the reliance
-
verified 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
-
that supports responsible, reliable, and actionable science. The research questions, methodology, and project plan for the Post-doc project will be developed together with the supervisor (Joeri Witteveen) in