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
Searches related to parallel programming
Enter an email to receive alerts for parallel-programming positions