Research Engineer, Formal Methods
HarmonicStartup Intelligence company
Palo Alto, United StatesMid
Craft
Floodgate
Sozo Ventures
Teamworthy
Fin Capital
AVG
Data & AINew
About the role
TL;DR
Research Engineer focused on AI-based theorem proving for software and hardware verification.
- •At Harmonic, we are building a mathematical reasoning engine that operates with absolute precision.
- •We are seeking a highly motivated and skilled Research Engineer to join our Formal Methods team.
- •The initial focus of this position will be on pushing the limits of AI based theorem proving for verification of software and/or hardware.
- •Key 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 Requirements 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
Required skills
Python
Domain expertise
deeptechai
Benefits & perks
Unlimited PTO, 401(k) matching, 100% employer-paid health, vision, and dental benefits for employees and 50% coverage for dependents, Health Savings Account (HSA) available for qualifying health plans
Tech stack
Python
