Synopsys에서 Formality 검증 엔진의 핵심 인프라를 설계하고 최적화할 Staff Engineer를 채용합니다. C++ 기반의 대규모 프로덕션 코드베이스 개발 경험과 자료구조 및 알고리즘에 대한 깊은 이해가 필수입니다. EDA 툴의 성능을 극대화하고 복잡한 기술적 문제를 해결하며 팀의 기술적 리더십을 발휘할 분을 찾습니다.
Bengaluru, Karnataka, India
Engineering
Employee
Synopsys software engineers are key enablers in the world of Electronic Design Automation (EDA), developing and maintaining software used in chip design, verification and manufacturing. They work on assignments like designing, developing, and troubleshooting software, leveraging the state-of-the-art technologies like AI/ML, GenAI and Cloud. Their critical contributions enable world-wide EDA designers to extend the frontiers of semiconductors and chip development.
Date posted 05. 13. 2026
We Are
Synopsys is the leader in engineering solutions from silicon to systems, enabling customers to rapidly innovate AI-powered products. We deliver industry-leading silicon design, IP, simulation and analysis solutions, and design services. We partner closely with our customers across a wide range of industries to maximize their R&D capability and productivity, powering innovation today that ignites the ingenuity of tomorrow.
You Are
You are a highly skilled R&D engineer who is energized by working deep in the core internals of a large, mission-critical EDA product. You take pride in writing robust, performant, and maintainable C++ on UNIX/Linux, leveraging modern IDEs and AI-assisted developer environments to accelerate development You have a deep appreciation for the data structures, memory layouts, and algorithmic choices that determine whether a tool scales gracefully to billion-gate designs and enjoy reasoning about netlist representations, graph traversals, hashing strategies, and the subtle trade-offs between runtime, memory footprint, and capacity.
You communicate clearly and employ a methodical approach to solving complex problems. You see software craftsmanship — clean interfaces, disciplined testing, and measurable improvements — as the foundation of long-term product health.
What You'll Be Doing
The Impact You Will Have
What You'll Need
BE/B.Techin Computer Science, Electrical, or Electronics Engineering with strong relevant experience, or an MS / PhD in a related discipline.
5+ years (BE/B.Tech),3+ years (MS), or 2+ years (PhD) of professional software development experience in large, production C++ codebases, with demonstrated module ownership and technical leadership on non-trivial features.
Expert command of modern C++, the STL, templates, and idiomatic memory and lifetime management for performance-sensitive systems.
Strong fundamentals in data structures and algorithms — graphs, hash tables, trees, traversal andBDD— with a track record of applying them to real engineering problems.
Demonstrated ability to profile, diagnose, and optimize for runtime, memory, and scalability on multi-million-instance workloads.
Working knowledge of HDLs (Verilog /SystemVerilog/ VHDL) and digital design fundamentals; familiarity with synthesis, equivalence checking, or related EDA flows is strongly preferred.
Comfort with TCL, Python, and shell scripting for tool infrastructure, regressions, and developer tooling.
Exposure to AI-assisted developer tools such as Cursor or GitHub Copilot, and a curiosity for adopting modern productivity practices.
Excellent written and verbal communication, with the ability to lead technical discussions across teams.
Who You Are
The Team You'll Be A Part Of
You will join the Formality R&D team — the group responsible for the structural backbone of one of the industry's most established formal equivalence checking tools. We own the data, the infrastructure, and the performance characteristics that every other Formality capability is built upon. The team values deep technical ownership, careful engineering, and a culture where strong opinions are tested against data. You will work alongside experienced engineers solving problems at the limits of design size, with broad exposure to formal verification, synthesis, and large-scale software systems.
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.
#TPG
At Synopsys, we want talented people of every background to feel valued and supported to do their best work. Synopsys considers all applicants for employment without regard to race, color, religion, national origin, gender, sexual orientation, age, military veteran status, or disability.
At Synopsys, innovation is driven by our incredible team around the world. We feel honored to work alongside such talented and passionate individuals who choose to make a difference here every day. We're proud to provide the comprehensive benefits and rewards that our team truly deserves.
Comprehensive medical and healthcare plans that work for you and your family.
In addition to company holidays, we have ETO and FTO Programs.
Maternity and paternity leave, parenting resources, adoption and surrogacy assistance, and more.
Purchase Synopsys common stock at a 15% discount, with a 24 month look-back.
Save for your future with our retirement plans that vary by region and country.
Competitive salaries.
** Benefits vary by country and region - check with your recruiter to confirm
Get an idea of what your daily routine around the office can be like
[
Explore Bengaluru
](/job_location/bengaluru/r-and-d-engineering-staff-engineer-formality-team/44408/95068372960/881864)
As an applicant your resume, skills, and experience are being reviewed for consideration.
Once your resume has been selected a recruiter and/or hiring manager will reach out to learn more about you and share more about the role.
You will be invited to meet with the hiring team to measure your qualifications for the role. Our interviews are held either in person or via Zoom.
Congratulations! When you have been selected for the role, your recruiter will reach out to make you a verbal offer (a written offer will follow your conversation), and we hope you accept!
There will be some steps you need to take before you start to ensure a smooth first day, including new hire documentation.
Once you’ve joined, your manager, team, and a peer buddy will help you get acclimated. Over the next few weeks, you’ll be invited to join activities and training to help you ramp up for a successful future at Synopsys!
BROWSE JOBS
View all job opportunities here
View all job opportunities here
Awards
