Senior Software Verification Engineer Vacancy Reference: CLA-285 Position: Full-time Location: Bristol, Wiltshire, UK Salary Range: £50,000- £60,000 At Callen-Lenz, we are expanding the limits of what is possible. We specialise in crewed and uncrewed aircraft operations and technology, and having recently received investment into the business we are going through a period of rapid growth and development and are looking for key roles to assist with these changes. Callen-Lenz offers innovative and customer focused UAS solutions through our 4 key business strands: technical services, products, platforms and operational services. We are looking for individuals to help drive forward our expansion, placing you at the forefront of UAS development in the UK. Our Values Teamwork Commitment Initiative Creativity Agility Integrity Enjoyment Why Work for Us Based at our Bristol office in the heart of the city and a 10 minute walk from Bristol Temple Meads train station you will join our rapidly growing, friendly, and multi-disciplined team, working on a range of diverse and interesting projects, leading the way in this exciting field and witnessing the full lifecycle of our products. The Callen-Lenz team are passionate about what we do, and we are searching for individuals to grow with us as we expand into the aerospace industry. Our benefits include: 25 days annual leave per year (plus bank holidays) Buy/Sell holiday policy up to 5 days either way Company contributed Share Incentive Plan. Green Car Scheme via Tusker Pension Scheme via Royal London Life assurance scheme (6x basic salary) Income protection policy (75% of basic salary) Private Health Insurance via Vitality Private Dental insurance via Bupa Enhanced Maternity and paternity 1 Professional membership reimbursed per year 1 paid volunteering day per year Access to an independent financial advisor year round Training & development opportunities About the Role The Bristol team at Callen-Lenz provide high integrity flight and mission solutions for Unmanned Aerial Systems and Urban Air Mobility ecosystems. We are looking for an experienced software verification engineer to compliment the team of capable test engineers. Within the role you will contribute to the definition of the Software Verification Plan, test environment including test rigs, test cases and verification procedures as required to verify embedded software for avionics systems, e.g. Auto Pilot, Flight Control and Mission Systems, in compliance with DO-178C and DO-331. Additionally, you will contribute to the set-up of the Hardware-in-the-loop test environment, using state of the art equipment such as Speedgoat. Role Responsibilities Propose verification strategy, and contribute to the definition of the Software Verification Plan and test environment Contribute to the set-up of the Hardware-in-the-loop test environment utilising Speedgoat, and other test equipment as required Liaising with tool vendors and supporting the tool integration activity Perform Test Coverage and Structural Coverage analysis Perform Model Coverage analysis for design models, and Model Simulation for verification of model. Creation and execution of test procedures and generation of test reports as per the configuration management plan. Capturing defects and anomalies in problem reports and proposing solutions. Writing technical documentation Participate in peer reviews Work within a cross-functional team to achieve project goals Perform other related duties as required About You Skills: Essential Experience of working to RTCA DO-178 and DO-331 Working knowledge of embedded C programming Experience of model-based environments such as Simulink Experience of using a scripting language (python or similar) Demonstrable experience in verification of safety critical software. Experience of hardware level debugging Understanding of real-time software systems Experienced in configuration management and bug-tracking tools Desirable Experience of using Speedgoat within a test environment Familiarity of avionics communications protocols Experience using verification and analysis tools such as Rapita, LDRA or similar Experience writing test cases in Simulink Test Personal Attributes Must be a British Citizen or have an existing right to work in the UK Ability to hold Security Clearance – 5 years residence in the UK Ability to commit to occasional national and international travel Excellent communicator Excellent problem solving ability Ability to work well in a team Enthusiasm for their work and self-motivated Callen-Lenz is an equal opportunities employer, committed to building an inclusive working environment. We welcome applications from all suitably qualified persons regardless of their race, sex, disability, religion/belief, sexual orientation, or age. It is essential that the successful candidate must, by the start of their employment have permission to work in the UK. Proof of identity and eligibility to work in the UK will be required prior to commencement of employment.