Description
Harmonic is hiring a Research Engineer for its Formal Methods team to advance AI-based theorem proving for software and hardware verification. The role involves researching formal methods, applying Lean or similar proof assistants to verify safety-critical systems, and developing algorithms that improve formal methods for AI systems. Candidates need a BS or MS in a relevant technical field or equivalent experience, Python proficiency, proof-assistant experience, and experience driving technical research projects from concept to delivery.
