---
title: "R&D Engineer, Formality Verification Engine Job at Synopsys"
canonical: "https://www.metaintro.com/job/r-and-d-engineer-formality-verification-engine-at-synopsys-6c73059b-0f7a-56a2-b7f7-30f61cd0183e"
language: "en"
author: "Metaintro"
---

[![Synopsys logo](/api/favicon-proxy?url=https%3A%2F%2Fwww.google.com%2Fs2%2Ffavicons%3Fdomain%3Dwww.synopsys.com%26sz%3D128)](/company/synopsys)[Synopsys](/company/synopsys)
# R&D Engineer, Formality Verification Engine at Synopsys

**Type**
: Full-time

**Level**
: senior

**Posted**
: Jul 24, 2026

## Description

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.

## Trending job searches

Every query opens live roles, salary samples, and market demand — tap a search to run it instantly.

- [Find R&D Engineer, Formality Verification Engine jobs in United States](/jobs/search?q=Find+R%26D+Engineer%2C+Formality+Verification+Engine+jobs+in+United+States)
- [Find roles similar to R&D Engineer, Formality Verification Engine in United States](/jobs/search?q=Find+roles+similar+to+R%26D+Engineer%2C+Formality+Verification+Engine+in+United+States)
- [Find remote R&D Engineer, Formality Verification Engine jobs](/jobs/search?q=Find+remote+R%26D+Engineer%2C+Formality+Verification+Engine+jobs)
- [Find R&D Engineer, Formality Verification Engine jobs with C++ and Data structures](/jobs/search?q=Find+R%26D+Engineer%2C+Formality+Verification+Engine+jobs+with+C%2B%2B+and+Data+structures)
- [Find jobs similar to R&D Engineer, Formality Verification Engine](/jobs/search?q=Find+jobs+similar+to+R%26D+Engineer%2C+Formality+Verification+Engine)
- [Find R&D Engineer, Formality Verification Engine jobs posted this week](/jobs/search?q=Find+R%26D+Engineer%2C+Formality+Verification+Engine+jobs+posted+this+week)
- [Find Developer jobs in United States](/jobs/search?q=Find+Developer+jobs+in+United+States)
- [Find Developer jobs with C++ and Data structures](/jobs/search?q=Find+Developer+jobs+with+C%2B%2B+and+Data+structures)

## Get More from Metaintro

Unlock powerful job search, personalized recommendations, and deep career insights from comprehensive, market-leading data and live market signals.

- [Browse all jobs](/jobs/search)
- [Access help center](/help)
- [Explore our content](/blog)

![](https://cdn.metaintro.com/rs:fill:1200:800/q:30/plain/images/bridges/bridge-expand.1df895c6bd76d96f.png)

For job seekers

## Ready to find a role that actually fits?

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.

[Get Started Free](/signup)[Search matching jobs](/jobs/search)

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.

[Return to navigation](#main-navigation)