More jobs:
C++ R&D Engineer — Formal Verification & Solvers
Job in
Marlborough, Middlesex County, Massachusetts, 01752, USA
Listed on 2026-07-09
Listing for:
Synopsys
Full Time
position Listed on 2026-07-09
Job specializations:
-
Business
Computer Science
Job Description & How to Apply Below
Synopsys is looking for a C++ Developer to join their Formality R&D team. The ideal candidate will develop and improve algorithms, collaborate on verification strategies, and enhance the speed and accuracy of Formality. A PhD, MS, or ME in Computer Science or Electrical Engineering, along with strong programming and C++ skills, are required.
The position offers a salary range of $101,000 - $151,000, along with a comprehensive benefits package that supports health and wellness.
#J-18808-LjbffrTo View & Apply for jobs on this site that accept applications from your location or country, tap the button below to make a Search.
(If this job is in fact in your jurisdiction, then you may be using a Proxy or VPN to access this site, and to progress further, you should change your connectivity to another mobile device or PC).
(If this job is in fact in your jurisdiction, then you may be using a Proxy or VPN to access this site, and to progress further, you should change your connectivity to another mobile device or PC).
Search for further Jobs Here:
×