2

Remote Formal Verification Engineer Jobs in Michigan

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.

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.

... give formal presentations * Proven team leadership ability * Basic computer software programming ... We embrace a remote-first culture through our Flexible Workplace. Most employees hold Home-Flex ...

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 ...

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 ...

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 ...

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 ...

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 ...

next page

Showing results 1-20

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:
Infographic showing various Remote Formal Verification Engineer job openings in Michigan as of July 2026, with employment types broken down into 93% Full Time, 4% Part Time, and 3% Contract. Highlights an 87% Physical, 4% Hybrid, and 9% Remote job distribution.

Lead Electrical Engineer IV

CDI Engineering Services

Midland, MI โ€ข On-site, Remote

$128K - $133K/yr

Other

Posted 10 days ago


Job description

Overview

"ENGINEERING A BETTER TOMORROW". Our quality engineering, sustainable solutions and safety record inspire everything we do. Our diverse and inclusive workforce allows for all employees to feel valued and safe to give their opinions and improve our company.

Tata Consulting Engineers USA, LLC, (TCE), is a multi-disciplinary engineering organization offering a full range of integrated engineering design, project support, procurement and construction management services to the energy and chemicals industries.

Position Summary

Tata Consulting Engineers (TCE USA) is seeking a Lead Electrical Engineer IV with 8+ years of industrial experience to work in our Midland, MI Office. Expected to be in the office Monday through Wednesday and may work remotely the rest of the week.

Responsibilities

Lead projects from front end loading to detail design and construction, including procurement, cost, schedule and team management.

Specify Electrical and Instrumentation Equipment (switchgear, motor control centers, VFD's, lighting, valves, flow, temperature and pressure instruments, etc.).

Perform Electrical Calculations (load studies, voltage drop, motor starting analysis, conduit/cable tray sizing, etc.).

Review design documents, prepare estimates, and develop Bid-Ready Construction packages.

Understand and apply the National Electrical Code (NFPA 70). Familiarity with NFPA 70E (Standard for Electrical Safety in the Workplace).

Able to work efficiently and effectively on a remote team and workshare with offices in the US and India.

Interaction from the office and on site with client representatives to successfully execute capital and expense projects. This will involve site visits based on the project needs.ย 

Work with project controls to track projects in progress and anticipate/manage deviations and/or additions to the original scope.

Work with other disciplines (civil, mechanical, process) to ensure proper design of project.

Qualifications

Ability to Lead Projects with local and/or remote team members. Able to interface with project manager and client representatives.ย  Required to lead electrical design team, electrical engineers and designers, and coordinate with all discipline leads on overall project goals.ย  Responsible for estimating engineering effort, defining scope and recognizing scope changes. Staying within budgeted hours and cost for project deliverables.

Industrial electrical, controls and instrumentation design / engineering experience preferred.

Education Requirements

Bachelor of Science in Electrical Engineering required.

Professional Engineering License preferred. ย Ability and goal to obtain PE license if not already owned.

EEO Statement

Tata Consulting Engineers USA, LLC ("TCE") is an equal opportunity and affirmative action employer committed to promoting diversity, equity, and inclusion in our workplace. We do not discriminate on the basis of race/ethnicity, national origin, religion, age, color, sex, sexual orientation, gender identity, disability, veteran's status, or any other characteristic protected by local, state, or federal laws, rules, or regulations.

In compliance with federal law, all candidates hired will be required to verify their identity and eligibility to work in the United States and to complete the required employment eligibility verification form after acceptance of a formal TCE offer letter through our onboarding system.

Fraud Alert

Please be aware that there have been instances of fraudulent job offers being made in the name of TCE by unauthorized individuals or organizations. We want to make it clear that TCE will never ask for any type of payment information during our interview process. Please be advised during our company transition, all email communications from TCE will come from our business email addresses, which end in '@tataconsultingengineers.com'. If you receive any suspicious job-related emails from any other domain, please do not respond to them and disregard any requests for personal or financial information. If you have any concerns about the legitimacy of a job offer or communication, please contact us through our website at www.tataconsultingengineers.com

Employment Type: OTHER