2

Remote Formal Verification Engineer Jobs in New York

Senior Platform Engineer

Jersey City, NJ · On-site +1

$109K - $149K/yr

  • Medical

  • Dental

  • Vision

  • Retirement

  • PTO

For remote roles, and at our discretion, candidates may be asked to participate in an on-site ... Collectors uses e-Verify to validate your ability to work legally in the United States. We are ...

Field Service Engineer

New York, NY · On-site +1

$76K - $125K/yr

  • Medical

  • Dental

  • Vision

  • Life

  • Retirement

  • PTO

Job Purpose The Field Service Engineer provides remote and onsite technical support for pre-sales ... Conduct testing, validation, and basic laboratory procedures to verify system performance.

Software Packaging Engineer

New York, NY · On-site +1

  • Medical

  • Dental

  • Vision

  • Life

  • Retirement

  • PTO

Location - We are flexible on remote working from home, if you are located in the USA and reside in ... Develop endpoint‑side scripts to download, install, upgrade, and verify third‑party ...

Remote Work & Travel Empassion is a remote-first, fully distributed company across the United ... verification signals in application materials based on available information. These tools assist ...

Senior Full Stack Software Engineer

New York, NY · On-site +1

$120K - $175K/yr

  • Medical

  • Dental

  • Vision

  • Retirement

Remote Work & Travel Empassion is a remote-first, fully distributed company across the United ... verification signals in application materials based on available information. These tools assist ...

Senior Full Stack Engineer - Golang

New York, NY · Remote

$160K - $250K/yr

  • Medical

  • Dental

  • Vision

  • PTO

... remote role for candidates based in NYC/Europe, as long as they can work EST hours. Salary range ... verified before transactions execute onchain. Our solution ensures these policies are securely ...

Senior Software Engineer, Reliability Remote, US About Nametag Nametag is building the future of ... We're pioneering next-generation identity verification and account protection so that users can ...

Our verified directory for registered Clinical Psychologists, Psychiatrists, and Psychotherapists ... Participate in 1-2 formal advisory session per year to review strategic direction and platform ...

Our verified directory for registered Clinical Psychologists, Psychiatrists, and Psychotherapists ... Participate in 1-2 formal advisory session per year to review strategic direction and platform ...

Solid network security fundamental knowledge with firewalls, segmentation, secure remote access ... Salary Range: $160K-$225K Libertas Funding, LLC participates in E-Verify. Libertas Funding, LLC ...

AI Product Manager (Remote)

New York, NY · On-site +1

$90K - $120K/yr

  • PTO

Formal Agile training * PMI (or similar) certification * AWS Certification * Programming, UI/UX, or QA experience * Jira or similar online task tracking experience * Experience managing remote and ...

New

Junior Software Packaging Engineer

New York, NY · On-site +1

  • Medical

  • Dental

  • Vision

  • Life

  • Retirement

  • PTO

Location - We are flexible on remote working from home, if you are located in the USA and reside in ... Develop endpoint-side scripts to download, install, upgrade, and verify third-party applications.

Showing results 21-40

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

Senior Platform Engineer

Collectors Holdings, Inc.

Jersey City, NJ • On-site, Remote

$109K - $149K/yr

Full-time

Medical, Dental, Vision, Retirement, PTO

Posted 9 days ago


Job description

Collectors is the leading creator of innovative technology that provides value-added services for collectors worldwide. We grade, authenticate, vault, and sell millions of record-setting collectibles, all while modernizing and digitalizing the process to further our mission of helping collectors pursue their passions. We're always on the lookout for talented people to join our growing team.
Our services span collectible trading cards, autographs, comic books, coins, video games, event tickets, and memorabilia. Our subsidiaries include PSA, PCGS, Beckett, SGC, and Card Ladder.
Since our founding in 1986, we have graded and authenticated millions of items. We employ more than 3000 people across our headquarters in Santa Ana, California and offices in New Jersey, Texas, Florida, Japan, Shanghai, Hong Kong, Canada, Mexico, Germany, the UK, and France.
As part of our interview process, we request that candidates have their cameras on during video interviews. This helps foster meaningful conversation and allows us to create an experience that closely resembles our standard working environment. Certain interview steps may take place by phone. For remote roles, and at our discretion, candidates may be asked to participate in an on-site interview as part of the final stages of the process.
We understand there may be occasional circumstances requiring accommodation and are happy to discuss them as needed. Your recruiter will be able to clarify expectations and answer any questions you have.
We're transforming the collecting experience with technology that brings authentication, grading, and trading into the modern era. Our products are equalizing the playing field by providing tools that make complex research analytics - including pricing, scarcity reports, and historic sales data - accessible to every collector, old or new. Our engineering mission is to democratize technology while promoting innovation, collaboration, and continuous learning throughout the organization. We're seeking engineers to utilize advanced technology in agile settings, with a focus on improving the customer experience for every collector.
We're looking for a Senior Platform Engineer to join our Platform Engineering team and help make every engineer at Collectors more productive. This is a builder's role for a strong software generalist with systems depth: you'll design and ship the internal platforms, paved paths, and custom tooling that product teams rely on to develop, deploy, and operate software quickly and safely. The problems you'll take on are often ambiguous and cross-cutting; we'll count on you to scope them, propose a direction, and drive them to completion.
Remote or hybrid candidates will also be considered. We believe that there is significant value in in-person collaboration. If you live within a 1 hour commuting distance to one of our offices, you will be required to be onsite most of the time. This will be discussed further as part of the recruiting process.
What You'll Do:
  • Build the paved path. Design, build, and operate the internal platforms that engineers use every day - CI/CD pipelines, developer environments, deployment workflows, and shared services - and continuously reduce the friction between "code written" and "value shipped."
  • Create custom tooling that multiplies the team. Identify repetitive, error-prone, or slow engineering workflows and replace them with automation and self-service tools that generalize beyond a single use case.
  • Bring AI into the engineering workflow. Prototype and productionize AI-assisted capabilities - from LLM-powered code modification and migration automation to agentic workflows for operational tasks - treating them as real software systems with evaluation, observability, and guardrails, not just prompts.
  • Own problems end-to-end in ambiguous spaces. Take loosely defined, high-priority platform challenges from discovery through design, implementation, rollout, and adoption, making pragmatic build-vs-buy and speed-vs-durability tradeoffs along the way.
  • Strengthen core infrastructure. Contribute to our cloud and container foundations (Kubernetes, infrastructure-as-code, networking, observability), improving the reliability, scalability, and cost-efficiency of the systems other teams build on.
  • Drive adoption with data. Instrument the platforms you build, define success metrics, and use telemetry and direct partnership with product teams to guide what gets built next.
  • Communicate and collaborate. Write clear design documents and tradeoff analyses, embed with partner teams to understand their pain points, and influence engineering practices across the organization without relying on formal authority.

