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

Harmonic Glassdoor Company Review

3.9

Harmonic DE&I Review

No rating

CEO of Harmonic

Patrick J. Harshman

Approve of CEO

By Harmonic

Harmonic answers the demand for advanced television features. The company provides fiber-optic and wireless network transmission products used to enable video-on-demand services. Its video transmission equipment includes digital headend systems, d...

10 jobs

MATCH

Calculating your matching score...

FUNDING

Seed

DEPARTMENTS

Other

SENIORITY LEVEL REQUIREMENT

Mid-Level

INDUSTRY

Electronics Manufacturing

TEAM SIZE