ZipRecruiter

Log In

1

Assistant Ai Developer Jobs in Fall River, MA (NOW HIRING)

SEACORP

Software Engineer IV - AI

Middletown, RI · On-site

The ideal candidate understands how to effectively utilizeAI coding assistants, agentic software ... and developer productivity technologies. * Produce technical documentation, software artifacts ...

SEACORP

Software Engineer IV - AI

Middletown, RI · On-site

Demonstrated experience integrating multiple AI coding assistants and developer productivity tools into production engineering workflows. * Experience improving developer productivity across large ...

SEACORP

Software Engineer IV - AI

Middletown, RI · On-site

... • Assist with the evaluation and adoption of emerging AI-enabled software engineering tools, workflows, and developer productivity technologies. • Produce technical documentation, software ...

Worky

Software Engineer I

Johnston, RI · On-site

$90 - $130/hr

AI Software Engineer We are seeking a motivated and curious AI Software Engineer to help build and ... AI coding assistants such as GitHub Copilot or Cursor What Success Looks Like * Successfully ...

Harris

Software Developer

Carolina, RI · On-site

We are looking for an intermediate Software Developer to join the NextGen R&D team at Harris School ... Practical experience using AI coding assistants or AI-powered development tools as part of regular ...

Infosys Limited

Amazon Connect Developer

Johnston, RI · On-site

$90 - $130/hr

Our team leverages advanced technologies such as AI, ML, and predictive analytics to drive ... the knowledge base and assist other similar projects Your contribution to the team: * A ...

New

next page

Showing results 1-20

All JobsAi Developer JobsAssistant Ai Developer JobsAssistant Ai Developer Jobs in Fall River, MA

Assistant Ai Developer information

See Fall River, MA salary details

$16

$24

$42

How much do assistant ai developer jobs pay per hour?

As of Sep 3, 2026, the average hourly pay for assistant ai developer in Fall River, MA is $24.83, according to ZipRecruiter salary data. Most workers in this role earn between $19.09 and $27.02 per hour, depending on experience, location, and employer.

What job categories do people searching Assistant Ai Developer jobs in Fall River, MA look for?

The top searched job categories for Assistant Ai Developer jobs in Fall River, MA are:

What cities near Fall River, MA are hiring for Assistant Ai Developer jobs?

Cities near Fall River, MA with the most Assistant Ai Developer job openings:

Assistant Ai Developer jobs near you

Research Assistant for Mathematics, Lean, and Artificial Intelligence

Bridgewater State College

Bridgewater, MA • On-site

$18/hr

Full-time

Posted 6 days ago

Key responsibilities

  • 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.

Job description

Posting Details
Position Information
Title
Research Assistant for Mathematics, Lean, and Artificial Intelligence
Position Description
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.
Preferred Qualifications
Applicants should:
  • Have some prior programming experience, preferably with Python or another general-purpose programming language.
  • Be able to write, modify, and troubleshoot computer scripts.
  • Have an interest in mathematics, computer science, artificial intelligence, mathematical logic, or related fields.
  • Be willing to learn Lean and other specialized research tools.
  • Be organized and able to maintain clear records of ongoing work.
  • Be dependable and consistent in completing assigned tasks.
  • Be able to manage time effectively and make measurable progress on a weekly basis.
  • Be persistent when working through mathematical or technical problems.
  • Have strong attention to detail.
  • Be able to work independently and take responsibility for assigned tasks.
  • Communicate clearly about progress, questions, and difficulties.

Preferred Background
Coursework or experience in one or more of the following areas is helpful, but not required:
  • Mathematics
  • Computer Science
  • Mathematical proofs or mathematical reasoning
  • Logic
  • Python or another programming language
  • Artificial intelligence or machine learning
  • Formal methods
  • Automated theorem proving
  • Lean or another proof assistant

Eligibility requirements
Must be a Bridgewater State University undergraduate student registered for a minimum of six credits for the Fall 2026 semester.
Physical Demands
Special Conditions for Eligibility
Please be aware that employment at Bridgewater State University is contingent upon completion of a successful background check. Bridgewater State University is an E-Verify employer.
EEO Statement
Bridgewater State University is an equal employment opportunity employer and considers all qualified candidates without regard to race, color, religion, sex, age, national origin, disability status, veteran status, gender identity, sexual orientation, genetic information, pregnancy or pregnancy-related condition or any other characteristic protected by law.
Hourly Rate
$18.00
Posting Detail Information
Posting Number
Stu06058P
Open Date
Close Date
10/31/2026
Open Until Filled
No
Special Instructions to Applicants
For additional information about this position or for a status update of your application, please contact:
Vignon Oussa
voussa@bridgew.edu

Apply