Verification Engineer

Segula Technologies • Auburn Hills, MI

4d

About The Position

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.

Requirements

• 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).
• Communication: Strong technical writing skills to document compliance results clearly.

Nice To Haves

• Exposure to static analysis tools (e.g., SonarQube, Coverity, Polyspace) or dynamic testing frameworks is a plus.

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.

What This Job Offers

• Job Type: Full-time
• Career Level: Entry Level
• Number of Employees: 5,001-10,000 employees