Software Verification Engineer

Aversan Inc. (www.aversan.com) is a trusted multi-service engineering and electronics manufacturing company. Aversan delivers leading-edge and reliable safety-critical electronics and software systems to the aerospace, defence, and space industries.

We are currently seeking a qualified Software Verification Engineer to join our team. The successful candidate will be responsible for supporting the verification and validation of safety-critical software, with a strong emphasis on C-based unit class="bg-amber-100">testing, requirements verification, validation and code compliance. This role involves close collaboration with customers and cross-functional engineering teams while contributing throughout the software development lifecycle.

Location: Remote (Canada)

Job Type: Full Time

Responsibilities

• Participate in the software verification of safety-critical graphics driver software
• Review C source code for adherence to software coding standards and guidelines
• Review Low-Level Requirements (LLRs) for compliance with applicable requirements checklists (DO-178C / ISO 26262)
• Develop and review high-level and low-level test cases
• Write clear, structured test procedure documentation in English
• Convert test procedures into C-based automated tests
• Perform and support unit class="bg-amber-100">testing using tools such as RTRT, VectorCast, and Cantata
• Implement code fixes resulting from code reviews and verification findings
• Execute test procedures and document test results
• Participate in customer stand-up meetings, progress reviews, and class="bg-amber-100">technical discussions
• Support development and class="bg-amber-100">testing of Low-Level Requirements per DO-178C
• Conduct source code reviews using Software Coding Standards and requirement baselines
  
  

Basic Qualifications

• Bachelor’s degree in class="bg-amber-100">Computer Science, Software Engineering, Electrical Engineering, or a related field (or equivalent experience)
• 5+ years of experience in software verification or validation
• Strong proficiency in the C class="bg-amber-100">programming language
• Proven experience performing code reviews and software verification activities
• Hands-on experience writing and executing test procedures and test scripts
• Experience performing unit class="bg-amber-100">testing
• Familiarity with DO-178C and/or ISO 26262 standards
• Experience using requirements and defect management tools such as DOORS, RTC, and JIRA
• Proficiency with class="bg-amber-100">GIT and Microsoft Visual Studio 2013
• Solid understanding of software class="bg-amber-100">testing methodologies and profiling tools
• Ability to meet deadlines and project objectives reliably
• Experience with RTRT or VectorCast is an asset
• Knowledge of or willingness to learn OpenGL; familiarity with Vulkan is an asset
  
  

Compensation: $100,000 - $125,000 CAD (annual salary)

The base salary or rate offered to an applicant within this range is determined by considering several factors, including the individual's geographic location, skills, competencies, and unique qualifications. This ensures compensation is fair and aligned with the specific requirements and attributes of each candidate.

Vacancy Status: This posting is for an existing vacancy.

AI in Hiring: We use AI tools to assist with application management (e.g., organizing submissions and surfacing potentially relevant qualifications). AI is not used to make hiring decisions. All decisions are made by our hiring managers and recruitment team. Our use of AI is governed by class="bg-amber-100">security and privacy risk assessments aligned with our cyberclass="bg-amber-100">security framework.