Verification Engineer

Segula Technologies • Auburn Hills, MI

3d

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).
• 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.
• 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.

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