Skip to content

General Information

Job Title
R&D Engineering, Engineer
Job ID
4965
Country
Chile
City
Santiago
Date Posted
03-Sep-2024
Job Category
Engineering
Job Subcategory
R&D Engineering
Hire Type
Employee
Remote Eligible
No

Descriptions & Requirements

Job Description and Requirements
Formality offers next-generation equivalence checking technology. 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, and more.
 
You will be responsible for:
- Joining and contributing into Formality's team
- Enhancing the product through developing algorithms and writing code.
- Learning, analyzing, testing, and debugging the Formality code base.
- Interacting with Synopsys R&D and customer support.
 
Required skills:
Strong software development experience with C++ on Linux platforms.
Broad understanding of data structures, algorithms and heuristics.
Good analytic, debug, and problem-solving skills.
A strong desire to learn and explore new technologies.
Ability to work in both independent and collaborative settings.
Experience with complex software development in a legacy code base.
Good written and oral communication skills.

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.