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
Searches related to proof checking postdoc
Enter an email to receive alerts for proof-checking-postdoc positions