Staff R&D Software Engineer VC Formal
- Synopsys
- 5 - 7 years
- Noida, Gurugram
- 1 month ago
- Email to a friend
- Report this job
Job Description
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 an accomplished software engineer with a passion for formal verification, eager to solve some of the industrys most complex challenges in chip design and verification You thrive in an environment where innovation, collaboration, and technical excellence are core values Your background in computer science is solid, with a proven track record of designing and implementing robust software solutions using C/C++ A strong analytical mindset and expertise in algorithms and data structures are your hallmarks, and youre adept at breaking down intricate problems into actionable solutions You are a proactive individual contributor who takes ownership of initiatives, driving them from conception to delivery Your approach is strategic, balancing the big picture with attention to detail, and you excel at prioritizing tasks to meet project milestones Collaboration is in your DNAyou work seamlessly with global, cross-functional teams, facilitating effective meetings and guiding your peers through technical challenges Integrity, accountability, and a positive attitude define your work style You are self-driven, dependable, and eager to learn, with a knack for quickly mastering new technologies As a team player with excellent communication skills, you contribute to a culture of trust and continuous improvement If you are excited by the opportunity to shape the future of formal verification and make a tangible impact in the EDA industry, youll fit right in with our dynamic Noida R&D team What Youll Be Doing: Leading and delivering multi-project functionality for each VC Formal product release as a technical expert and initiative owner Designing, implementing, and testing complex algorithms and data structures for high-performance formal verification solutions Driving technical initiatives, collaborating with peers and management to sell and execute the vision for formal verification advancements Identifying broad objectives and developing strategies to solve open-ended, challenging problems in software development Running effective meetings to facilitate team problem-solving and helping overcome technical roadblocks (brick walls) Collaborating with global cross-functional teams to define, implement, and deliver innovative verification solutions Ensuring the quality, robustness, and efficiency of software implementations in a large-scale development environment Prioritizing project milestones and features, and developing project schedules with minimal managerial direction The Impact You Will Have: Accelerate the verification of complex SoC designs, enabling Synopsys customers to deliver innovative products to market faster Shape the development of next-generation formal verification algorithms and methodologies, setting industry benchmarks Enhance the scalability and performance of VC Formal, ensuring it remains the tool of choice for the most challenging design tasks Drive technical excellence and foster a culture of innovation within the R&D team and across the organization Mentor and inspire fellow engineers by sharing best practices and facilitating knowledge transfer Contribute to the overall success of Synopsys by delivering reliable, high-quality software that meets and exceeds customer expectations What Youll Need: BS/MS in Computer Science or related field, with 5+ years of relevant experience in software development Expertise in C/C++ programming, with a demonstrated ability to write efficient, maintainable code Strong foundation in algorithms and data structure design, with practical implementation experience Proficiency in software development processes, debugging, and configuration management tools Solid understanding of digital logic; prior experience in EDA, equivalence checking, or formal technologies is a plus Who You Are: Highly motivated, responsible, and dependable with a strong sense of ownership Quick learner who embraces new technologies and adapts to changing priorities Excellent problem solver with sharp analytical and logical reasoning skills Initiative-driven and proactive in driving solutions and overcoming challenges Exceptional team player with outstanding oral and written communication skills in English Flexible and able to manage multiple tasks in a dynamic, fast-paced environment Committed to high standards of integrity and a positive, collaborative attitude The Team Youll Be A Part Of: You will join the VC Formal R&D team in Noidaa group of passionate engineers dedicated to advancing formal verification technology The team focuses on developing high-capacity, high-performance formal verification solutions that address the most demanding SoC design challenges Collaboration, knowledge sharing, and a commitment to technical excellence are at the heart of our culture As part of this innovative and supportive team, youll have the opportunity to contribute to industry-leading products and shape the future of verification technologyJob Classification
Industry: IT Services & ConsultingFunctional Area / Department: Engineering - Software & QARole Category: Software DevelopmentRole: Software Development - OtherEmployement Type: Full timeContact Details:
Company: SynopsysLocation(s): Noida, Gurugram+ View Contact
Keyskills: data center design digital algorithms c++ software development eda problem solving rd configuration management tools written communication debugging data structures software development cycle programming communication skills
Fraud Alert to job seekers!
₹ Not Disclosed
Similar positions
Job Listings
We are in open beta version of website, please let us know if any issues, at: info(at)indigojobs.in