Flag job

Report

Part-time Lean Expert

Location

remote

JobType

Contract

About the job

Info This job is sourced from a job board

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