# Staff R&D Software Engineer – VC Formal

**Company**: Synopsys
**Location**: Noida
**Work arrangement**: onsite
**Experience**: staff
**Job type**: full-time
**Category**: Engineering
**Industry**: Technology
**Ticker**: SNPS
**Wikidata**: https://www.wikidata.org/wiki/Q2303478

**Apply**: https://careers.synopsys.com/job/noida/staff-r-and-d-software-engineer-vc-formal/44408/92296852064?utm_source=yubhub.co&utm_medium=jobs_feed&utm_campaign=apply
**Canonical**: https://yubhub.co/jobs/job_0d1d3970-7a0

## Description

Opening. This role exists to drive the development of formal verification technology.

## What you'll do

You will lead and deliver 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.

## What you 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.

## Why this matters

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.

## Skills

### Required
- C/C++ programming
- algorithms and data structure design
- software development processes
- debugging
- configuration management tools
- digital logic
- EDA
- equivalence checking
- formal technologies

---

Source: [Apply at careers.synopsys.com](https://careers.synopsys.com/job/noida/staff-r-and-d-software-engineer-vc-formal/44408/92296852064?utm_source=yubhub.co&utm_medium=jobs_feed&utm_campaign=apply)