Alignerr Corp. seeks a Formal Verification Scientist to translate dense mathematical arguments into machine-verifiable Lean 4 proofs. This fully remote, hourly contract role targets mathematicians who love rigorous proof construction and mechanized reasoning.
You will work on translating informal arguments into machine-verifiable formalizations, identify gaps, and push the limits of proof assistants while contributing to automating verification pipelines.
#J-18808-Ljbffr
We invite applications for the Remote Lean 4 Formal Verification Scientist (Contract) position located in Birmingham, England, United Kingdom.
We aim to respond to suitable candidates as soon as possible.
Full responsibilities and requirements are described in the listing above.
Learn more about the Remote Lean 4 Formal Verification Scientist (Contract) role in the description above.
We appreciate your interest in this position.
Join Alignerr Corp. and contribute to our ongoing work.