2

Remote Formal Verification Engineer Jobs in Colorado

Flight Software Engineer

Littleton, CO ยท On-site +1

$120K - $128K/yr

This position will be *on-site or remote*. Responsibilities: * Work with GNCP (Guidance, Navigation ... Responsibile for flight requirements verification through final run for record * Review and ...

This position will be *on-site or remote*. Responsibilities: * Work with GNCP (Guidance, Navigation ... Responsibile for flight requirements verification through final run for record * Review and ...

Data Engineer, Consultant

Denver, CO ยท On-site +1

$140K - $160K/yr

... without formal people management responsibility. NOTE: *Must be eligible to work on W2 without ... Hybrid or Remote, however must reside in the following states: WA, OH, CA, AZ, CO, CT, FL, GA, MD ...

Showing results 41-60

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 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 are the most commonly searched types of Formal Verification Engineer jobs in Colorado? The most popular types of Formal Verification Engineer jobs in Colorado are:
What are popular job titles related to Remote Formal Verification Engineer jobs in Colorado? For Remote Formal Verification Engineer jobs in Colorado, the most frequently searched job titles are:
What job categories do people searching Remote Formal Verification Engineer jobs in Colorado look for? The top searched job categories for Remote Formal Verification Engineer jobs in Colorado are:
What cities in Colorado are hiring for Remote Formal Verification Engineer jobs? Cities in Colorado with the most Remote Formal Verification Engineer job openings:

Flight Software Engineer

Isys Technologies

Littleton, CO โ€ข On-site, Remote

$120K - $128K/yr

Full-time

Posted 10 days ago


Job description

US Citizen

I2X Technologies is a reputable technology services company to the Federal Government.  Whether the focus is on space exploration, national security, cyber security, or cutting-edge engineering applications, I2X is ready to offer you the chance to make a real-world impact in your field and for your country.  We provide long-term growth and development. Headquartered in Colorado, I2X is engaged in programs across the country and in more than 20 states.  Our programs support multiple Federal agencies, the Department of Defense and often focused on the space initiatives of our government customers.

I2X Technologies is seeking a Flight Software Engineer to support ongoing activities for a customer in Littleton, CO. This position will be *on-site or remote*. 

Responsibilities:

  • Work with GNCP (Guidance, Navigation, Controls, and Propulsion) Flight Software Team
  • Responsibile for flight requirements verification through final run for record
  • Review and understand requirements and their parts success criteria
  • Create test cases/test scripts in Python to fully verify success criteria
  • Follow a process of developing Python based testing through a final qualification review
  • Review existing GNCP verification tests in regression; identify any failings, understand the issues, and implement corrections
  • Run both software and hardware test beds
  • Collaborate effectivly with team members, outside mode teams, developers, and principal engineers
  • Deliverables include:
    • Qualified requirement success criteria through a final qualification process

    • Python test script, and utilities

    • Doors documentation

    • Multiple result files

    • Checklist


Basic Qualifications :

  • Bachelorโ€™s degree in computer science, aerospace, or related equivalent engineering degree
  • 5+ years of software verification experience
  • Previous software verification experience
  • Leadership ability
  • Python High Level (SWTE specifically)
  • Linux (knowledgeable)
  • Matlab (knowledgeable)
  • Detail orientated
  • Self-motivated

Desired skills :

  • Previous Orion and/or Orion software verification experience
  • Previous Flight Software or Simulation Software Experience
  • GNCP (Guidance, Navigation, Controls, and Propulsion) knowledge
  • C++ (knowledgeable)
  • Doors

Essential Requirements:

US Citizenship is required.

In compliance with Coloradoโ€™s Equal Pay for Equal Work Act, the annual base salary range for this position is listed . Please note that the salary information is a general guideline only. I2X Technologies considers factors such as (but not limited to) scope and responsibilities of the position, candidateโ€™s work experience, education/training, key skills, internal peer equity, as well as, market and business considerations when extending an offer.

Physical Demands:

The physical demands described here are representative of those that must be met by an employee to successfully perform the essential functions of this job with or without reasonable accommodation.

While performing the duties of this job, the employee will regularly sit, walk, stand and climb stairs and steps. May require walking long distance from parking to work station. Occasionally, movement that requires twisting at the neck and/or trunk more than the average person, squatting/ stooping/kneeling, reaching above the head, and forward motion will be required. The employee will continuously be required to repeat the same hand, arm, or finger motion many times. Manual and finger dexterity are essential to this position. Specific vision abilities required by this job include close, distance, depth perception and telling differences among colors. The employee must be able to communicate through speech with clients and public. Hearing requirements include conversation in both quiet and noisy environments. Lifting may require floor to waist, waist to shoulder, or shoulder to overhead movement of up to 20 pounds. This position demands tolerance for various levels of mental stress.

I2X Technologies is an Engineering and Information Technology Company focused on providing Services to the Federal and State Government. I2X offers a competitive compensation program and comprehensive benefits package to our employees.