- Meta (Raleigh, NC)
- **Summary:** Meta is hiring ASIC Formal Verification Engineer within the Infrastructure organization. We are looking for individuals with experience in ... On Chip (SoC) for data center applications. As a Formal Verification Engineer , you will... of complex compute blocks such as DSP, CPU, GPU or HW accelerators 20. Experience with complex SoCs… more
- Microsoft Corporation (Raleigh, NC)
- …and optimize the Cloud infrastructure. We are looking for a **Senior Design Verification Engineer ** to join the team. **Responsibilities** + Establish yourself ... test environments. + Working knowledge of writing assertions, coverage and / or formal verification . + Knowledge of industry standard bus interfaces such as… more