Apply Now: PART TIME Part - Time Lean Expert For Harmonic
Posted 2025-06-13
Remote, USA
Part Time
Immediate Start
Harmonic has an opening for a dedicated Part-time Lean Expert! This is an exciting Remote opportunity with an immediate start. Key to this role is your expertise in Expertise in Lean4. This position comes with a salary of Competitive salary.
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