Job Description
A technology company in Metro Vancouver seeks a Mathematical Formalization Specialist. The ideal candidate will possess a master's degree in Mathematics or a closely related field and have proven experience with Lean and formal proof languages. Responsibilities include translating informal mathemati...
Apply for this Position
Ready to join Labelbox? Click the button below to submit your application.
Submit Application