ZipRecruiter

Log In

1

Verification Engineer Jobs in New York (NOW HIRING)

Normal Computing

Forward Deployed Engineer

New York, NY · On-site

$180K - $325K/yr

The Role The cost of taping out silicon is enormous, and the complexity of verification makes ... As a Forward Deployed Engineer, you own our EDA system inside a customer's environment. Embedded ...

Normal Computing

Hardware Engineer, RTL

New York, NY · On-site

$200K - $285K/yr

The Role As an RTL Design Engineer at Normal, you will design and verify the digital logic at the heart of Normal's thermodynamic hardware. This work sits at the intersection of classical ASIC design ...

Normal Computing

Hardware Engineer, RTL/PD

New York, NY · On-site

$200K - $285K/yr

The Role As an RTL and PD Design Engineer at Normal, you will take and optimize RTL through ... Verification : Work closely with the verification team to review verification plans, assist on ...

Ciena Corporation

THW Client Co-op

New York, NY · On-site

$27 - $37.50/hr

As a successful candidate, you will be working within the ASIC IP team with other design and verification engineers, performing digital ASIC design and verification of the Client sub-systems and ...

M&J Engineering

Office Engineer

New York, NY

Overview M&J Engineering, D.P.C. is a quality provider of multi-discipline consulting services with ... Conduct site visits as needed to verify quantities, observe work progress, and resolve ...

Ciena

THW Client Co-op

Manhattan, NY · On-site

$27 - $37.50/hr

As a successful candidate, you will be working within the ASIC IP team with other design and verification engineers, performing digital ASIC design and verification of the Client sub-systems and ...

KS Engineers, P.C.

Resident Engineer

Newark, NJ · On-site

$70 - $90/hr

Resident Engineer Reports to: Project Manager Job Summary: The Resident Engineer will manage ... verifies that the assigned project has been fully documented. - Receives and investigates ...

KS Engineers, P.C.

Resident Engineer

Newark, NJ · On-site

$70 - $90/hr

Resident Engineer Reports to: Project Manager Job Summary: The Resident Engineer will manage ... verifies that the assigned project has been fully documented. - Receives and investigates ...

previous pagenext page

Showing results 21-40

All JobsVerification Engineer JobsVerification Engineer Jobs in New York

Verification Engineer information

See New York salary details

$87.5K

$156K

$222.6K

How much do verification engineer jobs pay per year?

As of Aug 12, 2026, the average yearly pay for 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 verification engineer?

A verification engineer runs tests to ensure products function as expected before they become available to customers. Your job duties as a verification engineer include collaborating with the design team, creating a comprehensive testing process, testing products, providing feedback, and ensuring products are ready on time. The qualifications you need for a career as a verification engineer include a bachelor’s degree in an engineering field, at least two to five years of technical experience, and excellent teamwork skills. You may need Professional Engineer (PE) licensure for some employers.

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

To thrive as a Verification Engineer, you need a strong background in digital design, computer engineering, and verification methodologies, typically supported by a degree in electrical or computer engineering. Familiarity with hardware description languages like Verilog or VHDL, simulation tools (e.g., ModelSim, VCS), and verification frameworks such as UVM is essential. Strong analytical thinking, problem-solving abilities, and effective communication are standout soft skills in this role. These competencies ensure the reliable validation of complex hardware designs, reducing errors and improving product quality throughout the development process.

How does a verification engineer typically collaborate with design and development teams during a project?

Verification Engineers work closely with hardware and software design teams to ensure that products meet technical specifications and function as intended. They participate in regular design reviews, provide feedback on testability, and develop test plans aligned with design goals. Effective communication and collaboration are essential, as Verification Engineers often need to clarify requirements, report bugs, and suggest design improvements. This cross-functional teamwork helps identify issues early, leading to higher-quality products and more efficient project timelines.

What is the difference between Verification Engineer vs Test Engineer?

AspectVerification EngineerTest Engineer
Primary FocusEnsuring design correctness through simulation and formal methodsExecuting tests on hardware or software to validate functionality
Skills & CertificationsKnowledge of verification tools, scripting, HDL languagesTesting methodologies, scripting, hardware/software knowledge
Work EnvironmentDesign teams, simulation labs, verification environmentsTest labs, hardware setups, software testing environments
Industry UsageElectronics, semiconductor, ASIC/IP developmentElectronics, software, embedded systems

Verification Engineers focus on verifying design correctness through simulation and formal methods, while Test Engineers primarily execute tests on hardware or software to validate functionality. Both roles require technical skills and often overlap, but Verification Engineers are more involved in the design validation process, whereas Test Engineers focus on practical testing and validation in real-world environments.

What is a verification engineer?

A Verification Engineer is a professional responsible for ensuring that hardware or software systems meet their design specifications and work as intended. They develop test plans, create test environments, and use various simulation tools to catch bugs and errors before a product goes into production. Verification Engineers play a critical role in the quality assurance process, particularly in industries like semiconductor, electronics, and software development. Their work helps prevent costly design flaws and ensures reliable, high-quality products.
More about Verification Engineer jobs
What are the most commonly searched types of Verification Engineer jobs in New York? The most popular types of Verification Engineer jobs in New York are:
What are popular job titles related to Verification Engineer jobs in New York? For Verification Engineer jobs in New York, the most frequently searched job titles are:
What job categories do people searching Verification Engineer jobs in New York look for? The top searched job categories for Verification Engineer jobs in New York are:
What cities in New York are hiring for Verification Engineer jobs? Cities in New York with the most Verification Engineer job openings:
What are popular job titles related to Verification Engineer jobs in NY? For Verification Engineer jobs in NY, the most frequently searched job titles are:
Verification Engineer jobs near you
Infographic showing various Verification Engineer job openings in New York as of August 2026, with employment types broken down into 87% Full Time, 7% Part Time, 1% Temporary, and 5% 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.

