Back
Niche EDA/C++ verification skillset and senior lead title reduce applicant density despite a known brand.
High — EDA formal verification skills (Verilog/VHDL, C++) are industry-specific and not easily transferable.
Explicit 5+ years experience and required C++ proficiency make hiring filters strict.
Login to See Your Match Score
Create a free account or log in to unlock your CV match score across:
Lead development and enhancements in the formal verification domain for designer applications within JasperGold.
Contribute to integrating machine learning initiatives into designer applications.
Own software quality and performance using C++ with a focus on data structures and algorithms.
Minimum 5+ years of professional experience in software engineering.
Proficient in C++ with strong understanding of data structures and algorithms.
Familiarity with Verilog, VHDL, and Qt is a plus but not mandatory.
Work Experience Required: 5+ years
Experienced in formal verification software development with targeted expertise for designer applications.
Comfortable working on integrating machine learning into EDA (Electronic Design Automation) tools.
Strong software engineering skills demonstrating ownership and innovation in complex technical domains.