Who You Are:
Must Have:
  • An experienced engineer with 5+ years building, shipping, and operating production software, ideally with meaningful time spent in platform, infrastructure, developer experience, or similarly leverage-oriented roles.
  • A strong software generalist with systems knowledge. You're comfortable moving across backend services, automation pipelines, infrastructure, and internal tools, and you know when to go deep.
  • Fluent in at least one modern language commonly used for platform work (such as Python or TypeScript) and experienced with cloud infrastructure (AWS preferred), containers and Kubernetes, infrastructure-as-code, and modern CI/CD systems.
  • A hands-on builder with AI. You've integrated LLMs or agent-based automation into real engineering workflows - shipping working tools, not just experiments - and you stay current on where the technology is heading.
  • Energized by ambiguity. You can take a fuzzy problem statement, break it down, propose a plan, and execute - course-correcting quickly as you learn.
  • Product-minded about internal customers. You treat fellow engineers as users, care about the usability of what you ship, and measure success by adoption and outcomes rather than output.
  • An excellent communicator. Your design docs, runbooks, and postmortems are clear, and you build trust with partner teams through consistent, low-drama delivery.
  • Pragmatic about operations. You take ownership from design through deployment and on-call, and you leave systems better documented and more reliable than you found them.

Nice to Have:
  • Experience with developer portals, service catalogs, or fleet/dependency management systems.
  • Experience running large-scale code migration or modernization efforts.
  • Familiarity with evaluation and observability practices for AI-powered systems

Salary Range: The salary range for this position is $140,000-$200,000. Actual compensation on this range varies based on a variety of non-discriminatory factors, including location, job level, experience, and skill set. This role may be eligible for bonuses, commissions, or other forms of compensation, please ask your recruiter for details.
Reasons To Join Us:
  • Health Insurance: All full-time employees are eligible to enroll in Medical, Dental, and Vision.
  • Additional Benefits: Full-time employees are eligible for fertility, commuter, and educational assistance benefits.
  • 401(K) Matching Plan: We are proud to offer a competitive 401k matching plan to our employees to support their future financial goals.
  • Vacation: All salaried employees are eligible for flexible time-off.
  • Holiday Pay: All regular, full-time employees are eligible for ten company paid holidays
  • Employee Discounts: Employees receive discounts on select grading services for approved submissions.
  • Flexible Hours: Many of our teams offer flexible schedules with varying shifts and will work with you to accommodate your needs.
  • Fun Working Environment: Our team members are invited to participate in celebrations, holiday events, and team building activities.
  • Additional Resources: Collectors Tech Blog, PSA.

Qualified applications with arrest or conviction records will be considered for employment in accordance with the Los Angeles County Fair Chance Ordinance for Employers and the California Fair Chance Act.
Collectors uses e-Verify to validate your ability to work legally in the United States.
We are aware that there are instances where individuals are receiving job offers that fraudulently allege to be from Collectors or one of our business units. This type of fraud can be carried out through false websites, through fake e-mails claiming to be from the company or through social media. We never ask for personal information such as your bank account, Social Security numbers or National IDs, nor do we send or request payments for the purchase of business-related equipment. If you suspect fraud, please reach out to interviewfraud@collectors.com.
We are committed to equal employment opportunity regardless of race, color, ethnicity, ancestry, religion, national origin, gender, sex, gender identity or expression, sexual orientation, age, citizenship, marital or parental status, disability, veteran status, or other class protected by applicable law. We believe that a team that represents a variety of backgrounds, perspectives, and skills will better service the diverse community of collectors we support.
If you require an accommodation to apply or interview with us due to a disability or special need, please email interviewaccommodation@collectors.com
U.S. residents: for disclosures relating to personal information we collect during the employment application and recruitment process, please see our Privacy Notice for U.S. Applicants.