Formal Verification Engineer

We are seeking a Formal Verification Engineer to verify production hardware and software with Aristotle https://aristotle.harmonic.fun/, our formal reasoning agent. In this role, you will work with customers to scope requirements, define properties, execute formal proofs, and deliver reproducible workflows while feeding insights back to product and research. We are looking for a rigorous problem-solver with expertise in formal verification that can adapt readily based on customer requirements and expand the boundaries of Aristotle to push it further.