1 computer-programmer-"https:"-"https:"-"https:"-"https:" research jobs at Bridgewater State University

Research Assistant for Mathematics, Lean, and Artificial Intelligence

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

at the intersection of mathematics, computer science, formal verification, and artificial intelligence. The research assistant will help with the formal verification of mathematical arguments and mathematical articles