Alignerr is seeking a Formal Verification Scientist to translate advanced mathematical concepts into machine-verifiable Lean proofs. This fully remote role allows for a flexible schedule and requires a Master's degree or higher in Mathematics, Logic, or a related field, along with hands-on experience with Lean or other proof assistants. Candidates will work on research-grade problems at the intersection of mathematics and AI, contributing to the development of the next generation of AI systems.
#J-18808-Ljbffr