← All roles

Research Engineer, Formal Methods

Harmonic· Engineering
Apply on company site
Palo Alto, LondonFull-timePosted 2mo ago

About the role

Research Engineer role on Harmonic's Formal Methods team focusing on AI-based theorem proving for verification of software and/or hardware, developing new approaches to express and prove properties, and collaborating with AI researchers to train systems to reliably check them.

Responsibilities

  • Conduct research in formal methods for verification of software, hardware and mathematical domains
  • Apply formal verification techniques using Lean or similar frameworks to formally verify safety critical systems
  • Develop and implement algorithms and techniques to improve the efficiency and effectiveness of formal methods for AI systems

Qualifications

  • BS or MS in Computer Science, Mathematics, a related technical field, or equivalent industry experience
  • Basic proficiency in python
  • Proficiency and practical experience with at least one proof assistant (e.g., Lean, Coq, Isabelle, Agda) and a strong foundation in formal methods and mathematical logic
  • Experience driving highly technical research projects from early concept to delivery

Skills

Required:Formal methodsPython
Nice to have:Lean4

Benefits

  • Unlimited PTO
  • 401(k) matching
  • 100% employer-paid health, vision, and dental benefits for employees and 50% coverage for dependents. Harmonic offers varied health coverage options to select what is best for you and your family.
  • Health Savings Account (HSA) available for qualifying health plans
Last updated Aug 25, 2026. Interested? Apply on the company site.
Harmonic logo

About Harmonic

Mathematical Superintelligence

Mathematical Superintelligence

HarmonicMathematicalSuperintelligenceliquid-ai-recruiting-target
Company profileWebsite

More open roles at Harmonic