Alignerr is looking for a Formal Verification Scientist to convert advanced mathematics into machine-verifiable proofs. This fully remote role offers flexible hours and focuses on contributions at the intersection of AI and mathematics. Candidates must have a Master's degree in a relevant field and experience with proof assistants like Lean 4. Responsibilities include translating proofs, analyzing gaps, and collaborating with AI researchers. Enjoy freelance autonomy while tackling intellectually demanding challenges.
#J-18808-Ljbffr