Alignerr is seeking Formal Verification Scientists to translate advanced mathematical arguments into machine-verifiable Lean 4 proofs. This role is fully remote and offers flexible hours, making it an ideal position for mathematicians interested in rigorous proof construction. Candidates should have a Master's degree or higher in a related field and hands-on experience with Lean or similar formal systems. Join us to work on cutting-edge AI projects at the intersection of mathematics and AI training.
#J-18808-Ljbffr