1. Home
  2. Remote Jobs
  3. Part Time Lean Expert F9f575

Part-time Lean Expert

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

Apply for this job

Harmonic

Category

Other

Employment type

Part-Time

Location

Remote

Salary range

Prefer not to share

Posted

94 days ago

Similar Jobs