ZipRecruiter

Log In

1

Formal Verification Engineer Jobs in New York (NOW HIRING)

De Circle

Fun.xyz - Protocol Engineer

New York, NY · On-site

Role Overview We're looking for a Protocol Engineer to join our core blockchain team and help build ... Experience with formal verification or advanced smart contract testing frameworks

Normal Computing

Hardware Engineer, RTL

New York, NY · On-site

$200K - $400K/yr

... verification engineers fully test the design using conventional and formal methods, and working closely with physical design to make sure the design meets area and timing constraints. Because Normal ...

Stellar

Senior Software Engineer, C++

Manhattan, NY · On-site

$180 - $280/hr

Developers and companies around the world build on it, and the SDF team is expanding to support the ... If you're excited by formal verification, simulations, distributed systems, and multi‑core ...

previous pagenext page

Showing results 21-40

All JobsFormal Verification Engineer JobsFormal Verification Engineer Jobs in New York

Formal Verification Engineer information

See New York salary details

$87.5K

$156K

$222.6K

How much do formal verification engineer jobs pay per year?

As of Sep 3, 2026, the average yearly pay for formal verification engineer in New York is $156,030.00, according to ZipRecruiter salary data. Most workers in this role earn between $148,800.00 and $148,800.00 per year, depending on experience, location, and employer.

What is a formal verification engineer?

A Formal Verification Engineer is responsible for ensuring the correctness of hardware or software designs using mathematical and logical techniques. They apply formal methods to verify that a system behaves as intended, identifying potential design flaws early in the development process. This involves writing formal properties, using model checking tools, and collaborating with design and validation teams. Their work helps improve reliability, reduce bugs, and enhance the efficiency of verification compared to traditional simulation-based methods.

What are the common daily responsibilities of a formal verification engineer?

As a Formal Verification Engineer, your typical day involves creating and analyzing formal properties, developing assertions, and using formal verification tools to mathematically prove correctness of hardware designs. You'll collaborate closely with design and simulation teams to review specifications, identify verification requirements, and debug issues found during the verification process. Regular documentation of findings, participation in code and design reviews, and ongoing learning about new verification methodologies are also important parts of the role. This dynamic environment requires both technical depth and proactive teamwork to ensure high-quality design outcomes.

What are the key skills and qualifications needed to thrive as a formal verification engineer?

To thrive as a Formal Verification Engineer, you need a strong background in digital design, computer architecture, and logic, typically supported by a degree in electrical engineering, computer science, or a related field. Expertise in formal verification tools such as Cadence JasperGold, Synopsys VC Formal, or Mentor Questa, along with proficiency in hardware description languages (HDLs) like Verilog or VHDL, is essential. Strong analytical thinking, attention to detail, and effective communication skills help you collaborate with design and verification teams and present complex findings. These competencies are critical for ensuring hardware systems are bug-free, reliable, and meet stringent industry standards.

What are the most commonly searched types of Formal Verification Engineer jobs in New York?

The most popular types of Formal Verification Engineer jobs in New York are:

What are popular job titles related to Formal Verification Engineer jobs in New York?

For Formal Verification Engineer jobs in New York, the most frequently searched job titles are:

What job categories do people searching Formal Verification Engineer jobs in New York look for?

The top searched job categories for Formal Verification Engineer jobs in New York are:

Formal Verification Engineer jobs near you
Infographic showing various Formal Verification Engineer job openings in New York as of August 2026, with employment types broken down into 95% Full Time, 2% Part Time, and 3% Contract. Highlights an 86% Physical, 5% Hybrid, and 9% Remote job distribution, with an average salary of $156,030 per year, or $75 per hour.

Tools and Compilers Research and Development

Jane Street

New York, NY • On-site

$134K - $176K/yr

Full-time

Re-posted 28 days ago

Job description

About the Position
We are excited to announce research internships in our Tools and Compilers group. We're looking for PhD and masters students with outstanding research experience in programming languages, compilers, verification, and related areas.
Jane Street's Compilers team focuses on improving OCaml as a foundation for Jane Street's ever-growing technology stack, in collaboration with the greater OCaml community. We work on many different aspects of the compiler, aiming to make it easier for developers to express their ideas in OCaml, to improve the performance of the generated code, and to make the OCaml compiler itself faster and easier to use.
Over the years, we extended the type system with support for novel language features, re-engineered the optimizer ground-up, and added feedback-directed optimization. We also extend and enhance the surrounding toolchain, working on tools for profiling, debugging, documenting, and building automation. The vast majority of our work is open-source, and we upstream as much as we can to the mainstream OCaml compiler.
During the internship, you will work in collaboration with your mentors on one project for about 10-12 weeks. You'll learn how we use OCaml in our day-to-day work, and gain exposure to the libraries and tools that are foundational to our internal systems. You'll gain a better understanding of the wide range of problems we solve every day. You'll try out new ideas and apply state-of-the-art research to a large actively-developed production codebase.
We'll pick a project that combines your research background with our active work on the OCaml compiler and core libraries. Example project areas include:
  • Type systems that track locality and uniqueness
  • Formal verification of OCaml programs
  • New language features for systems programming
  • Compiler testing and validation

You'll also be able to access our physical and virtual educational resources, attend guest speakers and social events, and hopefully get a real sense of what it would be like to work here full-time.
About You
We're looking for PhD and masters students with outstanding research experience in programming languages, compilers, verification, and related areas. We don't expect you to have a background in finance, OCaml, or functional programming. Please include the list of your peer-reviewed publications in your resume.

Apply