Software Verification Designer
Kepler Communications
Key Responsibilities:
- Develop and maintain verification plans, procedures, and test cases that align with system and software requirements
- Design and execute tests at the unit, integration, and system levels, ensuring requirement coverage
- Apply static and dynamic analysis tools (SonarQube, Cppcheck, Pylint, CodeSonar) to identify and track defects
- Implement and maintain automated test frameworks using open-source tools (GTest, pyTest)
- Integrate verification activities into CI/CD pipelines and support regression testing
- Build and maintain test environments, including simulators and hardware-in-the-loop setups
- Document and report verification results with traceability to requirements.
- Collaborate with architects, developers, and QA engineers to resolve issues and close verification gaps
- Provide metrics on test coverage, defect trends, and verification progress
- Contribute to the improvement of software verification practices and tools
Required Skills & Qualifications:
- Bachelor’s degree in Computer Engineering, Electrical Engineering, Computer Science, or related field
- 5+ years of experience in software verification, testing, or related roles
- Strong knowledge of software verification practices, including unit testing, integration testing, and static analysis
- Proficiency with open-source testing frameworks (pyTest, GTest)
- Familiarity with modern operating systems and software integration
- Experience with CI/CD tools and test automation infrastructure
- Solid understanding of software quality assurance practices and processes
- Proficiency in Python and C/C++
Bonus Points:
- Experience with ESA or NASA software development and verification standards (e.g., ECSS-E-ST-40C)
- Familiarity with code quality metrics, coverage analysis, and reliability assessment
- Experience with safety-critical or mission-critical software
- Prior involvement in space, aerospace, or defense programs
