Alignerr seeks Formal Verification Scientists for a fully remote role that involves translating complex mathematical arguments into machine-verifiable Lean 4 proofs. Candidates should hold a Master's degree or higher in Mathematics or a related field and have experience with Lean 4, as well as self-management skills. The position offers flexible hours and engaging work at the forefront of AI research.
#J-18808-Ljbffr