Position Overview
Seeking an expert in Lean4 theorem proving to model quantitative problems in Lean.
Minimum Qualifications
Demonstrated expertise in Lean4
Strong quantitative background (mathematics, CS, etc)
Preferred Qualifications
Contributions to Lean mathematical libraries or projects
Proficiency in TeX
Time Commitment
Minimum of 7 hours / week
Flexible, project-based schedule
This is a remote position
Learn more about what we are working on!
Is Math the Path to Chatbots That Don't Make Stuff Up?
We are an equal opportunity employer and do not discriminate on the basis of race, religion, national origin, gender, sexual orientation, age, veteran status, disability or any other legally protected status.
GrabJobs is the no1 job portal in the US, connecting you to thousands of jobs fast! Find the best jobs in the US, apply in 1 click and get a job today!
Copyright © 2026 Grabjobs Pte.Ltd. All Rights Reserved.
Your email job alert is now active!