Remote Lean Proof Architect

A forward-thinking mathematics firm is seeking a Mathematical Formalization Specialist to work remotely.

In this role, you will translate informal mathematical proofs into structured formal proofs using Lean and related systems.

A Master’s degree in Mathematics or a related field is required, along with hands-on experience in proof languages.

The ideal candidate should have a strong foundation in rigorous proof writing and a deep enthusiasm for formal verification.

This position offers competitive hourly pay ranging from $50 to $150.#J-18808-Ljbffr