ZipRecruiter

Log In

1

Internship Formal Verification Engineer Jobs in Michigan

Danaher

Software Engineer Internships

Kalamazoo, MI · On-site

By submitting your interest, you'll be among the first to know when internship opportunities open ... If your background aligns with future opportunities, we'll reach out directly when formal ...

Danaher

Software Engineer Internships

Ann Arbor, MI · On-site

By submitting your interest, you'll be among the first to know when internship opportunities open ... If your background aligns with future opportunities, we'll reach out directly when formal ...

Danaher

Software Engineer Internships

Detroit, MI · On-site

By submitting your interest, you'll be among the first to know when internship opportunities open ... If your background aligns with future opportunities, we'll reach out directly when formal ...

Danaher

Software Engineer Internships

Lansing, MI · On-site

By submitting your interest, you'll be among the first to know when internship opportunities open ... If your background aligns with future opportunities, we'll reach out directly when formal ...

Danaher

Software Engineer Internships

Warren, MI · On-site

By submitting your interest, you'll be among the first to know when internship opportunities open ... If your background aligns with future opportunities, we'll reach out directly when formal ...

Danaher

Software Engineer Internships

Flint, MI · On-site

By submitting your interest, you'll be among the first to know when internship opportunities open ... If your background aligns with future opportunities, we'll reach out directly when formal ...

Danaher

Software Engineer Internships

Allendale, MI · On-site

By submitting your interest, you'll be among the first to know when internship opportunities open ... If your background aligns with future opportunities, we'll reach out directly when formal ...

next page

Showing results 1-20

All JobsFormal Verification Engineer JobsInternship Formal Verification Engineer JobsInternship Formal Verification Engineer Jobs in Michigan

Internship Formal Verification Engineer information

What is the difference between Internship Formal Verification Engineer vs Formal Verification Engineer?

AspectInternship Formal Verification EngineerFormal Verification Engineer
QualificationsEnrolled in or recent graduate in Computer Engineering, Electrical Engineering, or related fieldsBachelor's or Master's in Electrical Engineering, Computer Science, or related fields; certifications are a plus
Work EnvironmentInternship programs, entry-level tasks, supervised projectsFull-time professional role, independent project work, team collaboration
Industry UsageCommon in semiconductor, electronics, and hardware companies for trainingEstablished role in hardware design, verification teams, and chip development

The main difference is that an Internship Formal Verification Engineer is a training position for students or recent graduates gaining initial experience, while a Formal Verification Engineer is a full-time professional responsible for verifying hardware designs independently. Interns focus on learning and assisting, whereas full engineers lead verification processes.

What are the most commonly searched types of Formal Verification Engineer jobs in Michigan?

The most popular types of Formal Verification Engineer jobs in Michigan are:

What are popular job titles related to Internship Formal Verification Engineer jobs in Michigan?

For Internship Formal Verification Engineer jobs in Michigan, the most frequently searched job titles are:

What job categories do people searching Internship Formal Verification Engineer jobs in Michigan look for?

The top searched job categories for Internship Formal Verification Engineer jobs in Michigan are:

What cities in Michigan are hiring for Internship Formal Verification Engineer jobs?

Cities in Michigan with the most Internship Formal Verification Engineer job openings:

Internship Formal Verification Engineer jobs near you
Infographic showing various Internship Formal Verification Engineer job openings in Michigan as of August 2026, with employment types broken down into 89% Full Time, 7% Part Time, and 4% Contract. Highlights an 86% Physical, 4% Hybrid, and 10% Remote job distribution.

Software Verification Engineer, AV Platform (Early Career)

General Motors

Milford, MI • On-site

Other

Medical, Dental, Vision, Life, Retirement, PTO

Posted 8 days ago

General Motors rating

8.2

Company rating: 8.2 out of 10

General Motors

Based on 306 frontline employees who took The Breakroom Quiz

7.4

Company rating compared to similar companies: 7.4 out of 10

Automakers average

Based on 6,279 frontline employees who took The Breakroom Quiz

Job description

Job Description
The Role
General Motors is a global leader in advanced driver assistance. With Super Cruise hands-free technology in more than 500,000 Super Cruise-equipped vehicles on the road, and over 700 million hands-free miles driven, GM is proving that automation can be trusted, intuitive, and helpful. GM has the global reach to bring cutting-edge advances to everyday drivers at an unprecedented scale. Join us to help deliver the next generation of safe and delightful personal autonomous vehicle experiences.
About the Organization
At AV (Autonomous Vehicles) Software Organization within General Motors, we are working on developing cutting-edge ADAS and AV features for next-generation vehicles. As the ADAS/AV Platform Software Verification Engineer, you will play a crucial role in defining, implementing, and optimizing system testing to ensure the quality, safety, and reliability of the ADAS platform software.
This is an early-career / new graduate role designed for candidates who have recently or will be completing their degree by June 2026.
What You'll Do (Responsibilities)
  • Support the design, implementation, and execution of software verification for the AV/ADAS platform across HIL, SIL, and VIL environments.

  • Run and monitor system and integration tests, analyze diagnostics from a full-vehicle perspective, and help triage and debug AV Platform software issues.

  • Assist in building, maintaining, and improving test environments and automation frameworks to increase coverage, reliability, and execution speed.

  • Help ensure tests align with relevant safety and regulatory standards (e.g., ISO 26262, SOTIF, FMVSS 111, FMVSS 127) and contribute to improving test metrics and coverage.

  • Collaborate with Software Infrastructure, application, and Hardware teams to reproduce issues, gather logs, and support root-cause analysis for Linux/QNX-based AV Platform software.

  • Participate in failure analysis activities (e.g., FMEA, root-cause investigations using Ishikawa/Fishbone analysis, A-B-A testing) and document findings in a clear, structured way.

  • Contribute to continuous improvement of test cases, tooling, and processes by incorporating feedback from senior engineers and cross-functional partners.

