2

Remote Formal Verification Engineer Jobs in Wisconsin

Structural Engineer

Janesville, WI ยท On-site +1

$100K - $149K/yr

Hybrid or remote work arrangement will be considered. While our headquarters is located in ... Troubleshoot designs, resolve field and fabrication issues, and prepare formal resolutions.

Energy Engineer

Madison, WI ยท On-site +1

This position may be remote, with a preferred location in Illinois, Iowa, Massachusetts, New Jersey ... Conduct measurement and verification activities to establish facility operating conditions, confirm ...

New

$109K - $144K/yr

REMOTE OR HYBRID IS POSSIBLE FOR THE RIGHT CANDIDATE. Open for candidates inCanada as well as the ... Generate and maintain verification matrices and detailed test requirements. * Develop and maintain ...

Remote bevorzugt, gelegentliche Vor-Ort-Termine nach Absprache 400 - 450 a day Aufgaben Aufbau und ... verification signals in application materials based on available information. These tools assist ...

REMOTE OR HYBRID IS POSSIBLE FOR THE RIGHT CANDIDATE. Open for candidates inCanada as well as the ... Generate and maintain verification matrices and detailed test requirements. * Develop and maintain ...

REMOTE OR HYBRID IS POSSIBLE FOR THE RIGHT CANDIDATE. Open for candidates in Canada as well as the ... verification matrix and design descriptions * Support various program reviews: EQSR, SRR, PDR and ...

REMOTE OR HYBRID IS POSSIBLE FOR THE RIGHT CANDIDATE. Open for candidates in Canada as well as the ... of compliance, verification matrix and design descriptions * Prepare interface control ...

Remote bevorzugt, gelegentliche Vor-Ort-Termine nach Absprache 400 - 450 a day Aufgaben Aufbau, ... verification signals in application materials based on available information. These tools assist ...

REMOTE OR HYBRID IS POSSIBLE FOR THE RIGHT CANDIDATE. Role: As part of the System Engineering ... Verification & Validation Matrices for payload and platform FDIR requirements. * Support the ...

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

$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

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

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

Structural Engineer

SHINE Technologies LLC

Janesville, WI โ€ข On-site, Remote

$100K - $149K/yr

Other

Posted 8 days ago


Job description

Description

SHINE Technologies is seeking a Structural Engineer to support new construction, process design, and operations/maintenance at our Janesville, WI location. As a member of a small team, the Structural Engineer supports an interdisciplinary team of professionals working on the cutting edge of commercial nuclear and radiochemistry to deliver major innovations in medicine, energy, and beyond. The Structural Engineer resolves complex challenges working directly with other project groups both in the office and in the field (Janesville).ย 

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 $100,000 - $149,500 per year plus a comprehensive compensation package. Our salary ranges are determined by role, level, and location.


Duties and Responsibilities:

Working with interdisciplinary project teams, the Structural Engineer ensures structures meet project requirements by providing technical assistance, direction, and support. Specific tasks include:

  • Coordinate with other project groups and vendors to communicate civil/structural impacts and to ensure civil/structural requirements are understood and appropriately implemented.
  • Troubleshoot designs, resolve field and fabrication issues, and prepare formal resolutions.
  • Design structural steel, connections, and anchorage for framing, foundations, platforms, commodity supports and other plant items.
  • Analyze structures for static and dynamic loads, including seismic, wind, tornado, and impact loading as applicable.
  • Perform Owner Acceptance Reviews for vendor deliverables (analyses, design drawings, shop drawings, etc.) to ensure project requirements are met.
  • Plan, coordinate, or prepare design specifications and evaluate vendors for Civil/Structural design and construction.


Requirements

Basic Qualifications

  • ABET-accredited Bachelor of Science Degree in Structural, Civil, or Architectural Engineering
  • At least 5 years' experience in Civil / Structural engineering or 3 years with a Master's degree
  • Experience with development and maintenance of design deliverables
  • Experience with steel, concrete, and anchorage design
  • Familiarity with seismic design
  • Working knowledge of civil and structural design codes and requirements e.g., ACI 318, AISC 360.

Preferred Qualifications

  • Experience with structural analysis software (GT STRUDL, SAP2000, STAAD, or similar)
  • Experience with design resolution of field issues
  • Previous nuclear plant design and/or modification experience
  • Familiarity with requirements of a strong nuclear quality assurance program
  • Working knowledge of civil and structural design codes for nuclear safety-related structures, e.g., ACI 349, ANSI/AISC N690
  • Professional Engineer registration in State of Wisconsin

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