Sort by
Refine Your Search
-
, research visits, and other activities to promote a strong multi-disciplinary and international network between PhD students, postdocs, researchers, and industry. Qualifications To be appointed under
-
, proof assistants, term rewriting systems, optimizing compilers, program analysis tools, constraint solvers, or similar. Familiarity with linear algebra libraries and high-performance computing
Searches related to proof checking postdoc
Enter an email to receive alerts for proof-checking-postdoc positions