Research Assistant: Math, Lean & AI Proofs

Bridgewater Bagel & Coffee; Bridgewater (MA); Hybrid; USD 20,000 - 29,000; Full time

Job summary

Bridgewater State University seeks a motivated student to assist with an NSF-funded project at the intersection of mathematics, computer science, formal verification, and AI. The role involves translating arguments into formally verified proofs using Lean and exploring AI tools like Aristotle.

The position offers hands-on experience with Lean, AI-assisted reasoning, and scripting in Python, while developing organization, documentation, and weekly progress.

Qualifications

• Must be a Bridgewater State University undergraduate student registered for a minimum of six credits for Fall 2026.
• Interest in mathematics and/or computer science; willingness to learn Lean and other tools.
• Some programming experience is preferred, with Python highlighted as a preferred language.

Responsibilities

• Assist with translating mathematical arguments into formally verified proofs.
• Learn and use the Lean proof assistant to write and verify proofs.
• Utilize large language models and Aristotle in AI-assisted mathematical research workflows.
• Write, modify, and debug computer scripts in Python and other languages as needed.
• Organize research files, formalizations, computational results, and documentation clearly.

Skills

Python

Lean

AI & ML

Research

Scripting

Education

Undergraduate student (Bridgewater State University)

Tools

Lean

Python

Aristotle

Job description

Bridgewater State University seeks a motivated student to assist with an NSF-funded project at the intersection of mathematics, computer science, formal verification, and AI. The role involves translating arguments into formally verified proofs using Lean and exploring AI tools like Aristotle.

The position offers hands-on experience with Lean, AI-assisted reasoning, and scripting in Python, while developing organization, documentation, and weekly progress.