SI
Senior R&D Engineer-Formal Verification-16960
Accepting applicationsSynopsys Inc · Marlborough, MA
Full-Time Mid_senior AIC++Synopsysaiate
Posted
28 May
Category
Verification
Experience
Mid_senior
Country
United States
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.
#TPG
Show more Show less
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.
#TPG
Show more Show less