ASIC Engineer, Formal Verification

Meta is seeking an experienced ASIC Formal Verification Engineer to join their Infrastructure organization, focusing on building IP and System On Chip (SoC) solutions for data center applications. This role represents an exciting opportunity to work with industry-leading professionals in developing innovative ASIC solutions that power Meta's vast data center infrastructure.

The position requires a blend of technical expertise in formal verification and leadership capabilities. As an ASIC Formal Verification Engineer, you'll be responsible for developing comprehensive formal testplans and ensuring complete formal verification sign-off for complex blocks. The role offers significant opportunities to collaborate across multiple teams, including full stack software, hardware, ASIC Design, Emulation, and Post-Silicon teams, all working together towards achieving first-pass silicon success.

Key responsibilities include providing technical leadership in Formal Verification, implementing and championing verification methodologies, and working closely with Architecture and Design teams. You'll be tasked with defining verification scope, creating formal environments, and building scalable solutions for verification challenges. The role also involves evaluating EDA solutions and mentoring other engineers in Formal Verification technology.

The ideal candidate should possess a Bachelor's degree in Computer Science or related field, with 5+ years of experience in Formal Verification. Strong expertise in verification applications, methodologies, and hardware description languages is essential. The role offers competitive compensation ranging from $173,000 to $249,000 annually, plus bonus and equity opportunities, along with comprehensive benefits.

Working at Meta means joining a company at the forefront of technology innovation, with projects that impact billions of users worldwide. The company's commitment to pushing boundaries in social technology, including ventures into AR/VR, makes this an exciting opportunity for someone looking to make a significant impact in the hardware infrastructure space.