Lean4 Expert

Job Summary

A company is looking for a part-time Lean Expert.

Key Responsibilities

• Model quantitative problems using Lean4 theorem proving
• Contribute to Lean mathematical libraries or projects
• Work on a flexible, project-based schedule with a minimum commitment of 7 hours per week

Required Qualifications

• Demonstrated expertise in Lean4
• Strong quantitative background in mathematics, computer science, or related fields
• Proficiency in TeX is preferred