System Verification jobs

Formal Methods Engineer

Atalanta · Posted Nov 18, 2025

Open

Washington D.C., District of Columbia, United States
On-site
Full-time · Senior
$225K–$275K per year

Formal Methods Engineer

Atalanta · Posted Nov 18, 2025

Open

Washington D.C., District of Columbia, United States
On-site
Full-time · Senior
$225K–$275K per year

Sr. Systems Verification Engineer

Neptune Technology Group · Posted Nov 11, 2026

Open

Duluth, Minnesota, United States
Full-time · Senior
5+ years

Apply with RefersoAI Apply on careers page

Lead system-level verification for integrated hardware, firmware, and cloud/application solutions, ensuring compliance with requirements and driving test automation.

Responsibilities

Develop verification plans and procedures mapping requirements to methods
Build and maintain system test case library with end-to-end coverage
Use AI to draft and review test cases and automation scripts
Execute verification, capture evidence, and maintain traceability
Analyze defects across HW/FW/SW boundaries and feed feedback

Requirements

Bachelor’s degree in Electrical/Computer Engineering, Systems Engineering, Computer Science, or related field
Nice to have: LoRaWAN
Nice to have: MQTT
Nice to have: cellular/RF behavior
Nice to have: security requirements verification

Skills

verification planning system verification test automation Python pytest AI-assisted test development

Senior System Verification Engineer Connectivity

AB Volvo (Volvo Group) · Posted Nov 9, 2026

Open

Eskilstuna, Södermanland County, Sweden
On-site
Full-time · Senior

Apply with RefersoAI Apply on careers page

Lead end-to-end connectivity verification, system and integration testing, test automation, and complex troubleshooting for connected systems.

Compensation

solid package of compensation and benefits, including flexible time, internal growth opportunities, and compensation benefits such as Occupational pension – ITP (ITP1 & ITP2), profit sharing, and company bonus

Responsibilities

Drive end-to-end connectivity verification
Own verification strategies and testing
Automate test processes
Troubleshoot and root-cause analysis
Collaborate across Volvo CE and Volvo Group

Skills

connectivity embedded systems telematics system verification CAN Ethernet TCP/IP cellular networks Wi-Fi machine-to-cloud communication

Senior Software and Firmware QA Engineer

MKS Instruments · Posted Nov 5, 2026

Open

Bangalore, Whitefield, India
Senior
8+ years

Apply with RefersoAI Apply on careers page

Senior Software and Firmware QA Engineer

Responsibilities

Own end-to-end software, firmware, and system validation activities
Develop and execute test plans, test cases, and test procedures
Perform functional, integration, system, regression, performance, reliability, compatibility, negative, and exploratory testing
Validate communication and interaction between software, firmware, hardware, and external devices
Design, develop, and maintain automated test frameworks

Requirements

Bachelor's degree in Electronics Engineering, Computer Engineering, Computer Science, or a related technical field
Nice to have: testing embedded systems
Nice to have: real-time systems
Nice to have: hardware-software integrated products
Nice to have: defect and requirements tracking tools

Skills

software QA firmware QA embedded-system validation system verification software testing methodologies

Vehicle Management System (VMS) Requirements Engineer - Associate

Boeing · Posted Nov 6, 2026

Open

Hazelwood, Missouri, United States
On-site
Full-time · Associate
$94K–$127K per year
2+ years

Apply with RefersoAI Apply on careers page

Join the VMS Requirements team to work across disciplines and help us design elements of the VMS Software Application. Collaborate with hardware, software, and labs teams to implement and test designs.

Compensation

Summary pay range: $93,500 - $126,500

Responsibilities

Develop software requirements and design for a Vehicle Management System (VMS)
Apply model-based system engineering techniques to design and verify system requirements
Interpret requirements to formulate and test mathematical models
Work with subject matter experts, design solutions for a variety of capabilities such as airplane subsystems (i.e. actuation), signal processing, redundancy management, system monitoring, and controls
Coordinate and integrate requirements across engineering disciplines

Requirements

Bachelor of Science degree in Engineering
Engineering Technology
Computer Science
Data Science
Mathematics

Skills

Model-based system engineering Software requirements development Mathematical modeling System verification

Formal Methods Engineer

Formal Methods Engineer

Compensation

Responsibilities

Requirements

Skills

Benefits

Sr. Systems Verification Engineer

Responsibilities

Requirements

Skills

Senior System Verification Engineer Connectivity

Compensation

Responsibilities

Skills

Senior Software and Firmware QA Engineer

Responsibilities

Requirements

Skills

Vehicle Management System (VMS) Requirements Engineer - Associate

Compensation

Responsibilities

Requirements

Skills

Benefits

Benefits