Harmonic
Sign Up/Sign In
All jobs
Report
Part-time Lean Expert
Location
remote
JobType
Contract
About the job
This job is sourced from a job board
Overview
About the role
Seeking experts 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.
Skills
lean4
mathematics
cs
Apply for this job