Alignerr seeks Formal Verification Scientists to translate advanced mathematics into Lean 4 formalizations, shaping how AI understands formal proofs. This fully remote, hourly contract targets mathematicians passionate about formal verification and mechanized mathematics.
You'll translate informal proofs, analyze gaps, and build readable proof scripts while collaborating with AI researchers to improve verification pipelines. The role offers ongoing work and flexible hours.
Remote Lean 4 Formal Verification Scientist (Mathlib) in Sydney employer: Alignerr Corp.
Alignerr offers an exceptional opportunity for finance lecturers to engage in groundbreaking AI projects from the comfort of their own homes. With a fully remote and flexible work environment, you can tailor your schedule to fit your lifestyle while contributing to meaningful advancements in AI-driven financial reasoning. The company fosters a culture of autonomy and global collaboration, providing ample opportunities for professional growth and ongoing contract work.
