Formal

60 Formal Jobs Hiring Near You

Formal Education & Certification : Bachelor's degree (or foreign equivalent) in a Computer Science, Computer Engineering, or Information Technology field of study (e.g., Information Technology ...

CPU Formal Verification Engineer

Santa Clara, CA ยท On-site

$159K/yr

Sharpen your formal verification skills to their fullest on some of the complex designs ever attempted. * Roles and Responsibilities: * Work with design team to understand design intent and bring up ...

New

Senior Software Engineer | Backend

San Francisco, CA ยท On-site

$144K - $190K/yr

About Formal Formal is data security platform designed to help teams understand and control their data on autopilot. We're building a modern protocol-aware reverse-proxy for datastores and APIs that ...

Formal Verification Engineer

Mountain View, CA ยท On-site +1

$150K - $287K/yr

We are seeking a Formal Verification Engineer to bring rigorous mathematical guarantees to our hardware and software at every layer of the stack. What You'll Do Here * Apply model checking and formal ...

About Formal Formal is data security platform designed to help teams understand and control their data on autopilot. We're building a modern protocol-aware reverse-proxy for datastores and APIs that ...

Senior Formal Verification Engineer

Hillsboro, OR ยท Hybrid

$148K/yr

NVIDIA is looking for Formal Verification Engineer to help verify the design and implementation of industry's leading Coherent interconnects and other High-PerformanceDesigns. As a Formal ...

Formal Verification Engineer

San Diego, CA ยท On-site

$144K/yr

VHDL, Verilog, System Verilog, and System Verilog Assertions (SVA), Experience with Formal Verification is a must Qualifications Experience in functional verification EDA tools: VCS, IUS, ModelSim ...

About Formal Formal is data security platform designed to help teams understand and control their data on autopilot. We're building a modern protocol-aware reverse-proxy for datastores and APIs that ...

Senior Formal Verification Engineer

Mountain View, CA ยท Hybrid

$123K - $169K/yr

Own the formal verification sign-off approach across complex IP and SoC designs, utilizing advanced formal techniques (e.g., Bounded Model Checking, Datapath Validation, Connectivity, Sequential LEC ...

About Formal Formal is data security platform designed to help teams understand and control their data on autopilot. We're building a modern protocol-aware reverse-proxy for datastores and APIs that ...

Senior Formal Verification Engineer

Austin, TX ยท On-site

$103K - $142K/yr

As a Formal Verification Engineer at NVIDIA, you will verify the build and implementation of the industry's leading GPUs. In this position, your responsibilities will be to verify the micro ...

About Formal Formal is data security platform designed to help teams understand and control their data on autopilot. We're building a modern protocol-aware reverse-proxy for datastores and APIs that ...

Own the formal verification sign-off approach across complex IP and SoC designs, utilizing advanced formal techniques (e.g., Bounded Model Checking, Datapath Validation, Connectivity, Sequential LEC ...

Showing results 41-60

Formal Jobs Information

Infographic showing various job openings at Formal in the United States as of August 2026, with employment types broken down into 100% Full Time. Highlights an 100% Physical job distribution.

Other

Re-posted 13 days ago


Job description

** NO RELO **
** USC/GC HOLDERS HIGHLY PREFERRED
REQUIREMENTS:
  • Formal Education & Certification: Bachelor's degree (or foreign equivalent) in a Computer Science, Computer Engineering, or Information Technology field of study (e.g., Information Technology, Electronics and Instrumentation Engineering, Computer Systems Management, Mathematics)
  • Knowledge & Experience
    • 8+ years of IT experience
    • 8+ years of work experience in software testing and quality assurance
    • 6+ years of experience designing and developing automated tests in Selenium or equivalent tool(s)
    • 5+ years of experience in manual or exploratory testing
    • Experience implementing and defining automated test solutions and frameworks within and across programs
    • Experience creating test plans, defining test cases, defect tracking, and report and dashboard design
    • Experience with Java development
    • Experience testing with mobile browsers/devices
    • Experience in leading multiple projects, and teams
  • Preferred Qualifications and Skills:
    • Exposure to acceptance test-driven development (ATDD) and/or test-driven development (TDD) preferred.
    • Experience with Agile development and release practices preferred.
    • Experience with version control preferred.
    • Experience with SQL preferred