Back
Tier-1 brand and metro location increase competition, but niche EDA/formal verification skills reduce applicant pool.
Formal verification and HDL expertise are highly domain-specific to semiconductor and EDA industries.
Explicit 5+ years plus mandatory C++, HDL, and verification domain experience creates strict shortlisting filters.
Login to See Your Match Score
Create a free account or log in to unlock your CV match score across:
Own and develop key components of formal verification software within the Questa product family, focusing on delivering scalable, high-quality features.
Design algorithms, write functional specifications, and create comprehensive test plans to drive product excellence and meet evolving customer needs.
Mentor junior engineers and collaborate with cross-functional teams to deliver end-to-end software solutions and uphold best development practices.
Bachelor's degree in Computer Science, Electronics, or related engineering discipline.
5+ years of professional software development experience, including exposure to design and verification domains.
Strong proficiency in C++, data structures, algorithms, and design patterns; hands-on expertise with hardware description languages (Verilog, SystemVerilog, or VHDL).
Experience with development tools and platforms such as git, gdb, makefiles, and Linux.
Experienced software engineer with strong technical ownership in formal verification or related EDA tool development.
Comfortable designing and delivering large-scale, complex software projects in collaboration with cross-functional global teams.
Skilled in mentoring and elevating technical standards while aligning software solutions to customer and market needs.