Sort by
Refine Your Search
-
and profile: Educational background: You should have a Master’s degree in mathematics or AI/computer science (with a strong mathematical component, including writing formal mathematical proofs), to be
-
and profile: Educational background: You should have a Master’s degree in mathematics or AI/computer science (with a strong mathematical component, including writing formal mathematical proofs), to be
-
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