At Cadence, we hire and develop leaders and innovators who want to make an impact on the world of technology.
We are looking for candidates to join the Conformal team and extend our leadership in verification tools. You must be able to create innovative solutions to complex problems in a team environment.
You will specify, implement, test, and maintain verification solutions for our customers.
Candidates should have the following :
Expertise in formal verification algorithms.
Knowledge of datapath implementation.
Experience in developing complex software applications in C or C++, Python, Tcl, and databases.
Knowledge of RTL, such as Verilog, SystemVerilog, or VHDL.
Knowledge of ASIC design and methodology.
Good communication skills.
We’re doing work that matters. Help us solve what others can’t.