Find a Job
Browse by State Browse by Role Latest Postings

Research Assistant for Mathematics, Lean, and Artificial Intelligence

Bridgewater State University Bridgewater, MA

  1. Salary Not stated by the employer
  2. Employer Bridgewater State University
  3. Location Bridgewater, MA
  4. Workplace On site
  5. Role Research Assistant
  6. Posted Aug 28, 2026
  7. Reference pa-33786
Share
Research Assistant for Mathematics, Lean, and Artificial Intelligence at Bridgewater State University, Bridgewater, MA
The National Science Foundation (NSF) is an independent federal agency that supports
science and engineering in all 50 states and U.S. territories.

We are seeking a motivated, dependable, and well-organized student to assist with an NSF-funded research project 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 using Lean, a proof assistant that checks the correctness of mathematical proofs. The project will also make use of large language models (LLMs) and an AI-based mathematical reasoning system known as 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 mathematics and/or computer science, strong organizational skills, and a willingness to learn new technologies.

Responsibilities
The student research assistant will:
  • Assist with translating mathematical arguments and portions of mathematical articles into formally verified proofs.
  • Learn and use the Lean proof assistant to write, test, and verify mathematical proofs.
  • Use large language models and Aristotle as part of an AI-assisted mathematical research workflow.
  • Write, modify, and debug computer programs and scripts.
  • Use Python and, when necessary, learn other programming languages or computational tools relevant to the project.
  • Develop scripts or simple computational tools to automate parts of the research workflow.
  • Organize research files, mathematical formalizations, computational results, and documentation in a clear and consistent manner.
  • Maintain accurate records of work completed, problems encountered, and next steps.
  • Establish weekly goals and demonstrate consistent progress from week to week.
  • Provide regular updates on completed work and ongoing challenges.
  • Meet with the faculty supervisor as needed to discuss progress, technical issues, and future tasks.
  • Work independently while also collaborating effectively when the project requires it.

This position provides an opportunity to participate in research in an emerging area connecting mathematics, artificial intelligence, and formal verification.

In this role, you will gain hands-on experience with:
  • The Lean proof assistant
  • AI-assisted mathematical reasoning
  • Large language models
  • Mathematical formalization
  • Programming and scripting
  • Research organization and documentation
  • Automated and computer-verified mathematical proofs
Students are not expected to know all of these tools before beginning the position. The most important qualities are curiosity, reliability, persistence, organization, programming ability, and a willingness to learn.
Apply on Bridgewater State University's site You apply directly with the employer.

More openings at Bridgewater State University

UniPositions tracks live job openings pulled directly from university, college, and school career sites across the USA — updated automatically, sourced transparently.

Top States

Browse by Role

Top Cities

Institutions

© 2026 UniPositions. All institution names and logos are the property of their respective owners.
Browse Jobs Search By Role
Job listings are fetched directly from each institution's official career site. UniPositions is not affiliated with any listed employer; always apply through the official link on each job page.