Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
-
Field
-
-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
-
faculty is helping to make completely sustainable and future-proof. At the same time, we are developing the chips and sensors of the future, whilst also setting the foundations for the software technologies
-
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