Research Engineering Lead, Formal Methods
HarmonicPalo Alto, California, United States
Posted April 7, 2025
Full Time
About the Company
Harmonic develops the world's most advanced mathematical reasoning engine for transformative problem-solving capabilities.
Job Description
We are seeking a highly motivated and skilled Research Engineering Leader to join our AI & Formal Methods team to advance mathematical theorem proving using cutting-edge AI techniques.
Requirements
- BS or MS in Computer Science, Mathematics, a related technical field, or equivalent industry experience
- Basic proficiency in python
- Expertise with mathematical reasoning and automated theorem proving in Lean
