ZipRecruiter

Log In

2

Remote Formal Verification Engineer Jobs in New York

CertiK

IT Operations Specialist

New York, NY · On-site +1

$70K - $90K/yr

... security research, formal verification, and AI-powered technology. Founded in 2017 and ... Bachelor's Degree in Computer Science, Engineering or related field * 2+ years of experience in ...

CertiK

IT Operations Specialist

New York, NY · Remote

$70K - $90K/yr

... security research, formal verification, and AI-powered technology. Founded in 2017 and ... Bachelor's Degree in Computer Science, Engineering or related field * 2+ years of experience in ...

Gorin Systems

Flutter Developer (Remote)

Brooklyn, NY · On-site +1

We are looking for a remote, part-time Flutter developer to start immediately on several projects ... Willing to do identity verification Please apply if: * you have 4+ years of software development ...

Resource Innovations

Energy Engineer

Jersey City, NJ · Remote

This position may be remote, with a preferred location in Illinois, Iowa, Massachusetts, New Jersey ... Conduct measurement and verification activities to establish facility operating conditions, confirm ...

Resource Innovations

Energy Engineer

Jersey City, NJ · On-site +1

This position may be remote, with a preferred location in Illinois, Iowa, Massachusetts, New Jersey ... Conduct measurement and verification activities to establish facility operating conditions, confirm ...

Truv

Senior DevOps Engineer

New York, NY · On-site +1

$140K - $170K/yr

Our technology streamlines income and employment verification, direct deposit switching, and more ... from standing up our first formal observability and alerting platform to architecting ...

next page

Showing results 1-20

All JobsFormal Verification Engineer JobsRemote Formal Verification Engineer JobsRemote Formal Verification Engineer Jobs in New York

Remote Formal Verification Engineer information

What is the difference between Remote Formal Verification Engineer vs Remote Hardware Verification Engineer?

AspectRemote Formal Verification EngineerRemote Hardware Verification Engineer
Required CredentialsBachelor's/Master's in Electrical Engineering, Computer Science; certifications in formal methodsBachelor's/Master's in Electrical Engineering, Computer Engineering; certifications in hardware testing
Work EnvironmentDesign and analyze digital systems using formal methods remotelyTest and validate hardware components remotely in lab or simulation environments
Industry UsageSemiconductor, electronics, tech companies focusing on verificationSemiconductor, electronics, hardware manufacturing companies
Search & Comparison IntentOften compared due to similar industry and skills, focusing on verification methods

The Remote Formal Verification Engineer specializes in mathematically proving the correctness of digital systems remotely, while the Remote Hardware Verification Engineer tests and validates hardware components remotely. Both roles require strong technical credentials and are used in similar industries, but they focus on different verification techniques and processes.

What is a remote formal verification engineer?

Remote Formal Verification Engineers are professionals who use mathematical methods to verify the correctness of hardware or software designs, ensuring they meet specified requirements and are free from critical errors. They typically work from home or any location outside a traditional office, collaborating with teams online. Their main tasks include writing formal specifications, developing verification strategies, analyzing results, and reporting on system reliability. This role is essential in industries like semiconductor design, automotive, and aerospace, where system failures can have significant consequences.

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

To thrive as a Remote Formal Verification Engineer, you need a strong background in digital design, formal verification methodologies, and a relevant degree in computer engineering or a related field. Expertise in formal verification tools (such as JasperGold or Questa Formal), hardware description languages (like Verilog or VHDL), and scripting languages is typically required. Strong problem-solving ability, attention to detail, and effective remote communication skills set top performers apart. These skills ensure the accurate validation of hardware designs, reduce costly errors, and enable efficient collaboration in distributed teams.

How does a remote formal verification engineer typically collaborate with development and design teams across different time zones?

As a Remote Formal Verification Engineer, effective collaboration with development and design teams is critical, especially when working across multiple time zones. Most teams use a combination of asynchronous communication tools (like email, Slack, and project management platforms) and scheduled video meetings to align on goals, clarify verification requirements, and review progress. It's common to document verification plans and results thoroughly so colleagues in other regions can review and contribute. Flexibility in working hours and proactive communication help ensure smooth handoffs and minimize blockers, making remote collaboration productive and efficient.
What are popular job titles related to Remote Formal Verification Engineer jobs in New York? For Remote Formal Verification Engineer jobs in New York, the most frequently searched job titles are:
What job categories do people searching Remote Formal Verification Engineer jobs in New York look for? The top searched job categories for Remote Formal Verification Engineer jobs in New York are:
What cities in New York are hiring for Remote Formal Verification Engineer jobs? Cities in New York with the most Remote Formal Verification Engineer job openings:
Remote Formal Verification Engineer jobs near you

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 18 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