Senior Formal Verification Engineer

Qualcomm, a global leader in smart mobile technologies, is seeking a Senior Formal Verification Engineer to join their Qualcomm Interconnect Technology Center (QITC). This role focuses on verifying innovative hardware in NoC infrastructure technologies for next-generation chipsets. The position involves working with cutting-edge interconnect solutions for complex System-On-Chips like Snapdragon, which integrate CPU, GPU, connectivity, and various other technologies.

The ideal candidate will have 5-10 years of experience in SoC/IP hardware verification with formal verification expertise. They should be proficient in hardware languages like Verilog and SystemVerilog, and comfortable with tools such as JasperGold and VC Formal. The role requires a deep understanding of hardware communication protocols and Network-On-Chip fundamentals.

This is an excellent opportunity for someone passionate about hardware engineering to work at the forefront of technological advancement. The position offers comprehensive benefits including stock options, performance bonuses, and various insurance coverage. The work environment is collaborative and relaxed, with opportunities to participate in employee-managed clubs and activities.

Working at QITC means being part of a team that develops solutions offering low power consumption, higher system bandwidth, and greater IP flexibility. The role involves interaction with global Qualcomm teams and requires excellent communication and problem-solving skills. A PhD or Master's degree in Electronics or Computer Science Engineering is preferred, making this an ideal position for someone looking to advance their career in hardware verification engineering.