Remote Lean 4 Formal Verification Scientist

A leading AI research organization seeks a Formal Verification Scientist to translate informal mathematical proofs into Lean, focusing on clarity and correctness. Ideal candidates will have a Master's degree in Mathematics and experience with formal proof languages. This remote position offers competitive pay and flexibility, and it involves collaboration...

Overview 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 and pushing the limits of modern proof assistants. Organization : Alignerr...

OverviewAt 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 and pushing the limits of modern proof assistants.Organization: AlignerrPosition:...

Lean 4 Proof Engineer - Mathematical Formalization Apply for the Lean 4 Proof Engineer - Mathematical Formalization role at Alignerr. Base Pay Range $70.00/hr - $150.00/hr Location Remote Role Overview We seek mathematicians with deep training in rigorous proof construction and hands‑on experience with formal proof languages, especially Lean. You will work...

Lean 4 Proof Engineer - Mathematical Formalization Apply for the Lean 4 Proof Engineer - Mathematical Formalization role at Alignerr . Base Pay Range $70.00/hr - $150.00/hr Location Remote Role Overview We seek mathematicians with deep training in rigorous proof construction and hands‑on experience with formal proof languages, especially Lean. You will...

A leading technology firm is looking for a Lean 4 Proof Engineer specializing in mathematical formalization. The successful candidate will transform informal proofs into Lean and tackle complex verification challenges. Applicants should possess a Master's degree in Mathematics and experience with Lean or similar proof assistants. This role offers competitive...

A leading technology firm is looking for a Lean 4 Proof Engineer specializing in mathematical formalization. The successful candidate will transform informal proofs into Lean and tackle complex verification challenges. Applicants should possess a Master's degree in Mathematics and experience with Lean or similar proof assistants. This role offers competitive...

Applied Formal Methods Researcher (Lean 4) Alignerr partners with leading AI research teams to build cutting‑edge models. Role Overview – We seek mathematicians with rigorous proof training and hands‑on Lean experience to translate informal mathematical arguments into precise, machine‑verifiable formalizations. What You’ll Do Translate informal...

A technology company in Metro Vancouver seeks a Mathematical Formalization Specialist. The ideal candidate will possess a master's degree in Mathematics or a closely related field and have proven experience with Lean and formal proof languages. Responsibilities include translating informal mathematical arguments into structured proofs and fostering...

A technology company in Metro Vancouver seeks a Mathematical Formalization Specialist. The ideal candidate will possess a master's degree in Mathematics or a closely related field and have proven experience with Lean and formal proof languages. Responsibilities include translating informal mathematical arguments into structured proofs and fostering...