Senior Formal Verification Engineer
Join a pre-silicon hardware verification team developing advanced networking and high-bandwidth interconnect technologies for data-center and HPC systems.
Responsabilidades
- Apply formal verification algorithms to prove the correctness of complex logic
- Collaborate with the pre-silicon design and verification team on advanced hardware designs
- Develop and apply formal verification methodologies
- Build expertise in communication protocols and hardware implementations
Requisitos
- Bachelor’s degree in Electrical Engineering or Computer Engineering, or a master’s degree in Mathematics; equivalent experience may be considered
- At least 5 years of relevant experience
- Strong analytical, logical reasoning, debugging, and problem-solving skills
- Strong communication and interpersonal skills
Se valora
- Formal verification experience
- Knowledge of digital logic