2

Remote Formal Verification Engineer Jobs in Wisconsin

$111K - $152K/yr

REMOTE OR HYBRID IS POSSIBLE FOR THE RIGHT CANDIDATE. Open for candidates in Canada as well as the ... Verification & Validation Matrices of the operations procedures for on-orbit commissioning, routine ...

$75K - $85K/yr

Remote positions and candidates can be located anywhere in the US. There will be in excess of 75 ... Performs site verification testing prior to cutting a site into a production environment.

$171K - $210K/yr

Formal certification is not required, but would be a great thing to have * Data Engineering, Data ... Employee Resource Groups EEO/VEVRAA #LI-MH2 #LI-Remote

$111K - $152K/yr

REMOTE OR HYBRID IS POSSIBLE FOR THE RIGHT CANDIDATE. Open for candidates in Canada as well as the ... Verification & Validation Matrices of the operations procedures for on-orbit commissioning, routine ...

Hybrid - ca. 50 % vor Ort in Wien, ca. 50 % remote Projektsprache: Deutsch und Englisch Aufgaben: ... verification signals in application materials based on available information. These tools assist ...

Influences and aligns partners across product, business, design, engineering, analytics, and ... Strong leadership of multi-functional teams without formal authority. * Skilled facilitator ...

Influences and aligns partners across product, business, design, engineering, analytics, and ... Strong leadership of multi-functional teams without formal authority. * Skilled facilitator ...

Influences and aligns partners across product, business, design, engineering, analytics, and ... Strong leadership of multi-functional teams without formal authority. * Skilled facilitator ...

Influences and aligns partners across product, business, design, engineering, analytics, and ... Strong leadership of multi-functional teams without formal authority. * Skilled facilitator ...

REMOTE OR HYBRID IS POSSIBLE FOR THE RIGHT CANDIDATE. Open for candidates in Canada as well as the ... As part of the System Engineering Department, the Satellite and Payload System Test Authority will ...

... Flexible Remote-Arbeitsmoglichkeit mit klaren Abstimmungsprozessen Gestaltungsspielraum bei ... verification signals in application materials based on available information. These tools assist ...

Hybrid - ca. 50 % vor Ort in Wien, ca. 50 % remote Projektsprache: Deutsch und Englisch Aufgaben: ... verification signals in application materials based on available information. These tools assist ...

Staff Archaeologist - Remote

Milwaukee, WI · On-site +1

$72K - $94K/yr

Merjent is a medium-sized consulting and engineering company dedicated to creating an environment ... E-Verify Merjent, Inc. participates with the United States Customs and Immigration Services (USCIS ...

$111K - $152K/yr

REMOTE OR HYBRID IS POSSIBLE FOR THE RIGHT CANDIDATE. Open for candidates in Canada as well as the ... Verification & Validation Matrices for platform and payload FDIR requirements. * Support the ...

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 job categories do people searching Remote Formal Verification Engineer jobs in Wisconsin look for? The top searched job categories for Remote Formal Verification Engineer jobs in Wisconsin are:
What cities in Wisconsin are hiring for Remote Formal Verification Engineer jobs? Cities in Wisconsin with the most Remote Formal Verification Engineer job openings:
Senior Flight-Operations Satellite-Systems-Engineer for Fastwater Staffing

Senior Flight-Operations Satellite-Systems-Engineer for Fastwater Staffing

Hikinex

On-site, Remote

$111K - $152K/yr

Contractor

Re-posted 24 days ago


Job description

ON-SITE IN MONTREAL IS PREFERRED; REMOTE OR HYBRID IS POSSIBLE FOR THE RIGHT CANDIDATE.
Open for candidates in Canada as well as the US
Role:
As part of the System Engineering Department, the Flight Operations System Engineer will participate, and coordinate the work needed for the analysis, planning and definition of the constellation operations ConOps, and the preparations, testing and execution of the operations procedures.
Tasks:
The Satellite Flight-Operations engineer will perform and participate in the following tasks and activities, depending on the background and experience of the candidate.
  • Trade-off studies to design, develop and simulate the overall Satellite LEOP plan.
  • Development of Spacecraft In-Orbit Operations Procedures and oversight of their execution and associated trainings.
  • Development of Satellite Operation Manuals, test procedures and oversight of their execution and associated trainings.
  • Verification & Validation Matrices of the operations procedures for on-orbit commissioning, routine, and contingency operations of the mission.
  • Support In-Orbit Test (IOT), anomaly resolution + FDIR.
  • Support the Satellite Simulator Operation and script development.

Must haves
  • • Bachelor's degree in engineering in a relevant field
  • • At least 10 years of relevant practical experience
  • • Previous experience with LEO/MEO satellite systems.
  • • Experience with automated satellite operations, especially design and IOT.
  • Systems Engineering experience in concepts of space and ground segment design, specification and integration, knowledge of Flight Software role in operations, Satellite Database Operations concept and telemetry structure concepts.
  • Experience creating or using models and/or simulation software.
  • • Knowledge of Python or other scripting languages
  • Knowledge of Matlab
  • Knowledge of AG1's Systems Tool Kit (STK)

Complementary skills/knowledge
  • Previous experience in Constellation Operations
  • Development and testing of new automated operations
  • Knowledge of MS Excel, for the purposes of engineering analyses
  • Knowledge of requirements Management tools such as DOORS/Windchill/Jama
  • Demonstrated capability to efficiently work with little to no supervision
  • Strong written and verbal communications skills in English, knowledge of French will be considered favorably

Hikinex logo

About Hikinex

Sourced by ZipRecruiter

Hikinex is a multi-channel integrated service provider designed to help Companies scale fast and drive more profit. We leverage diverse resources to provide Superior services at a fraction of the cost.

Industry

Strategic planning consulting services

Company size

51 - 200 Employees

Headquarters location

San Francisco, CA, US

Year founded

2016

Social media