职位描述：
作为一名软件验证工程师，您需要与Autoflight各团队成员一起编写和执行测试用例和过程，以验证在V2000EM飞机上运行的软件完全正确地实现了系统、指定的高层次和低层次需求。您的工作是至关重要的，以确保Autoflight和选定的第三方的开发达到了质量和安全水平，以获得CAAC的认证。
在此范围内，您的职责如下：
61 根据DO-178C目标，对嵌入式软件系统进行验证和确认，包括低层次、高层次和系统测试。
61 设计和实施测试计划、程序和脚本，以验证软件的功能、安全性，并符合法规标准。
61 分析和审查软件需求、设计文档和源代码，以确保完整性和正确性。
61 执行基于需求的测试，并进行代码覆盖率分析，以确保符合适当的软件级别（可预见的B、C或D）。
61 根据DO-178C和Autoflight的计划和标准，制作验证报告、测试摘要、可追溯性矩阵和其他必要的文件。
61 与软件开发团队协作，识别、跟踪和解决在验证过程中发现的缺陷。
61 使用用于软件开发，验证和自动化的工具，确保在适用的情况下根据DO-330进行适当的鉴定。
61 支持监管机构（CAAC）的内部和外部审核、评审和认证活动。
61 参与变更控制委员会的工作。
61 持续评估和改进验证过程，以确保高质量、高效和合规的软件验证实践。
Autoflight是一家在中国和欧洲（德国）设有办公区的国际公司。虽然该职位位于中国上海，但很大一部分互动将与讲英语的第三方进行。
职位要求：
61计算机科学、电子学或系统工程的学位。曾参与过汽车、医疗或（理想情况下）航空领域安全关键设备嵌入式软件的开发或验证。
61在软件开发、验证和测试方面有3-5年的经验，***在航空航天行业有与DO-178C、DO-331和DO-330相关的工作经验。
61熟悉各种编程和脚本语言 (C, C++, python, bash…)。
61熟悉软件验证中使用的自动化测试工具和环境(e.g., LDRA, VectorCAST, Rapita…).
61对认证标准和流程有深刻的理解。
61能够在高度监管的环境中严格遵守安全和验证流程。
61能熟练地进行英语阅读、写作、理解和交流。