Senior R&D Engineer-Formal Verification-16960

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

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

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

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.