4 formalization opportunities in Chicago updated today
job offers found
A leading AI research company is looking for a Lean 4 Proof Engineer specializing in mathematical formalization. The ideal candidate will have a Master's degree in Mathematics or a related field and experience in rigorous proof writing and formal verification using Lean. Responsibilities include tra
A leading tech company in Chicago is seeking a Lean 4 Proof Engineer specializing in mathematical formalization. The candidate should hold a Master's degree in Mathematics and have hands-on experience with proof assistants like Lean. This role involves translating informal proofs into formal structu
AlignerrLean 4 Proof Engineer - Mathematical Formalization - 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
Mathematical Formalization Specialist (Lean / Formal Proof Systems) 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, formalization,
Hourly Pay Range $30.46 - $45.69 - The hourly pay rate offered is determined by a candidate's expertise and years of experience, among other factors. Position Highlights Position: Perinatal Mental Health Clinician -Per Diem – Rotating Shifts Location: Remote Evanston, IL Per Diem Hours: Per Diem pro
$40,000 – $63,000/year
Estimation confidence: Low
Estimate based on market data for Chicago. Actual salaries may vary depending on experience, company, and area.
View full salary data →Search for formalization jobs in other cities in United States
Explore other job opportunities in Chicago