Synopsys
R&D Engineer, Formality-6482
Synopsys, Hillsboro, Oregon, United States, 97104
We Are:
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:
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.What You'll Be Doing:
Enhancing the product through developing algorithms and writing codeResearching and developing new solver techniques and engines to deliver technology and performance improvementsLearning, analyzing, testing, and debugging the Formality code baseCollaborating with other engineers to implement and optimize formal verification strategiesContributing to distributed computing and machine learning initiatives within the teamParticipating in code reviews and providing constructive feedback to peersThe Impact You Will Have:
Driving the development of next-generation equivalence checking technologyEnhancing the performance and capabilities of Formality, making it a go-to tool for leading-edge customersContributing to the success of Synopsys's Electronic Design Automation GroupEmpowering customers to tackle their most challenging IC designs with confidenceAdvancing the field of formal verification through innovative research and developmentFostering a culture of continuous improvement and technological excellence within the teamWhat You'll Need:
Phd/MS/ME in Computer Science or Electrical Engineering with 3 years of related experienceProficiency in C++ and software developmentBroad understanding of data structures, algorithms, heuristics, and their applicationsExperience with complex software development in a legacy code baseAbility to work in both independent and collaborative settingsExcellent written and oral communication skillsWho You Are:
Innovative thinker with a passion for technologyProblem-solver who thrives in challenging environmentsCollaborative team player with strong communication skillsContinuous learner eager to expand your knowledge and skillsDetail-oriented and committed to quality and excellenceThe Team You'll Be A 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
Inclusion and Diversity are important to us. Synopsys considers all applicants for employment without regard to race, color, religion, national origin, gender, sexual orientation, gender identity, 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 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.
Apply Now
Save
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:
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.What You'll Be Doing:
Enhancing the product through developing algorithms and writing codeResearching and developing new solver techniques and engines to deliver technology and performance improvementsLearning, analyzing, testing, and debugging the Formality code baseCollaborating with other engineers to implement and optimize formal verification strategiesContributing to distributed computing and machine learning initiatives within the teamParticipating in code reviews and providing constructive feedback to peersThe Impact You Will Have:
Driving the development of next-generation equivalence checking technologyEnhancing the performance and capabilities of Formality, making it a go-to tool for leading-edge customersContributing to the success of Synopsys's Electronic Design Automation GroupEmpowering customers to tackle their most challenging IC designs with confidenceAdvancing the field of formal verification through innovative research and developmentFostering a culture of continuous improvement and technological excellence within the teamWhat You'll Need:
Phd/MS/ME in Computer Science or Electrical Engineering with 3 years of related experienceProficiency in C++ and software developmentBroad understanding of data structures, algorithms, heuristics, and their applicationsExperience with complex software development in a legacy code baseAbility to work in both independent and collaborative settingsExcellent written and oral communication skillsWho You Are:
Innovative thinker with a passion for technologyProblem-solver who thrives in challenging environmentsCollaborative team player with strong communication skillsContinuous learner eager to expand your knowledge and skillsDetail-oriented and committed to quality and excellenceThe Team You'll Be A 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
Inclusion and Diversity are important to us. Synopsys considers all applicants for employment without regard to race, color, religion, national origin, gender, sexual orientation, gender identity, 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 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.
Apply Now
Save