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.

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

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

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

Proficiency in statistical analysis and programming languages, such as: SQL, R, Python, Radar, etc ... Proven oral and written communication skills, including the ability to give formal presentations

Proficiency in statistical analysis and programming languages, such as: SQL, R, Python, Radar, etc ... Proven oral and written communication skills, including the ability to give formal presentations

Proficiency in statistical analysis and programming languages, such as: SQL, R, Python, Radar, etc ... Proven oral and written communication skills, including the ability to give formal presentations

Proficiency in statistical analysis and programming languages, such as: SQL, R, Python, Radar, etc ... Proven oral and written communication skills, including the ability to give formal presentations

Showing results 21-40

Remote Formal Verification Engineer information

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

Mechanical Engineer

SHINE Technologies LLC

Janesville, WI โ€ข On-site, Remote

$76K - $150K/yr

Full-time

Re-posted 4 days ago


Job description

Description

SHINE Technologies is seeking a Mechanical Engineer who will focus on mechanical systems in the Auxiliary Systems engineering group. This position will encompass ownership of demineralized water, nitrogen gas handling, compressed oxygen, and nitrogen purge gas systems. Key responsibilities associated with system ownership include vendor oversight for procurement, reviewing and approving design or fabrication documents, coordination with Construction during installation, site walkdowns, and inspections.


Hybrid or remote work arrangement will be considered. While our headquarters is located in Janesville, Wisconsin, we welcome applicants from across the U.S. who can effectively collaborate in a virtual environment. Candidates may be asked to travel occasionally for team meetings or onsite engagements, depending on business needs. ย 


The base salary range for this position is $76,100 - $150,075 annually plus a comprehensive compensation package. Our salary ranges are determined by role, level, and location.


Duties and Responsibilities:

Examples of specific duties and responsibilities for the Mechanical Engineer role include, but are not limited to:

  • Interfacing with Project Controls team on scheduled tasks and provide updates on a weekly basis for reporting purposes
  • Preparing and issuing design packages, specifications, drawings, test plans, calculations, reports, and quality classification forms for systems such as:
  • Demineralized Water Systemย 
  • Nitrogen Handling Systemย 
  • Chemical Reagent System
  • Nitrogen Purge System
  • Building HVAC System
  • Radiological HVAC System
  • Stakeholder review of system design packages served by Auxiliary Systems
  • Interfacing with the Procurement team for vendor design and fabrication contracts
  • Work with equipment vendors on factory acceptance tests (FATs), site acceptance tests (SATs), and on-time/on-budget design and/or delivery of auxiliary equipment
  • Perform owner's acceptance reviews for vendor-supplied design documentationย 
  • Prepare/review test plans for factory and site acceptance testing of equipment
  • Interface with Construction team for field inquiries and issues
  • Perform walk-downs of installed equipment in the field

The Mechanical Engineer will work closely with other experienced engineers within the Engineering group to provide support and mentorship to ensure effective turnover of system ownership.ย 

Requirements

  • Bachelor's degree in Mechanical Engineering or related discipline
  • 6+ years of relevant project experience in a professional setting
  • Willingness to learn, understand, and develop new technology
  • Ability to oversee multiple projects and activities in various stages of completion
  • Ability to perform small scope project management related duties (deadline accountability, providing schedule updates, planning resource needs, etc.)
  • Excellent communication and teamwork skills

Preferred Experience

  • 10+ years of relevant project experience in a professional setting
  • Knowledge of ASME B31.3 Process Piping Code
  • Experience with fundamentals of structural design for seismic loading
  • Engineering support of an active construction site
  • Knowledge of and experience in supporting quality systems including engineering support of incoming inspection of bespoke equipment
  • Experience working within a nuclear quality system
  • Experience with AutoCAD Plant 3-D , SolidWorks, AutoPipeย 
  • Able to demonstrate proficiency in some or all of the following areas:
  • Thermal fluid system design
  • Piping design
  • Tank design
  • Filtration systems
  • HVAC systems
  • Valve specification
  • Fluid system instrumentation selection.ย 
  • Experience with fire protection including NFPA 801 is a plus

Eligibility for employment is conditioned on the applicant's ability to qualify for access to information subject to U.S. Export Controls. Additionally, applicant's eligibility may be conditioned based upon meeting the Nuclear Regulatory Commission requirements for access to Safeguards Information, which typically requires a pre-employment drug screen, fingerprinting and criminal background check.


SHINE values diversity in all its forms as a critical component of innovation, which is fundamental to our success. Every member of the SHINE community benefits from the talents and experiences of our peers, from the mutual respect we exercise, and from the responsibility we take for our actions.


SHINE Technologies is an equal opportunity employer. All qualified applicants will receive consideration for employment without regard to race, color, religion, sex, sexual orientation, gender identity, national origin, disability or veteran status.

Pay Transparency Policy

Employee Rights Under the NLRAย 

Equal Opportunity Employment

E-Verify