Alignerr is seeking a Formal Verification Scientist to translate advanced mathematical arguments into machine-verifiable Lean 4 proofs while pushing the boundaries of what proof assistants can do. This fully remote hourly contract role invites mathematicians passionate about mechanized reasoning to collaborate with AI teams on frontier problems.
Applicants should hold a Master's or higher in Mathematics or related fields, with a strong track record in formal proof writing and a deep #J-18808-Ljbffr
Applicants should hold a Master's or higher in Mathematics or related fields, with a strong track record in formal proof writing and a deep #J-18808-Ljbffr
Remote Lean 4 Formal Verification Scientist in charlotte at Unknown Company
This position is listed as contract and able to be worked remotely.