Synopsys is hiring a highly skilled R&D engineer for the Formality team to own core infrastructure of a flagship formal equivalence checking product. The role focuses on improving runtime, memory, and scalability of a large production C++ codebase on UNIX/Linux, designing parallel architectures for multi-core systems, and resolving complex customer escalations with strong emphasis on software craftsmanship, testing, and cross-team collaboration.
Every query opens live roles, salary samples, and market demand — tap a search to run it instantly.
Unlock powerful job search, personalized recommendations, and deep career insights from comprehensive, market-leading data and live market signals.
For job seekers
Upload your résumé, start a Job Search Thread, and let Metaintro rank real openings against your experience — then guide you from search to offer.
Match
Compare live roles against your current evidence.
Position
Turn proof projects into role-specific applications.
Improve
Use market feedback to keep the skill plan current.
AI Infrastructure
Synopsys delivers comprehensive silicon-to-systems solutions that help innovators accelerate development, reduce risk, and drive breakthroughs.