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:
We are looking for a highly skilled and motivated Staff R&D Engineer to join our VC Formal team in Bangalore or Hyderabad. As an ideal candidate, you possess a deep understanding of how Large Language Models (LLMs) work and have substantial experience in working with cloud technologies, containers, and Kubernetes. You have a strong background in algorithms and data structures, and you are an exceptional coder in C/C++ with excellent scripting skills in Python or TCL. You are not just a developer but a problem solver with a keen analytical mind and logical reasoning abilities. You are familiar with the software development process, debugging tools, and configuration management tools. Your prior knowledge in digital logic, EDA, Equivalence Checking, or Formal Technologies will be highly beneficial.
Beyond your technical skills, you are a person of high integrity and a positive attitude. You are self-driven, responsible, and dependable, with a solid desire to learn and explore new technologies. You possess fast learning abilities and are proactive in driving solutions to problems when working in a team. You are flexible, capable of working on multiple tasks based on project priorities, and an excellent team player with good oral and written communication skills. Proficiency in the English language is essential.
What You'll Be Doing:
- Working on the Generative AI technology of VC Formal.
- Technically driving and delivering multi-project functionality in each product release.
- Leading initiatives within the group and being recognized as the head and owner of these initiatives.
- Implementing software for functional areas and being accountable for the quality of work and results obtained.
- Developing project schedules and executing them without direction from the manager.
- Running effective meetings to work through problems and helping the team overcome obstacles.
- Making excellent decisions in selecting and discarding technology alternatives.
- Working closely with global cross-functional teams in defining, implementing, and delivering solutions.
The Impact You Will Have:
- Enhancing the capabilities of VC Formal with cutting-edge Generative AI technology.
- Improving the verification processes for some of the most challenging SoC design tasks.
- Driving innovation and setting new standards in formal verification solutions.
- Contributing to the development of high-capacity, high-performance verification solutions.
- Ensuring the timely delivery of robust and efficient software implementations.
- Playing a key role in advancing Synopsys leadership in chip design and verification.
What You'll Need:
- BS/MS in Computer Science with 7+ years of relevant experience.
- Exceptional understanding of how Large Language Models (LLMs) work.
- Experience with cloud technologies, containers, and Kubernetes.
- Strong skills in scripting using Python or TCL.
- Excellent coding abilities in C/C++.
- Solid background in algorithms and data structures.
- Familiarity with the software development process, debugging tools, and configuration management tools.
- Prior knowledge of digital logic is required.
- Experience in EDA, Equivalence Checking, or Formal Technologies is beneficial.
Who You Are:
- A person of high integrity and positive attitude.
- Highly motivated, responsible, and dependable.
- Possessing fast learning abilities and a solid desire to explore new technologies.
- Proactive in driving solutions to problems when working in a team.
- Flexible and capable of working on multiple tasks based on project priorities.
- An excellent team player with good oral and written communication skills.
- Proficient in the English language.
The Team You'll Be A Part Of:
You will be joining the VC Formal R&D team, a dynamic group of experts dedicated to developing next-generation formal verification solutions. Our team is focused on pushing the boundaries of what is possible in verification technology, using the latest advancements in AI and machine learning. We collaborate closely with global cross-functional teams to ensure the delivery of robust, high-performance solutions that meet the most challenging verification tasks.
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.
