More jobs:
Part-time Lean Expert
Remote / Online - Candidates ideally in
Town of Poland, Jamestown, Chautauqua County, New York, 14701, USA
Listed on 2025-12-30
Town of Poland, Jamestown, Chautauqua County, New York, 14701, USA
Listing for:
Harmonic
Part Time, Remote/Work from Home
position Listed on 2025-12-30
Job specializations:
-
Education / Teaching
Mathematics, Data Scientist
Job Description & How to Apply Below
Position Overview
Seeking experts in Lean4 theorem proving to model quantitative problems in Lean.
Minimum Qualifications- Demonstrated expertise in Lean4
- Strong quantitative background (mathematics, CS, etc)
- Contributions to Lean mathematical libraries or projects
- Proficiency in TeX
- Minimum of 7 hours / week
- Flexible, project-based schedule
- This is a remote position
Is Math the Path to Chatbots That Don't Make Stuff Up?
Training Data Podcast:
Why Vlad Tenev and Tudor Achim of Harmonic Think AI Is About to Change Math—and Why It Matters
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.
#J-18808-LjbffrTo View & Apply for jobs on this site that accept applications from your location or country, tap the button below to make a Search.
(If this job is in fact in your jurisdiction, then you may be using a Proxy or VPN to access this site, and to progress further, you should change your connectivity to another mobile device or PC).
(If this job is in fact in your jurisdiction, then you may be using a Proxy or VPN to access this site, and to progress further, you should change your connectivity to another mobile device or PC).
Search for further Jobs Here:
×