Remote Researcher: Lean 4

Researcher – Lean 4 & Formal Proof Systems Join to apply for the Researcher – Lean 4 & Formal Proof Systems role at Alignerr. Base pay range $70.00/hr – $150.00/hr Location Remote Employment type Hourly Contract (10‑40 h/week) Role Overview We are seeking mathematicians with deep training in rigorous proof construction and hands‑on experience...

Formal Verification Scientist (Lean 4 & Mathlib) Alignerr is seeking mathematicians with deep training in rigorous proof construction and hands‑on experience with formal proof languages, especially Lean. This role sits at the intersection of mathematics and computer science, focusing on translating human‑written mathematical arguments into precise,...

Formal Verification Scientist (Lean 4 & Mathlib) Alignerr is seeking mathematicians with deep training in rigorous proof construction and hands‑on experience with formal proof languages, especially Lean. This role sits at the intersection of mathematics and computer science, focusing on translating human‑written mathematical arguments into precise,...

Formal Verification Scientist (Lean 4 & Mathlib) Alignerr is seeking mathematicians with deep training in rigorous proof construction and hands‑on experience with formal proof languages, especially Lean. This role sits at the intersection of mathematics and computer science, focusing on translating human‑written mathematical arguments into precise,...

**AssemblyAI is a remote-first AI company building powerful deep learning models for developers, startups, and enterprises to transcribe and understand their audio data.** **Our ASR models already outperform companies like Google, AWS, and Microsoft** - which is why hundreds of companies and thousands of developers are using our APIs to transcribe and...

A technology company is looking for a Formal Verification Scientist to translate mathematical arguments into machine-verifiable formalizations. This position requires a Master's or higher in a related field and expertise in rigorous proof writing, particularly using Lean. The ideal candidate will enjoy remote work and demonstrate strong analytical skills....

A technology company is looking for a Formal Verification Scientist to translate mathematical arguments into machine-verifiable formalizations. This position requires a Master's or higher in a related field and expertise in rigorous proof writing, particularly using Lean. The ideal candidate will enjoy remote work and demonstrate strong analytical skills....

A technology company is looking for a Formal Verification Scientist to translate mathematical arguments into machine-verifiable formalizations. This position requires a Master's or higher in a related field and expertise in rigorous proof writing, particularly using Lean. The ideal candidate will enjoy remote work and demonstrate strong analytical skills....

A Mathematics and Computer Science firm is seeking a Mathematical Formalization Specialist to translate informal mathematical proofs into formal verifications using Lean. This remote role requires a Master's degree in a related field and strong experience with proof systems like Lean. Ideal candidates will be passionate about formal verification and have a...

A Mathematics and Computer Science firm is seeking a Mathematical Formalization Specialist to translate informal mathematical proofs into formal verifications using Lean. This remote role requires a Master's degree in a related field and strong experience with proof systems like Lean. Ideal candidates will be passionate about formal verification and have a...