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
#J-18808-Ljbffr
Remote Lean Proof Architect in boston at Unknown Company
This position is listed as full time and able to be worked remotely.