Job Description
A technology company is looking for a Formal Verification Scientist to translate mathematical arguments into machine-verifiable formalizations. This position requires a Master's or higher in a related field and expertise in rigorous proof writing, particularly using Lean. The ideal candidate will en...
Apply for this Position
Ready to join Alignerr? Click the button below to submit your application.
Submit Application