1 programming-"https:"-"https:"-"https:"-"https:"-"IDAEA-CSIC" research jobs at Bridgewater State University

Research Assistant for Mathematics, Lean, and Artificial Intelligence

Bridgewater State University | Bridgewater, Massachusetts | United States | about 18 hours ago

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