Lean Proof Architect for Formal Verification at Labelbox

Position Lean Proof Architect for Formal Verification
Posted 10 Jan 2026
Expired 09 Feb 2026
Company Labelbox
Location Toronto | CA
Job Type Full Time

Job Description:

Latest job information from Labelbox for the position of Lean Proof Architect for Formal Verification. If the Lean Proof Architect for Formal Verification vacancy in Toronto matches your qualifications, please submit your latest application or CV directly through the updated Jobkos job portal.

Please note that applying for a job may not always be easy, as new candidates must meet certain qualifications and requirements set by the company. We hope the career opportunity at Labelbox for the position of Lean Proof Architect for Formal Verification below matches your qualifications.

A leader in AI validation based in Toronto is seeking a Mathematical Formalization Specialist. This role involves translating informal mathematical proofs into formal systems like Lean and working on advanced proof construction. Ideal candidates will have a Master's degree in a related field and expertise in rigorous proof writing. Competitive pay ranging from $50 to $150 an hour is offered, reflecting the specialized nature of the work in formal verification and proof systems. #J-18808-Ljbffr

Job Info:

  • Company: Labelbox
  • Position: Lean Proof Architect for Formal Verification
  • Work Location: Toronto
  • Country: CA

How to Submit an Application:

After reading and understanding the criteria and minimum qualification requirements explained in the job information Lean Proof Architect for Formal Verification at the office Toronto above, immediately complete the job application files such as a job application letter, CV, photocopy of diploma, transcript, and other supplements as explained above. Submit via the Next Page link below.

THIS JOB POSTING HAS EXPIRED (Over 30 days ago).
Please search for the latest job opportunities on our Homepage.

Similar Job Vacancies

  Creative QA at Creative Circle
Posted: 6 hours ago

Desc: Our travel client is looking for a Creative QA Specialist to join their team for a 6-week project, from July 20th- August 31st (35-40 hours per week). This will be remote, $40 per hour, t4.Key Respons...

Company: Creative Circle | Location: Toronto