Senior R&D Engineer-Formal Verification-16960
Category Engineering Hire Type Employee Job ID 16960 Base Salary Range $101000-$151000 Remote Eligible No Date Posted 04/13/2026
We Are
Synopsys is the leader in engineering solutions from silicon to systems, enabling customers to rapidly innovate AI-powered products. We deliver industry-leading silicon design, IP, simulation and analysis solutions, and design services. We partner closely with our customers across a wide range of industries to maximize their R&D capability and productivity, powering innovation today that ignites the ingenuity of tomorrow.
You Are
You thrive on complex code and real-world results. You see C++ as your toolkit for solving hard, meaningful problems, and you’re comfortable getting deep into legacy code to make things faster, smarter, and more reliable. You don’t wait for perfect specs, you ask questions, test ideas, and bring others along. You like building things that last, from new algorithms to better formal verification tools. Learning new tech is second nature and you never shy away from a tough debugging session.
What You'll Be Doing
- Developing and improving algorithms in C++ for Formality
- Researching and implementing new solver techniques like SAT and BDDs
- Debugging, testing, and refining the Formality codebase
- Collaborating on formal verification strategies with your team
- Exploring distributed computing and machine learning for EDA
The Impact You Will Have
- Raising the bar for Formality’s speed and accuracy
- Enabling customers to verify complex chip designs with confidence
- Turning research into tools that solve real design challenges
- Improving team knowledge and code quality through collaboration
What You'll Need
- PhD, MS, or ME in CS or EE with strong programming skills
- Strong C++ skills and experience in large codebases
- Solid grasp of algorithms, data structures, and heuristics
- Experience with formal verification or solver algorithms (SAT, BDDs)
- Distributed computing or ML experience is a bonus
Who You Are
- You get to the root of technical problems, not just the symptoms
- You explain complex ideas clearly, in writing and conversation
- You’re proactive about learning and sharing knowledge
- You ask for clarity and push for better solutions
- You work well solo and with others
The Team You'll Be Part Of
As a member of the Formality R&D team, you will work with other enthusiastic and creative engineers. You will contribute to a growing tool where you can expand your knowledge and skills. Things you'll learn include formal verification strategies, distributed computing, machine learning, and more. Our team is dedicated to pushing the boundaries of what is possible and delivering cutting-edge technology to our customers.
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.
#LI-DP1
#TPG
At Synopsys, we want talented people of every background to feel valued and supported to do their best work. Synopsys considers all applicants for employment without regard to race, color, religion, national origin, gender, sexual orientation, age, military veteran status, or disability.
In addition to the base salary, this role may be eligible for an annual bonus, equity, and other discretionary bonuses. Synopsys offers comprehensive health, wellness, and financial benefits as part of a competitive total rewards package. The actual compensation offered will be based on a number of job-related factors, including location, skills, experience, and education. Your recruiter can share more specific details on the total rewards package upon request. The base salary range for this role is across the U.S.
Recommended Jobs
Landscaping Team Members
Sometimes the grass really is greener! Want to work as part of a talented and highly regarded landscaping team? Snow & Sons Landscaping has positions available for motivated, reliable and friendly …
Associate Business Consultant - Life Sciences R&D and Quality
Veeva Systems is building the industry cloud for Life Sciences to help companies work in a more efficient and connected way. Learn more about our products, vision and values, and status as a public b…
EXPERIENCED Irrigation Service Technician
Job Description Job Description Benefits: ~401(k) matching ~ Dental insurance ~ Health insurance ~ Paid time off ~ Signing bonus Bourque Bros Irrigation is a well-established irrig…
7D Driver
Job Description Job Description Benefits: ~401(k) ~ Bonus based on performance ~ Company parties ~ Employee discounts ~ Free uniforms ~ Opportunity for advancement 7D Driver Job De…
Experienced Irrigation Technician
Coy's Brook, Inc. is a leading landscaping company recognized for delivering high-quality irrigation solutions to both residential and commercial clients. As an Experienced Irrigation Technician, you…
Assistant Project Manager
SLEEPING DOG PROPERTIES Are you seeking a dynamic opportunity within a sophisticated residential design and build construction company in the downtown Boston area? Sleeping Dog Properties is a B…
Senior Scientific Strategy Consultant
Zifo is looking for a Senior Scientific Strategy Consultant with expertise in the life sciences, pharmaceutical, and/or biotechnology industries to add to the North American Consulting team. This ind…
Registered Nurse, ICU, (various shifts)
As a Registered Nurse (RN) in our 38-bed (28+10) multi-specialty Intensive Care Unit (ICU), you will play an integral role in delivering exceptional, patient-centered care. The multi-specialty aspect…
Outpatient Financial Counselor
POSITION SUMMARY : Under the general direction of PFC Manager, the Outpatient Financial Counselor (OPFC) has a dual role to help vulnerable BMC patients to access healthcare coverage and to pre…