R&D Engineer, Formality-6482

At Synopsys, we drive the innovations that shape the way we live and connect. Our technology is central to the Era of Pervasive Intelligence, from self-driving cars to learning machines. We lead in chip design, verification, and IP integration, empowering the creation of high-performance silicon chips and software content. Join us to transform the future through continuous technological innovation.

You are a passionate and innovative engineer with a strong foundation in computer or electrical engineering. You have a knack for problem-solving and thrive in both independent and collaborative settings. With at least five years of experience in software development, you are proficient in C++ and have a broad understanding of data structures, algorithms, and heuristics. You are comfortable diving into complex legacy code bases and are always eager to learn and apply new technologies. Your excellent written and oral communication skills enable you to articulate complex concepts clearly and effectively.

Ideally, you have a PhD in Computer or Electrical Engineering with a minimum of three years of related experience. You possess in-depth knowledge of formal verification and/or synthesis techniques, and you have experience with solver algorithms such as SAT or BDDs. You understand the software specification and design process and are familiar with regression testing. Your curiosity and dedication drive you to push the boundaries of what is possible, contributing to the advancement of cutting-edge technology.

• Enhancing the product through developing algorithms and writing code
• Researching and developing new solver techniques and engines to deliver technology and performance improvements
• Learning, analyzing, testing, and debugging the Formality code base
• Collaborating with other engineers to implement and optimize formal verification strategies
• Contributing to distributed computing and machine learning initiatives within the team
• Participating in code reviews and providing constructive feedback to peers

• Driving the development of next-generation equivalence checking technology
• Enhancing the performance and capabilities of Formality, making it a go-to tool for leading-edge customers
• Contributing to the success of Synopsys's Electronic Design Automation Group
• Empowering customers to tackle their most challenging IC designs with confidence
• Advancing the field of formal verification through innovative research and development
• Fostering a culture of continuous improvement and technological excellence within the team

• Phd/MS/ME in Computer Science or Electrical Engineering with 3 years of related experience
• Proficiency in C++ and software development
• Broad understanding of data structures, algorithms, heuristics, and their applications
• Experience with complex software development in a legacy code base
• Ability to work in both independent and collaborative settings
• Excellent written and oral communication skills

• Innovative thinker with a passion for technology
• Problem-solver who thrives in challenging environments
• Collaborative team player with strong communication skills
• Continuous learner eager to expand your knowledge and skills
• Detail-oriented and committed to quality and excellence

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