Lean Proof Architect for Formal Verification

Labelbox

Boston, MA, United States

$50

Full Time

Expires On: 02/14/2026

A technology company in Boston is looking for a Mathematical Formalization Specialist to translate informal proofs into formal structures using Lean. The ideal candidate holds a Master’s degree in a relevant field and has strong proof writing skills. Responsibilities include analyzing proofs and collaborating to enhance formal verification pipelines. Compensation ranges from $50 to $150 per hour, depending on experience and expertise. #J-18808-Ljbffr

Apply Now

Related Jobs