Alignerr is hiring a Formal Verification Scientist to work remotely on translating advanced mathematical arguments into machine-verifiable proofs. Candidates should hold a Master's degree in Mathematics or related fields and be skilled in rigorous proof writing and using proof assistants like Lean. You will collaborate with AI researchers to enhance formal verification capabilities and tackle complex mathematical challenges. Enjoy freelance autonomy while contributing to innovative AI projects.
#J-18808-Ljbffr