ZipRecruiter

Log In

2

Remote Formal Verification Engineer Jobs in Green Bay, WI

1 point system

Senior OTM Developer

Green Bay, WI · Remote

Job Title Senior OTM Developer Location Remote Description : OTM (Oracle Transportation Management ... Suite C * Fort Mill, SC * 29708 An E-Verified company | An Equal Opportunity Employer DISCLAIMER:

Moderna

Intern, CMC Development (Summer 2027)

Green Bay, WI · On-site +1

$20 - $60/hr

The CMC Development organization at Moderna is looking for top talent in science and engineering to ... Participate in planning, design, execution, analysis of experiments and formal risk assessments to ...

Atwell, LLC

Gas Distribution Designer

Appleton, WI · On-site +1

Who We Are Atwell, LLC is a bold leader in the consulting, engineering, and construction services ... Perform pre-design and pre-construction site visits to verify existing conditions, gather field ...

Atwell, LLC

Gas Distribution Designer

Green Bay, WI · On-site +1

Who We Are Atwell, LLC is a bold leader in the consulting, engineering, and construction services ... Perform pre-design and pre-construction site visits to verify existing conditions, gather field ...

micro1 AI

Director of Biostatistics

Green Bay, WI · Remote

$60 - $65/hr

Remote micro1 is engaging Biostatisticians to contribute their clinical statistics expertise to a ... verification. * Provide structured written rationales distinguishing true statistical errors from ...

All JobsFormal Verification Engineer JobsRemote Formal Verification Engineer JobsRemote Formal Verification Engineer Jobs in Green Bay, WI

Remote Formal Verification Engineer information

See Green Bay, WI salary details

$77.8K

$138.7K

$197.9K

How much do remote formal verification engineer jobs pay per year?

As of Sep 6, 2026, the average yearly pay for remote formal verification engineer in Green Bay, WI is $138,720.00, according to ZipRecruiter salary data. Most workers in this role earn between $132,300.00 and $132,300.00 per year, depending on experience, location, and employer.

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 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 job categories do people searching Remote Formal Verification Engineer jobs in Green Bay, WI look for?

The top searched job categories for Remote Formal Verification Engineer jobs in Green Bay, WI are:

What cities near Green Bay, WI are hiring for Remote Formal Verification Engineer jobs?

Cities near Green Bay, WI with the most Remote Formal Verification Engineer job openings:

Remote Formal Verification Engineer jobs near you

Senior OTM Developer

1 point system

Green Bay, WI • Remote

Contractor

Re-posted 4 days ago

Job description

Job Title

 Senior OTM Developer

Location

 Remote

Description:

OTM (Oracle Transportation Management), SQL, XML/XSLT for data transformations/mapping, Java, and sometimes PL/SQL for customizations, OTM modules like Order Management, Shiment Management, Fleet Management, OTM agents like workflow logic and event triggers, REST/SOAP API's, SOA Suite for managing integration flows 

Job Description*

This Senior OTM Consultant/Developer will implement, configure, and optimize Oracle's cloud and on-premises logistics software to improve transportation planning, execution, and freight management. They will bridge the gap between business needs and technical solutions, handling system designs, integrations (XML, REST/SOAP, EDI), and support.

Required Technologies/Must haves:

  • 8-10+ years of experience working on OTM
  • Great communication skills
  • OTM (Oracle Transportation Management)
  • SQL, XML/XSLT for data transformations/mapping
  • Java, and sometimes PL/SQL for customizations
  • OTM modules like Order Management, Shipment Management, Fleet Management, OTM agents like workflow logic and event triggers, REST/SOAP API's, SOA Suite for managing integration flows

Thanks and Regards

Monu Singh Chauhan | 1Point System LLC
Technical Recruiter  
monu.singh@1pointsys.com 

LinkedIn: linkedin.com/in/monu-singh-chauhan-610857204
115 Stone Village Drive • Suite C • Fort Mill, SC • 29708

         An E-Verified company | An Equal Opportunity Employer 

DISCLAIMER: If you have received this email in error or prefer not to receive such emails in the future, please notify by replying with a ''REMOVE'' in the subject line and your email address shall be removed immediately from the mailer list.