Job Description
A tech-forward organization is looking for a Formal Verification Scientist to translate informal mathematical proofs into precise, machine-verifiable formalizations using Lean. The ideal candidate holds a Master’s degree in Mathematics or a related field and has a strong foundation in rigorous proof...
Apply for this Position
Ready to join Alignerr? Click the button below to submit your application.
Submit Application