Required Qualifications (Minimum)
  • Currently pursuing, or recently completed, a Bachelor's or Master's degree in Computer Science, Computer Engineering, Electrical Engineering, or a related technical field

  • Experience with at least one programming language such as Python, C, or C++, through coursework, internships, research, or personal projects

  • Basic understanding of software testing concepts such as test cases, regression testing, and test automation

  • Familiarity with Linux development environments through classwork, labs, internships, or projects

  • Exposure to vehicle or networked systems, including basic knowledge of CAN or Ethernet

  • Strong problem-solving and analytical skills

  • Clear written and verbal communication skills and the ability to work well on cross-functional teams

What Will Give You a Competitive Edge (Preferred Qualifications)
  • Hands-on experience with HIL/SIL/VIL test environments, simulation benches, or lab-based embedded test setups.

  • Experience developing test automation using Python or similar scripting languages; familiarity with frameworks such as Robot Framework, or tools like CAPL and Vehicle Spy.

  • Exposure to embedded Linux or QNX-based systems, and/or real-time operating systems (RTOS); familiarity with ROS in robotics or autonomy projects is a plus.

  • Experience with network and vehicle debugging tools such as Wireshark, CANoe/CANalyzer, INCA, or similar instrumentation platforms.

  • Basic understanding of automotive communication protocols and diagnostics, such as CAN, Ethernet, SOME/IP, DDS, and UDS/ISO 14229.

  • Familiarity with functional safety and safety-of-the-intended-functionality (SOTIF) concepts or standards (e.g., ISO 26262, SOTIF), gained through coursework or projects.

  • Internship, research, or project experience in automotive, robotics, autonomy, or real-time systems

Additional Requirements
  • May require a valid driver's license and the ability to operate test vehicles as part of certain validation activities.

  • Occasional travel betweenMilford Proving Ground and GM Global Technical Center - Warren and/or other GM sites may be required for bench, lab, or vehicle testing.

  • Ability to work in lab, bench, and vehicle environments, including time on or around test vehicles and HIL/VIL benches.

Bonus Potential: An incentive pay program offers payouts based on company performance, job level, and individual performance.
Benefits: GM offers a variety of health and wellbeing benefit programs. Benefit options include medical, dental, vision, Health Savings Account, Flexible Spending Accounts, retirement savings plan, sickness and accident benefits, life insurance, paid vacation & holidays, tuition assistance programs, employee assistance program, GM vehicle discounts and more.
*This job may be eligible for relocation benefits
*This role is categorized as hybrid. This means the selected candidate is expected to report to a specific location at least 3 times a week (or other frequency dictated by their manager)
About GM
Our vision is a world with Zero Crashes, Zero Emissions and Zero Congestion and we embrace the responsibility to lead the change that will make our world better, safer and more equitable for all.
Why Join Us
We believe we all must make a choice every day - individually and collectively - to drive meaningful change through our words, our deeds and our culture. Every day, we want every employee to feel they belong to one General Motors team.
Benefits Overview
From day one, we're looking out for your well-being-at work and at home-so you can focus on realizing your ambitions. Learn how GM supports a rewarding career that rewards you personally by visiting Total Rewards resources.
Non-Discrimination and Equal Employment Opportunities (U.S.)
General Motors is committed to being a workplace that is not only free of unlawful discrimination, but one that genuinely fosters inclusion and belonging. We strongly believe that providing an inclusive workplace creates an environment in which our employees can thrive and develop better products for our customers.
All employment decisions are made on a non-discriminatory basis without regard to sex, race, color, national origin, citizenship status, religion, age, disability, pregnancy or maternity status, sexual orientation, gender identity, status as a veteran or protected veteran, or any other similarly protected status in accordance with federal, state and local laws.
We encourage interested candidates to review the key responsibilities and qualifications for each role and apply for any positions that match their skills and capabilities. Applicants in the recruitment process may be required, where applicable, to successfully complete a role-related assessment(s) and/or a pre-employment screening prior to beginning employment. To learn more, visit How we Hire.
Accommodations
General Motors offers opportunities to all job seekers including individuals with disabilities. If you need a reasonable accommodation to assist with your job search or application for employment, emailus or call us at 1-. In your email, please include a description of the specific accommodation you are requesting as well as the job title and requisition number of the position for which you are applying.

Working at General Motors

What General Motors employees say

Pay

Benefits

Hours and flexibility

Workplace

Get the full story on Breakroom

General Motors logo

About General Motors

Sourced by ZipRecruiter

General Motors is a company with global scale and capabilities, headquartered in Detroit, Michigan, with employees around the world. The company employs over 165,000 people, serves six continents, operates across 22 time zones, and has a diverse workforce speaking 75 languages1. GM’s vision is to drive the world forward by pioneering innovations that move and connect people to what matters. The company is working towards an all-electric future with its new Ultium Platform and is pushing transportation options beyond our wildest imaginations with autonomous vehicles. GM is also committed to becoming the most inclusive company in the world.

Industry

Transportation equipment manufacturing

Company size

10,000+ Employees

Headquarters location

Detroit, MI, US

Year founded

1908

View All General Motors Jobs

Apply