Senior Embedded Software Verification Engineer (DO-178C)

Umanist Staffing•Rockford, IL

About The Position

We are seeking a highly experienced Senior Embedded Software Verification Engineer with a strong background in aerospace and safety-critical systems. The ideal candidate will have extensive experience in building instrumentation, Structural Coverage Analysis (SCA) build creation, and coverage analysis within the aerospace domain. This role requires a deep understanding of DO-178B/C standards and their application in software verification processes, along with proficiency in embedded C/C++ and various testing methodologies.

Requirements

Around 10 years of experience in building instrumentation.
Around 10 years of experience in SCA build creation and coverage analysis.
Mandatory aerospace domain experience.
Experience with DO-178B and Embedded C/C++.
Experience in Integration testing or Verification and Validation or embedded systems.
6+ years of experience in RTRT tool usage for SCA activities.
Strong experience with Software Testing methodologies, including Black-box, White-box, and boundary value analysis.
6+ years of strong experience with DO-178B/C standards and their application in software verification processes.
Proficiency in programming languages commonly used in avionics systems (e.g., C, Ada).
Experience with software testing tools and frameworks for unit, integration (SSIT and HSIT), and system level testing.
Excellent analytical and problem-solving skills.
Strong documentation and communication skills.
Familiarity with requirements management tools (e.g., DOORS).
Experience in working within a regulated environment with a focus on safety-critical systems.
Experience with Configuration and change management activities using tools like Synergy CM/Change, Polarion/SVN.

Responsibilities

Build instrumentation for software verification.
Create and manage Structural Coverage Analysis (SCA) builds.
Perform coverage analysis for aerospace software.
Apply DO-178B/C standards in software verification processes.
Conduct integration testing, verification, and validation of embedded systems.
Utilize RTRT tool for SCA activities.
Apply software testing methodologies including Black-box, White-box, and boundary value analysis.
Perform unit, integration (SSIT and HSIT), and system level testing.
Identify root causes of defects using strong analytical and problem-solving skills.
Document and communicate test results and findings clearly.
Manage requirements using tools like DOORS.
Engage in configuration and change management activities using tools like Synergy CM/Change or Polarion/SVN.