Alignerr is seeking a Formal Verification Scientist to translate sophisticated mathematical arguments into machine-verifiable Lean 4 proofs, advancing automated reasoning in AI research. This remote, hourly contract role targets mathematicians who enjoy rigorous proof construction and cutting-edge AI work.
Responsibilities include translating informal proofs, examining sub-structures for formalization, and collaborating with AI researchers to enhance verification pipelines.