软件验证

洛杉矶 8天前全职 网络
面议
我们在 Skyryse 的使命是开启飞行的新纪元,确保几乎零事故,驾驶任何飞机都简单安全,天空对每个人都可及。我们的行业首创通用飞行操作系统 SkyOS,为任何飞机或直升机提供了一种飞行管理解决方案,显著降低了飞行的复杂性。我们的首款由 SkyOS 驱动的生产飞机 Skyryse One 于 2024 年亮相,具有通用航空中最简单、安全和直观的飞行控制。 软件验证与验证实习生 – 埃尔塞贡多,加州 Skyryse 的验证与验证(V&V)团队确保下一代飞机的飞行关键控制法律和嵌入式软件的完整性、性能和安全性。作为软件验证与验证实习生,您将支持飞行控制系统的分析、仿真和测试,包括在 DO-178C 和 DO-331 标准下开发的自动驾驶仪、稳定性增强和传感器融合算法。您将在高可靠性航空环境中获得基于模型的开发、实时仿真和测试自动化的实践经验。 该实习岗位位于我们的埃尔塞贡多办公室。夏季实习项目将根据您的学术日历从 5 月/6 月开始,持续 12 周。 职责: • 为嵌入式飞行软件和基于模型的飞行软件开发、设置和执行验证程序。 • 支持使用 Python、LDRA 或内部工具进行回归、覆盖和基于需求的测试自动化。 • 支持使用 MATLAB/Simulink 和模型在环/软件在环(MIL/SIL)测试框架验证控制法律模型。 • 构建实用工具以解析测试数据、自动生成报告并简化验证工作流程。 • 与软件开发、DevOps、GNC 和系统工程等跨职能团队合作,调试和验证软件功能。 • 生成和发布验证文档,如测试程序、报告和可追溯性文档。 • 通过配置管理和版本控制脚本(基于 Git 的工作流程)提高测试环境的可靠性。 • 参与开发仪表板或工具以监控测试覆盖率和缺陷跟踪。 • 参与对控制系统模型、验证计划和测试结果的同行评审。 最低资格: • 目前在大学攻读航空航天工程、计算机工程、电气工程或相关学科的学士或硕士学位。 • 在 2026 年 12 月至 2027 年 6 月之间毕业。 • 对控制系统、嵌入式软件或系统仿真有基础理解。 • 有使用 Python 或 GIT 进行分析或自动化的经验。 • 对细节有很强的关注,且对航空航天软件质量感兴趣。 优先资格: • 有测试自动化框架、数据处理脚本或 CI/CD 管道的经验。 • 理解 C/C++ 环境中的嵌入式代码。 • 有模型驱动系统工程(MBSE)或模型驱动设计(MBD)工作流程的经验。(MATLAB、Simulink) • 熟悉版本控制工具(Git、GitHub、GitLab)。 • 对航空电子、实时系统或飞机控制软件感兴趣。 • 具有较强的分析思维能力和清晰传达技术发现的能力。 为什么选择 Skyryse? • 有机会通过改善航空安全和可及性来改变世界。 • 薪资范围:每小时 35-40 美元。 • 一家拥有雄心壮志的愿景、充满活力的工作环境和聪明、积极、有趣的同事的公司。 以真实的自己前来应聘 Skyryse 是一个平等机会的雇主。我们重视多样性。我们不因种族、宗教、肤色、国籍、性别、性取向、年龄、婚姻状况、退伍军人身份或残疾状态而歧视。 不考虑代理候选人。