Sort by
Refine Your Search
-
Aristotle to support the development and verification of formal mathematical proofs. Previous experience with Lean is not required. The ideal candidate will have some programming experience, an interest in
Enter an email to receive alerts for parallel-programming "LCC CNRS" positions