Build and maintain UVM testbenches, assertion-based verification environments, and formal verification flows for IP subsystems
Develop test plans, test specifications, and coverage models that map to product requirements
Automate regression environments using scripting to ensure continuous verification across design iterations
Run verification tests in both simulator environments and on FPGA platforms
Debug failures at the RTL and testbench level, working directly with design engineers and architects to root-cause and resolve defects
Apply formal verification techniques to prove properties and corner cases that simulation cannot easily reach
Support embedded software and driver verification to ensure hardware-software integration works correctly in real system contexts
The Impact You Will Have
Your verification strategies will catch critical bugs before product release or tape-out, protecting Synopsys customers from costly silicon respins and security vulnerabilities in production devices
The test plans and coverage models you build will define the quality bar for security IP used in automotive, mobile, and IoT systems worldwide
Your automation work will accelerate regression cycles and free up engineering time for deeper verification challenges
The formal verification flows you develop will prove correctness in areas where simulation alone is insufficient, raising confidence across the product line
Your collaboration with design and architecture teams will shape IP that meets both functional and security requirements from the start
The debugging and root-cause analysis you perform will directly improve design quality and reduce time to market
Your expertise will help the Eindhoven team stay ahead of evolving security threats and verification methodologies
What You'll Need
Bachelor's or Master's degree in Electrical Engineering or Computer Science with 6+ years of hands-on verification experience
Proven track record verifying digital hardware IP components through multiple tape-outs or product releases
Deep expertise in SystemVerilog, UVM, assertion-based verification, coverage-driven methodology, and formal verification techniques
Strong understanding of IC design flows, RTL design principles, and the handoff between verification and implementation
Experience automating verification flows and building regression environments using scripting languages like Python, Perl, or TCL
Solid knowledge of embedded hardware and software environments, including how IP integrates into SoC architectures
Knowledge of security protocols, cryptographic algorithms, or embedded security is a strong plus
Experience with IP synthesis flows from RTL to netlist, verifying correctness of timing and synthesis constraints is a plus
Who You Are
You can analyze a security subsystem specification, identify verification challenges and propose a verification strategy for the subsystem including its IP components
You develop testbenches and verification environments that are maintainable and can be extended by other engineers
You provide constructive feedback when test plans or coverage models need strengthening, focusing on technical gaps and solutions
You work effectively across time zones with global teams, maintaining clear communication and alignment on verification goals
You stay current on verification methodologies and security developments to ensure your approach remains effective
You communicate verification findings clearly to design engineers and architects, focusing on root cause and resolution path
The Team You'll Be Part Of
You will join the Security IP group in Eindhoven, a dedicated team advancing embedded security technologies that enable customers to build chips with cutting-edge cryptographic solutions. The team is made up of world-class hardware and software engineers focused on delivering security IP found in advanced devices across automotive, networking, mobile, and IoT applications. This is a global group that takes security seriously and builds products to the Synopsys standard for best-in-class quality.
Rewards and Benefits
We offer a comprehensive range of health, wellness, and financial benefits to cater to your needs. Our total rewards include both monetary and non-monetary offerings. Your recruiter will provide more details about the salary range and benefits during the hiring process.
