Formal Verification, Lean 4 Specialist

Job not on LinkedIn

🔥 42 minutes ago

🗽 New York – Remote

🗽 New York – Remote

💵 $90 / hour

⏳ Contract/Temporary

🟡 Mid-level

🟠 Senior

Apply Now

Find Similar Remote Jobs

Set Up Email Alert For New Jobs

📊 Check your resume score for this job

Improve your chances of getting an interview by checking your resume score before you apply.

Upload Resume

24-MAG

WebsiteLinkedInAll Job Openings

2 - 10 employees

🤝 B2B

💼 Consulting

B2B • Consulting

24-MAG is a commercial strategy and execution firm that helps B2B organizations design and implement systems, workflows, and operating rhythms for sales, client management, and cross-functional projects. They focus on transforming scattered processes into aligned, measurable, and scalable commercial functions—covering pipeline structure, account management frameworks, and operational discipline for teams seeking efficient, intentional growth.

📋 Description

• Design expert-level problems involving theorem proving, program verification, and mathematical formalisation • Create tasks requiring precise logical reasoning and valid machine-checkable proofs • Develop clear problem statements, assumptions, definitions, and expected outcomes • Prepare technically sound reference proofs and formal solutions • Review alternative valid proof strategies where appropriate

🎯 Requirements

• Substantial experience in formal verification or interactive theorem proving • Hands-on proficiency with Lean 4 and mathlib • Experience with Coq, Isabelle, Agda, or comparable proof assistants • Strong familiarity with type theory, mathematical logic, and formal semantics • Experience formalising mathematical theorems or verifying software properties • Ability to read, write, debug, and evaluate machine-checked proofs • Excellent technical writing and meticulous attention to detail • Experience reviewing advanced formal-methods or mathematical work