Senior R&D Engineer-Formal Verification-16960

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 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.

• 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

• 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

• 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

• 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

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.

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

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.