Alignerr is looking for Applied Formal Methods Researchers to translate informal mathematical proofs into machine-verifiable Lean 4 proofs. This fully remote and flexible contract role requires a Masters degree in Mathematics or a closely related field, with hands-on experience in proof assistants like Lean. Responsibilities include analyzing and formalizing proofs while collaborating with researchers to improve formal verification pipelines. Join us to contribute to cutting-edge AI projects in the world of mechanized mathematics.
J-18808-Ljbffr