- 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...verification of complex compute blocks such as DSP, CPU , GPU or HW accelerators 20. Experience with complex… more
- Microsoft Corporation (Raleigh, NC)
- …manage and optimize the Cloud infrastructure. We are looking for a **Senior Verification Engineer ** to join the team. **Responsibilities** + Establish yourself ... environments in industry standard languages like SVTB UVM or formal verification . + 3+ years of experience...with industry standard languages like Python or C/C++. + Verification experience as part of a CPU ,… more
- Microsoft Corporation (Raleigh, NC)
- …will manage and optimize the Cloud infrastructure. We are looking for a **Principal Verification Engineer ** to join the team. **Responsibilities** + Lead an SoC ... environments in industry standard languages like SVTB UVM or formal verification . + 2+ years of pre-silicon...Memory Controller/PHY IPs, DDR protocols, and related firmware/BIOS/MRC + CPU cores, protocols, and related firmware + Coherent and… more