Remote Lean 4 Formal Verification Scientist

Alignerr is seeking a Researcher to translate informal mathematical arguments into Lean 4 formalizations, with emphasis on clarity and correctness, remote contract.You will analyze proofs, test proof assistants, collaborate to improve verification pipelines, and develop readable, reproducible Lean scripts. A strong mathematical background and Lean experience...

Researcher — Lean 4 & Formal Proof Systems (AI Training) About The Role What if your deep mathematical training could directly shape how AI understands and reasons about formal proofs? We're looking for mathematicians and formal verification specialists to translate sophisticated mathematical arguments into machine-verifiable Lean 4 proofs

About The RoleWhat if your deep mathematical training could directly shape how AI understands and reasons about formal proof? We're looking for mathematicians and formal verification specialists to translate rigorous human arguments into machine-verifiable Lean 4 proofs — working at the very edge of what automated reasoning can do

Lean 4 Proof Engineer - Mathematical FormalizationWhat if your deep mathematical training could directly shape the future of AI - by pushing the boundaries of what machines can understand, verify, and reason about?About The RoleWe're looking for mathematicians and formal verification specialists to translate rigorous

Shape the future of AI and mathematics as a Lean 4 Proof Engineer with Alignerr. This remote contract position invites mathematicians to craft machine-verifiable proofs for innovative AI research. As a Proof Engineer, you will be responsible for translating complex mathematical arguments into structured Lean 4 formalizations. This role requires an expert in...

Lean 4 Proof Engineer - Mathematical Formalization What if your deep mathematical training could directly shape the future of AI - by pushing the boundaries of what machines can understand, verify, and reason about? About The Role We're looking for mathematicians and formal verification specialists to translate rigorous mathematical arguments into...

Shape the future of AI and mathematics as a Lean 4 Proof Engineer with Alignerr. This remote contract position invites mathematicians to craft machine-verifiable proofs for innovative AI research. As a Proof Engineer, you will be responsible for translating complex mathematical arguments into structured Lean 4 formalizations. This role requires an expert in...

Get AI-powered advice on this job and more exclusive features. Direct message the job poster from HCLTech Location: Remote (Anywhere in Canada) Responsibilities This role will involve the RFP/RFI process as well as bespoke solutions in collaboration with Product teams/vendors, ensuring accurate verification, technical design vetting and overall cost and...

Get AI-powered advice on this job and more exclusive features.Direct message the job poster from HCLTechLocation: Remote (Anywhere in Canada)ResponsibilitiesThis role will involve the RFP/RFI process as well as bespoke solutions in collaboration with Product teams/vendors, ensuring accurate verification, technical design vetting and overall cost and quality...