Model Based Software Verification Engineer

As a Model Based Software Verification Engineer at Skyryse, you'll be tasked with verifying and validating Fly-By-Wire software in line with DO-178 standards. Your main responsibilities will include writing and reviewing requirement-based test cases, performing unit tests, and debugging software. Engaging closely with design engineers and the Designated Engineering Representative (DER) for audit completions will be imperative, alongside the creation of software solutions using tools like MATLAB and Simulink.

To apply for the Model Based Software Verification Engineer role at Skyryse, you should have a Bachelor of Science degree in Mechanical, Electrical, or Aerospace Engineering. A minimum of 5 years of professional experience, particularly in control system algorithms and Mathworks tools, is required. Preferred qualifications include a Master’s degree in a relevant field, and experience with RTOS, C/C++, and software certification processes.

In the Model Based Software Verification Engineer role at Skyryse, you will work extensively with MATLAB and Simulink for developing software verification solutions. Utilizing Mathworks tools for test case coverage analysis and MC/DC tests is also a part of the job, providing you with ample opportunity to engage with industry-leading technologies.

Skyryse provides a comprehensive benefits package for Model Based Software Verification Engineers, including competitive salaries ranging from $100K to $200K and a valuable stock option plan. Additionally, full-time employees enjoy heavily subsidized medical, dental, and vision plans, as well as 20 days of paid time off per year and 5 sick days, allowing for a healthy work-life balance.

Skyryse fosters a dynamic and inclusive work environment, encouraging collaboration among its employees. As a Model Based Software Verification Engineer, you’ll be part of a team of motivated and fun colleagues, all working towards the common goal of enhancing aviation safety and accessibility. The company values diversity and welcomes contributions from all backgrounds, making it a vibrant place to help shape the future of aviation.

In approaching this question, share specific examples of how you've written or reviewed requirement-based test cases in previous roles. Discuss the methodologies you employed to ensure compliance with industry standards like DO-331. Highlight any tools you used, such as MATLAB or Simulink, and showcase your understanding of how requirement-based testing contributes to software verification.

When answering this question, focus on your systematic approach to unit testing, including how you select test cases based on requirements. Explain debugging techniques you’ve used in the past, and consider discussing any specific tools that have facilitated your work. Emphasize a mindset oriented towards quality assurance and continuous improvement.

Your response should detail a specific challenge related to software verification. Focus on the steps you took to analyze the problem, the tools you utilized, and the ultimate solution you implemented. This will demonstrate your critical thinking abilities and problem-solving skills critical for a Model Based Software Verification Engineer.

A strong candidate will show initiative in professional development. Discuss any relevant certifications you hold or courses you’ve taken, as well as how you engage with industry publications or networks. Mention specific standards like DO-178C or DO-331, and any seminars or conferences you've attended that have contributed to your expertise.

Your answer should demonstrate a clear understanding of how MATLAB and Simulink are utilized in model-based design and software verification testing. Discuss their advantages, such as real-time simulation, code generation, and how these tools facilitate effective test case development and analysis in aviation contexts.

A good answer should highlight your communication and teamwork skills. Describe how you collaborate with engineers from various disciplines, ensuring that all perspectives are integrated into verification tasks. Share an example of a successful project where cross-functional collaboration led to enhanced outcomes.

Detail your familiarity with the software certification process, particularly any hands-on experience you’ve had interacting with standards such as DO-178. Discuss interactions with the FAA or certification bodies and how those experiences have shaped your understanding of compliance and safety in aviation software.

Discuss your analytical approach to identifying, documenting, and addressing discrepancies. Emphasize the importance of a systematic root-cause analysis to determine the underlying issues and outline your process for implementing corrective actions to ensure compliance with software requirements.

Provide a concise explanation of Fly-by-Wire systems and their advantages in aviation, such as improved safety, precision in control, and reduced pilot workload. Also, mention any relevant experience you have dealing with such systems to showcase your background and familiarity with current industry practices.

When addressing this question, define MC/DC (Modified Condition/Decision Coverage) testing and explain its significance in ensuring that the software meets its requirements effectively. Discuss your experience conducting MC/DC tests and how it enhances overall software reliability and safety in aviation.