Verification Engineer

Segula Technologies

Verification Engineer

Auburn Hills, MI
Full Time
Paid
  • Responsibilities

    Job Description

    Precision is our baseline. As a Junior Verification Engineer, your role is to ensure that our software doesn't just "work," but that it strictly adheres to every line of its functional specifications. You will serve as a Compliance Analyst, using both static and dynamic analysis to prove the integrity of the implementation before it ever reaches the final stage.

    Key Responsibilities

    • Compliance Analysis: Rigorously verify that implemented software features align 1:1 with defined functional specifications.

    • Static Analysis: Utilize automated tools to inspect code without executing it, identifying structural weaknesses, security vulnerabilities, or non-compliance with industry standards (e.g., MISRA, CERT).

    • Dynamic Analysis: Execute software in real-time environments to monitor performance, memory usage, and behavioral responses against expected outputs.

    • Defect Documentation: Provide clear, data-driven reports on deviations from the spec, helping the development team bridge the gap between "code" and "compliance."

    • Traceability Maintenance: Assist in maintaining the verification matrix to ensure every requirement is backed by evidence of successful testing.

    Who You Are

    • Methodical: You enjoy the "detective work" of comparing code behavior against documentation.

    • Objective: You rely on data and analysis tools rather than "gut feelings" to determine if a feature is ready.

    • Continuous Learner: You are eager to master professional-grade static and dynamic analysis toolsets.

    • Standards-Driven: You appreciate the importance of coding standards and strict functional boundaries.

  • Qualifications

    Qualifications

    • Experience: 0–2 years in software verification, QA engineering, or embedded systems.

    • Education: Bachelor’s degree in Computer Science, Software Engineering, or a related technical field.

    • Technical Skills: * Basic proficiency in [Insert Languages, e.g., C/C++, Python, or Java].

    * Understanding of the Software Development Life Cycle (SDLC).
    
    * Exposure to static analysis tools (e.g., SonarQube, Coverity, Polyspace) or dynamic testing frameworks is a plus.
    
    • Communication: Strong technical writing skills to document compliance results clearly.

    Additional Information

    All your information will be kept confidential according to EEO guidelines.

  • Industry
    Transportation / Trucking / Railroad