







Why work with us?


Competitive Pay with Great Perks


Performance Based Awards and Recognitions


Culture of Collaboration, Trust and Openness


Personalized Career Growth and Global Opportunities


Work with and Learn from Industry Experts


Work on leading-edge technology and products


Open Positions
Lead Formal Verification Engineer
Are you driven by the challenge of solving complex hardware verification problems with elegant solutions? Do you thrive in a collaborative environment that values technical excellence, innovation, and a passion for quality? Join Pure Silicon Solutions, a cutting-edge team committed to reshaping the world of semiconductor design through formal verification.
At Pure Silicon Solutions, we’re a small, dynamic group of experts who love solving complex design verification challenges, believe in flexibility, continuous learning, and a culture of mutual growth. We invite you to take the lead in driving our Formal Verification efforts and make a real impact on the future of advanced chip design.


Why Join Us

Innovative Work
Shape the future of Formal Verification by tackling groundbreaking projects

Dynamic Team
Work with a close-knit team of passionate experts in a supportive and collaborative environment

Flexibility
Enjoy a work culture that values balance, offering hybrid work options and an adaptable
approach to team needs
Take the next step in your career and join a team that’s leading innovation in the semiconductor world. Apply now and be a part of Pure Silicon Solutions; journey to redefine design verification!
Minimum Qualifications:
-
Experience:
5+ years in RTL Design/Verification, with at least 3 years specializing in Formal Verification
Proven expertise in formal property verification and advanced applications such as datapath verification
-
Technical Skills:
Strong proficiency in SVA, JasperGold/VC-Formal/Questa-OneSpin Formal tools, and scripting languages(Python, Perl, Tcl)
Solid understanding of complexity reduction, abstraction techniques, and Formal Verification methodologies
-
Collaborative Aptitude:
Outstanding communication and teamwork skills to effectively work across cross-functional teams
Analytical and problem-solving expertise to tackle intricate hardware verification challenges
Preferred Qualifications:
-
Experience in verifying DSP, CPU, GPU, or hardware accelerators with cutting-edge Formal Verification techniques
-
Advanced understanding of clock domain crossing, low-power design verification, and IP-XACT-based register verification
-
Hands-on experience in developing fully automated flows from specification to fully verified designs
-
Familiarity with hybrid verification approaches, integrating formal methods with simulation-based verification for enhanced coverage
-
Proficiency in advanced Assertion-Based Verification (ABV) techniques and Coverage Metrics, including ProofCore and cone of influence analysis
Pure Silicon Solutions (PSS) is an Equal Opportunity Employer. All qualified applicants will receive consideration for employment without regard to race, color, religion, sex, national origin, sexual orientation, gender identity, disability or protected veteran status.
At PSS, we offer a total compensation package with a base salary, bonus, and stock options. Salary will be commensurate with job-related skills, experience and work location.