Job Description
A leading AI research firm in Canada is seeking an Applied Formal Methods Researcher to help translate informal proofs into formalizations using Lean. This role requires a Master's degree or higher in a related field, with strong skills in rigorous proof writing. The position offers competitive pay ...
Apply for this Position
Ready to join Alignerr? Click the button below to submit your application.
Submit Application