2 mathlib opportunities in Charlotte updated today
job offers found
Location: Remote Organization: Alignerr Position: Formal Verification Scientist (Lean 4 & Mathlib) Type: Hourly Contract Compensation: $70–$150 /hour Commitment: 10–40 hours/week At Alignerr, we partner with the world’s leading AI research teams and labs to build and train cutting‑edge AI models. Wr
Location: Remote About the job At Alignerr, we partner with the world’s leading AI research teams and labs to build and train cutting-edge AI models. Write and formalize advanced mathematical proofs in Lean for cutting-edge AI research. Ideal for mathematicians passionate about formal verification a
$40,000 – $63,000/year
Estimation confidence: Low
Estimate based on market data for Charlotte. Actual salaries may vary depending on experience, company, and area.
View full salary data →Search for mathlib jobs in other cities in United States
Explore other job opportunities in Charlotte