Senior Software Engineer, Formal Verification

Category Labs

New York, NY • On-site, Remote

$180K - $250K/yr

Full-time

Medical, Dental, Vision, Retirement, PTO

Re-posted 24 days ago

Job description

Category Labs (formerly known as Monad Labs) is a team of systems engineers and researchers on a mission to design and build at the frontier of decentralized technology. We strive to deliver significant improvements over existing blockchain solutions. After raising $225M in series A funding, led by Paradigm, we are growing our team.
We're the team behind Monad, a high-performance, EVM-compatible Layer 1 whose public mainnet is now live. We write the core software that runs it: a parallel-execution EVM, a custom state database, and a BFT consensus client, all developed in the open.
The Role
We're hiring a Senior Software Engineer in Formal Verification to prove the correctness of the Monad implementation. Your work will involve writing machine-checked proofs about real production C++ code, including concurrent features like optimistic execution and novel Monad mechanisms such as reserve balance and optimized page-level storage. You'll work in Rocq (formerly Coq), using the Iris separation logic framework and the BRiCk formal semantics of C++, building models of our designs and proving the implementation equivalent to them, as a vital member of a small, high-performing team.
What You'll Do
  • Formally verify the highest-risk parts of the Monad implementation, including concurrent and parallel execution logic.
  • Build and refine Rocq models of system designs, then prove the C++ implementation equivalent to those models, catching design and implementation bugs before they reach main.
  • Develop specifications and weakest-precondition proofs for production C++ using BRiCk and Iris separation logic.
  • Strengthen theorem statements and proof automation, and devise approaches that scale verification to a fast-moving codebase.

Who You Are
  • You have at least 5 years of software engineering experience in C++, much of it building performant systems from scratch - databases, device drivers, embedded systems, or the like.
  • You have hands-on experience with an interactive theorem prover, ideally Rocq (formerly Coq), and can write machine-checked proofs about real, running code.
  • You reason about concurrency and memory with a rigor most engineers never need - and you're drawn to problems where "probably correct" isn't good enough.
  • You have sharp instincts for software architecture, memory management, and performance profiling.
  • You hold a Bachelor's, Master's, or PhD in Computer Science, or have equivalent experience.
  • You communicate clearly and thrive on a small team where everyone owns the result.

Why Work with Us
  • Challenging problems: You'll work on extremely challenging problems with massive impact. See our Blogs and Publications & Talks for a flavor of the problems we are solving in the real world.
  • Huge opportunity: The Ethereum Virtual Machine (EVM) standard is ubiquitous, but existing EVM-compatible chains are very slow. Monad's core innovations offer developers the best of both worlds (portability and performance) and are a game-changer for mass user adoption in crypto.
  • The right team: You'll be part of a small, exceptional team (engineers and researchers make up 90% of the team).
  • Open by default: Our core software is public on GitHub. You'll build in the open, and your work ships where the whole ecosystem can see it.
  • Culture: We're a lean team working together to achieve very ambitious goals. We are united in our culture of collaboration, low ego, and high-quality output. As an early member of our team, you'll help to shape our culture.
  • Compensation: You'll receive a competitive salary and equity package.
  • Resources and growth: We're well-capitalized, with backing from leading venture funds like Paradigm, Electric Capital, Greenoaks, Dragonfly, and Coinbase Ventures. We keep a lean team, and this is a rare opportunity to join. You'll learn a lot and grow as our company scales.

How We Use AI
We're an AI-native team, and we expect engineers to use coding agents and keep up as the tooling evolves. A few things we believe:
  • AI is leverage, not a crutch. Review what it generates with the same scrutiny you'd give a teammate's PR, and own every line you ship.
  • Judgment is what matters, not how long you typed by hand. We won't ask for "N years of [tool]." The stack turns over every few months, so what matters is that you pick up new tools fast and know where and when they apply.

Salary and Benefits
The base salary range for this role is $180,000 - $250,000. This reflects the minimum and maximum range across US locations. It does not include benefits, token, or equity incentives. The final offer may vary based on factors such as relevant skills, experience, domain expertise, and work location. If you are based outside of the US, we have geographic considerations that may impact your final compensation.
Benefits for all Full-Time Employees:
  • Private health insurance options
  • Flexible paid time off
  • Monthly wellness reimbursement
  • Paid parental leave

Benefits for US employees:
  • World-class benefits package with 100% paid medical, dental, and vision insurance including 75% coverage for dependents and HSA + FSA options
  • 401(k) with company match
  • Lunch and dinner stipend (in-office NYC)

Benefits for employees hired through an EOR (outside of the US) will be based on EOR offerings and country-specific requirements.
Category Labs is an Equal Employment Opportunity (EEO) employer and welcomes all qualified applicants. Applicants will receive fair and impartial consideration without regard to race, sex, color, religion, national origin, age, disability, veteran status, genetic data, or other legally protected status.

Apply