Remote Lean Proof Architect
Alignerr
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
Vacancy posted more than 2 months ago
Do you want to receive more vacancies?
Subscribe and receive similar vacancies to Remote Lean Proof Architect. Be the first to apply!
Related searches
- remote writer editor Boston, MA
- product manager remote Boston, MA
- remote frontend developer Boston, MA
- junior project manager remote Boston, MA
- remote contract attorney Boston, MA
- remote sensing Boston, MA
- remote startup Boston, MA
- graphic design remote Boston, MA
- remote web developer Boston, MA
- quality manager remote Boston, MA