Specialist needed in Toronto to translate mathematical proofs into formal systems like Lean. Requires a Master's degree and expertise in proof writing.
📌 Lean Proof Architect For Formal Verification - $50 - $150 An Hour (Toronto)
🏢 Labelbox
📍 Toronto
Reply to this offer
Impress this employer describing Your skills and abilities, fill out the form below and leave Your personal touch in the presentation letter.