Formal Verification Engineer
Develops formal proofs for hardware design correctness using model checking and property verification. Collaborates with RTL and ML teams on hybrid engines for AI-generated hardware, requiring 5+ years in formal tools like JasperGold.
About the job
Responsibilities
- Build formal proofs of design correctness using model checking, property verification, and equivalence analysis.
- Collaborate with RTL, verification, and ML research teams to develop hybrid formal engines for AI-generated hardware.
- Define formal properties and automate assertion synthesis.
- Build systems that verify at the speed of thought.
Requirements
- 5+ years of experience in JasperGold, VC Formal, or similar formal verification tools.
- Assertion-based verification (SVA).
- Model checking and property decomposition.
- Equivalence checking, abstraction refinement, and formal coverage.
Skills
Jaspergold, Vc Formal, Sva, Model Checking, Property Verification, Equivalence Checking, Assertion-Based Verification, Abstraction Refinement, Formal Coverage, Rtl
Similar jobs
Backend Engineering jobs
PrizePicks
United States
Build and scale Ruby on Rails backend services for rewards, incentives, and loyalty features in a high-throughput platform. The role owns complex feature delivery, contributes to architecture, mentors junior engineers, and requires 3+ years of professional software engineering experience.
Twilio
United States
Build and operate backend capabilities for a cloud identity platform, including authentication flows, APIs, and developer experiences. The role requires 3+ years of experience with high-scale production systems and RESTful API development, with Go, TypeScript, and DynamoDB as preferred skills.
Anthropic
San Francisco, CABuild and scale reliable research infrastructure and distributed systems for evolving AI research workflows. The role independently leads complex technical projects, makes foundational architectural decisions, and partners with researchers and engineering teams.
Cloudflare
Austin, TXBuild and operate Internet-scale HTTP and TLS infrastructure, migrate services to a Rust-based proxy, and improve protocol performance. The role requires systems programming experience, strong reliability and security practices, and interest in open-source standards.
Writer
San Francisco, CABuild secure, scalable backend platforms and AI integrations connecting enterprise systems, tools, and data sources. The role requires 5+ years of backend engineering experience, distributed-systems expertise, cloud-native operations, authentication security, and technical leadership.