Alignerr is seeking a Formal Verification Scientist to translate advanced mathematical arguments into Lean 4 proofs for cutting-edge AI research. This fully remote, hourly contract role suits mathematicians who enjoy rigorous proof construction and collaboration with AI researchers.
You will produce machine-verifiable formalizations, analyze complex proofs, and contribute to expanding formal verification capabilities. Flexible hours and ongoing project work await the right candidate.
#J-18808-Ljbffr
Remote Lean 4 Formal Verification Scientist employer: Alignerr Corp.
Join a leading global AI research firm that values innovation and collaboration, offering a dynamic remote work environment for an Applied Physicist. With competitive pay, flexible scheduling, and a strong emphasis on employee growth, this role provides the opportunity to engage in cutting-edge projects while contributing to the advancement of AI technology. Experience a supportive culture that encourages creativity and professional development, making it an ideal place for those passionate about physics and AI.
