ZipRecruiter

Log In

2

Remote Formal Verification Engineer Jobs in Michigan

Gentex

Requirements Engineer II

Zeeland, MI · On-site +1

This role is not eligible for remote work. WHAT YOU'LL DO * Consistently execute the processes for ... Refine the requirements collected into a level of detail relevant to designers and verifiers.

Gentex

Requirements Engineer II

Grand Rapids, MI · On-site +1

This role is not eligible for remote work. WHAT YOU'LL DO * Consistently execute the processes for ... Refine the requirements collected into a level of detail relevant to designers and verifiers.

DISHER

Vision Engineer

Detroit, MI · Remote

Vision Engineer - Remote / Travel DISHER is currently partnering with a world leading automation ... verification signals in application materials based on available information. These tools assist ...

DISHER

Vision Engineer

Detroit, MI · On-site +1

Vision Engineer - Remote / Travel DISHER is currently partnering with a world leading automation ... verification signals in application materials based on available information. These tools assist ...

Utilidata

Principal Data Engineer

Ann Arbor, MI · On-site +1

$170K - $210K/yr

Demonstrated ability to lead technical teams, set direction, and grow engineers without relying on formal authority Enhanced Qualifications (Nice to Have) * Experience with streaming architectures ...

AVL DiTEST

System Design Engineer

Plymouth, MI · On-site +1

$95K - $130K/yr

The System Design Engineer also supports system integration, troubleshooting, verification ... This position follows a hybrid work arrangement, allowing a combination of remote and office-based ...

ABB

Senior Field Service Engineer

Grand Rapids, MI · Remote

$83K - $133K/yr

Remote. Key Responsibilities * Be responsible for hands-on execution of projects including Startup ... Additional formal education may substitute for required experience on a yearforyear basis.

Dart Container

Staff Engineer - Polymers

Mason, MI · On-site +1

Please note that remote work requires 60-70% travel to our facilities. What You'll Do... * Deliver ... verified commercial outcomes. * Mentor and elevate colleagues in other functions in polymer ...

Dart Container

Staff Engineer - Polymers

Mason, MI · On-site +1

Please note that remote work requires 60-70% travel to our facilities. What You'll Do... * Deliver ... verified commercial outcomes. * Mentor and elevate colleagues in other functions in polymer ...

Kingscott

Civil Engineer

Portage, MI · On-site +1

This remote position requires the individual to live in the state of Michigan with the ability to ... Verify construction aligns with design intent and specifications. Education & Experience:

Ford Motor Company

Manufacturing Engineer

Dearborn, MI · On-site +1

$99K - $166K/yr

Verification of employment eligibility will be required at the time of hire. We are an Equal ... or remote for non-local candidates. #LI-Hybrid #LI-Remote #LI-VO1 #GME What you'll do.

next page

Showing results 1-20

All JobsRemote Formal Verification Engineer JobsRemote Formal Verification Engineer Jobs in Michigan

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 are Remote Formal Verification Engineers?

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, and why are they important?

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 Michigan? For Remote Formal Verification Engineer jobs in Michigan, the most frequently searched job titles are:
What job categories do people searching Remote Formal Verification Engineer jobs in Michigan look for? The top searched job categories for Remote Formal Verification Engineer jobs in Michigan are:
Remote Formal Verification Engineer jobs near you
Infographic showing various Remote Formal Verification Engineer job openings in Michigan as of June 2026, with employment types broken down into 1% As Needed, 92% Full Time, 2% Part Time, and 5% Contract. Highlights an 38% Physical, 3% Hybrid, and 59% Remote job distribution.
Low Level Software Verification Engineer - Integrated Vehicle Health Monitoring

Low Level Software Verification Engineer - Integrated Vehicle Health Monitoring

Real Time Consulting, LLC

Grand Rapids, MI • Remote

$126K - $166K/yr

Full-time

Posted 21 days ago

Job description

REAL TIME CONSULTING (An RTCo Company)—POSITION DESCRIPTION
JOB TITLE: Low Level Software Verification Engineer – Integrated Vehicle Health Monitoring
REMOTE WORK OPTIONS AVAILABLE!
ABOUT THE JOB:
We are seeking multiple software engineers to provide software development and verification support for an Integrated Vehicle Health Monitoring (IVHM) system for a cutting-edge helicopter product.
REQUIRED SKILLS:
  • Bachelor’s degree in Computer Science or Electrical/Computer/Aerospace Engineering
  • 5+ years Embedded Software Development for Avionics products experience
  • DO-178B/C Full Lifecycle Software Development process familiarity
  • Embedded Software Requirements Development and Management experience
  • Experience translating Software Requirements to C++ and/or C Coding Languages
  • Experience with Software Unit Test Development
  • Experience translating Software Requirements to Software Verification Test Case
  • Experience with Software Verification and Analysis
  • Experience with Software-level Test Case Development
  • Experience with Software-level Test Script Development
  • Experience developing Automated Software Verification Test Procedures
  • Familiar with Software Change Request (SCR) processes and tools
  • Familiar with Software Configuration Management processes and tools
  • Experience using DOORS for requirements and test case documentation
  • Effective written and verbal communication skills
  • Accountable and takes ownership of assigned tasks
  • Self-motivated and takes initiative to get things done
  • Team-driven mentality
  • Experience working with remote team members

PREFERRED SKILLS:
  • A615 Data Loader experience
  • ACARS Datalink experience
  • Linux Experience
  • Experience with IBM Rational Test Realtime
  • Experience porting Ada to C-language
  • Onboard Maintenance System (OMS) experience
  • Health and Usage Monitoring System (HUMS) experience
  • Experience using Git for software configuration management
  • Experience with Eclipse test development environment
 
ABOUT THE COMPANY:
Real Time Consulting (RTC) exists to partner outstanding engineering talent to support our clients’ success. Unsurpassed service is delivered to our clients by upholding responsibility, teamwork and quality. Our primary commitment is to help our clients.  Since 1997, RTC has been protecting and enhancing lives with safe, reliable, innovative solutions, providing full life-cycle design, development and testing of EMBEDDED ENGINEERING SYSTEMS and SOFTWARE SOLUTIONS with Program Management and Consulting Services. Our employees average 20+ years of versatile and accomplished expertise to our clients, driving continuous innovation forward. Employee’s innovative and analytical ideas are cultivated while maintaining the big picture vision in a fast-paced, changing environment. Our corporate values are to Uphold Responsibility, Support People, Promote Teamwork and Deliver Quality!
This position may require exposure to software, source code or technology that is subject to US export control laws and regulations (i.e., International Traffic in Arms Regulations or the Export Administration Regulations). To comply with these requirements, you must be a U.S. citizen, lawful permanent resident of the U.S., protected individual as defined by 8 U.S.C. 1324b(a)(3), or eligible to obtain the required authorizations from the U.S. Departments of State or Commerce, as applicable.
 
RTCo is an Equal Opportunity Employer; employment with RTCo is governed on the basis of merit, competence and qualifications and will not be influenced in any manner by race, color, religion, gender, national origin/ethnicity, veteran status, disability status, age, sexual orientation, gender identity, marital status, mental or physical disability or any other legally protected status.
To qualify for all positions with Real Time Companies, applicants must be legally authorized to work in the United States and should not require now, or in the future, sponsorship for employment visa status.  Please be aware that Real Time Companies does not sponsor employment-based visas.  Additionally, certain positions with Real Time Companies that involve work with government entities may have more restrictive employment status requirements, such as U.S. citizenship, based on security clearance requirements or other governmental requirements.  Real Time Companies is an Equal Opportunity Employer M/F/D/V.