2

Remote Formal Verification Engineer Jobs in California

Rust Engineer

Mountain View, CA · On-site +1

$175K - $362K/yr

Infrastructure, Performance, Runtime, Tooling/Testing, Verification. What You'll Do Here * Use your ... This is a remote (with travel) or hybrid role based in Mountain View Bonus Points If You Have

Staff Software Engineer

San Jose, CA · On-site +1

$133K - $222K/yr

Design, develop, modify, and verify medical device software components in accordance with defined ... Remote Procedure Calls (gRPC). Preferred: * Experience developing WPF applications using MVVM ...

... remote developer. You'll work with our clients to build great products that delight users ... All persons hired will be required to verify identity and to complete the required employment ...

SDET, Remote opportunity

Irvine, CA · On-site +1

$130K - $145K/yr

Senior SDET Location: Hybrid if local to Irvine, CA. 100% remote if you live more than 30 miles ... Verify compliance-critical behavior: disclosure timing, fee tolerances, audit trails, and data ...

Integrate with third-party IDV/document verification providers and internal identity services ... Employee divides their time between in-office and remote work. Access to an office location is ...

Integrate with third-party IDV/document verification providers and internal identity services ... Employee divides their time between in-office and remote work. Access to an office location is ...

Digital Engineer

El Segundo, CA · On-site +1

$86K - $198K/yr

Remote Work: Hybrid Job Number: R0244644 Location: El Segundo,CA,US Share job via: Share Digital ... Experience with Model-Based Verification and Validation * Experience with MATLAB, STK, ModelCenter ...

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 are the most commonly searched types of Formal Verification Engineer jobs in California? The most popular types of Formal Verification Engineer jobs in California are:
What are popular job titles related to Remote Formal Verification Engineer jobs in California? For Remote Formal Verification Engineer jobs in California, the most frequently searched job titles are:
What job categories do people searching Remote Formal Verification Engineer jobs in California look for? The top searched job categories for Remote Formal Verification Engineer jobs in California are:
What cities in California are hiring for Remote Formal Verification Engineer jobs? Cities in California with the most Remote Formal Verification Engineer job openings:
Infographic showing various Remote Formal Verification Engineer job openings in California as of August 2026, with employment types broken down into 83% Full Time, and 17% Contract. Highlights an 100% Remote job distribution.

QA Lead - Robotics-Based Test Automation IRC299219

GlobalLogic

San Jose, CA • On-site, Remote

$145K - $155K/yr

Full-time

Medical, Life, Retirement, PTO

Posted 11 days ago


GlobalLogic rating

7.5

Company rating: 7.5 out of 10

Based on 11 frontline employees who took The Breakroom Quiz

161st of 242 rated software companies


Job description

Description
Note: GlobalLogic estimates the starting pay range for this role to be performed onsite in Lake Forest, CA is $145,000 - $155,000 and reflects base salary only. This pay range is provided as a good faith estimate and the amount offered may be higher or lower. GlobalLogic takes many factors into consideration in making an offer, including candidate qualifications, work experience, operational needs, travel and onsite requirements, internal peer equity, prevailing wage, responsibilities, and other market and business considerations.
Job Title: QA Lead - Robotics-Based Test Automation
Location: Lake Forest, CA (Onsite- 5 days in a week onsite)
Requirements
Qualifications:
BS/MS in Computer Science, Computer Engineering, or equivalent experience
Work Location and Schedule:
Required to be in-person in Lake Forest, CA through an onsite workplace environment
Required:
Software and System level "Verification and Validation" expertise & hands-on experience in design & development of quality end-to-end workflows for regression and reusability
3+ years of experience working as an onsite-offsite coordinator; 5+ years of hands-on automation software testing experience preferably with complex medical devices
Working knowledge and hands-on experience with the Ranorex Automation Tool and developing testing scripts using C#
Understanding of Object-Oriented Programming concepts
Understanding of SDLC, specifically automated QA processes in hybrid (+iterative waterfall) or agile development environments
Working knowledge of version control using Visual Studio or another Git Client is mandatory
Working knowledge of designing and maintaining pipelines under Azure CI/CD is needed
Ability to coordinate testing activities that combine traditional software/system verification with physical, robot-executed test scenarios
Hands-on experience using AI-assisted development tools (e.g. GitHub Copilot, Claude) for test script generation and test design acceleration
Strongly preferred:
Ability to work in a regulated environment in compliance with IEC 62304, ISO 13485 and 21 CFR 820
Familiarity with software design patterns and automation framework & architecture
Experience with networking tools for troubleshooting issues related to data transfer and performance across a network
Exposure to robotics-based or physical test automation, humanoid/robotic arm systems, or HW-in-the-loop testing is a plus
Proven track record of applying AI-assisted coding/testing tools on a live project, with measurable impact on test development speed or coverage
May be assigned other duties or special projects as necessary
Job responsibilities
Capable and competent in following the directions and guidelines from the Automation Architect
Managing and supervising the offshore testing team and software verification activities by supporting pre-verification and leading formal verification testing for complex medical devices
Orchestrating automation code implementation and execution between offshore resources to manage testing activities across multiple test systems, including robot-executed test scenarios
Working closely with the Automation Architect, Robotics Engineer, Manual Lead, Test Engineers and Development teams to effectively understand automation, robotics, and manual requirements and carry out day-to-day project automation activities
Overseeing both traditional software QA workflows and robot-based physical test execution as a unified verification strategy
Driving adoption of AI-assisted testing practices across the QA team to improve test development speed and coverage
Being a proactive team player - flexible and adaptable to changing daily activities and schedules, adept at working under tight deadlines and juggling multiple project activities simultaneously
Excellent interpersonal, verbal and written communication skills, with the ability to establish and maintain positive and effective working relationships
What we offer
Exciting Projects:Come take your place at the forefront of digital transformation! With clients across all industries and sectors, we offer an opportunity to work on market-defining products using the latest technologies.
Collaborative Environment: You can expand your skills by collaborating with a diverse team of highly talented people in an open, laidback environment - or even abroad in one of our global centers or client facilities!
Work-Life Balance:GlobalLogic prioritizes work-life balance, which is why we offer flexible work schedules and opportunities to work from home.
Professional Development:We provide continuing education classes, professional certification and training (technical, soft skills, language, and communication skills) to help you realize your professional goals. Being part of a global organization, there are additional learning opportunities through international knowledge exchanges.
Excellent Benefits:We provide our employees with competitive salaries, health and life insurance, short-term and long-term disability insurance, a matched contribution 401K plan, flexible spending accounts, and PTO and holidays
About GlobalLogic
GlobalLogic, a Hitachi Group Company, is a trusted digital engineering partner to the world's largest and most forward-thinking companies. Since 2000, we've been at the forefront of the digital revolution - helping create some of the most innovative and widely used digital products and experiences. Today we continue to collaborate with clients in transforming businesses and redefining industries through intelligent products, platforms, and services.

What GlobalLogic employees say

Pay

Benefits

Hours and flexibility

Workplace

Get the full story on Breakroom