2 mathlib opportunities in Seattle updated today
job offers found
Researcher - Lean 4 & Formal Proof Systems 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 mathematic
Mathematical Formalization Specialist (Lean / Formal Proof Systems) About Alignerr Alignerr partners with leading AI labs to build expert-driven workflows that improve model reasoning. We recruit top mathematicians and specialists to solve tasks where automated tools fail, advancing AI reliability,
$40,000 – $63,000/year
Estimation confidence: Low
Estimate based on market data for Seattle. 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 Seattle