Sort by
Refine Your Search
-
partners: ASML and DCODIS (a start-up). This is technically challenging applied research with as main outcome a proof-of-concept tool that allows developers to quickly find and fix software errors including
-
-of-the-art in AI and apply it to real-world software problems at our industrial partners: ASML and DCODIS (a start-up). This is technically challenging applied research with as main outcome a proof-of-concept
-
should have a Master’s degree in mathematics or AI/computer science (with a strong mathematical component, including writing formal mathematical proofs), to be completed before the start of the position
Searches related to proof checking postdoc
Enter an email to receive alerts for proof-checking-postdoc positions