Browse 3 exciting jobs hiring in Formal now. Check out companies hiring such as Palo Alto Networks, Uniswap Labs, Intel in Worcester, Grand Prairie, Overland Park.
Lead ASIC design verification efforts at Palo Alto Networks, architecting and executing coverage-driven verification across simulation, emulation, formal, and silicon validation to deliver secure, high-performance ASICs to production.
Lead Uniswap Labs' Protocols engineering team to own the architecture, security, and execution of Solidity-based smart contracts across chains while growing and mentoring high-performing engineers.
Drive RTL-to-GDS physical implementation and signoff for custom Xeon-based SoCs in Intel's Data Center Group, focusing on timing closure, power optimization, and manufacturability.
Below 50k*
0
|
50k-100k*
0
|
Over 100k*
1
|