2 mathematician opportunities in Seattle updated today
job offers found
Mathematical Formalization Specialist (Lean / Formal Proof Systems) About The Role What if your deep mathematical expertise could directly shape how AI reasons, proves, and understands the world's most complex ideas? We're looking for mathematicians with hands-on experience in formal proof systems t
Mathematical Formalization Specialist (Lean / Formal Proof Systems) About The Role What if your deep mathematical expertise could directly shape how AI reasons, proves, and understands the world's most complex ideas? We're looking for mathematicians with hands-on experience in formal proof systems t
$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 mathematician jobs in other cities in United States
Explore other job opportunities in Seattle
