The Department of Mathematics and Statistics is seeking an undergraduate student research assistant for the Summer 2025 term. The selected applicant will work on an existing project: Automated theorem proving and LLMs.

This position will be under the supervision of Dr. Tian An Wong. 

• Current UM-Dearborn undergraduate.
• Excellent organizational, analytic, and communication skills.
• Experience in mathematical proofs, and coding required.

Positions that are eligible for hybrid or mobile/remote work mode are at the discretion of the hiring department. Work agreements are reviewed annually at a minimum and are subject to change at any time, and for any reason, throughout the course of employment. Learn more about the work modes.

The University of Michigan conducts background checks on all job candidates upon acceptance of a contingent offer and may use a third party administrator to conduct background checks.  Background checks are performed in compliance with the Fair Credit Reporting Act.

The University of Michigan is an equal employment opportunity employer.