职位描述:

您将加入爱斯特尔公司上海软件验证团队(15到17个工程师)，对爱斯特尔公司的产品进行验证工作。您的工作地点将在上海。验证工作具体包含一下内容：

• 基于软件需求与测试计划运行，设计，验证测试用例
• 开发并运行测试脚本
• 使用变更控制管理工具报告软件缺陷

要求：

• 两年以上高安全性嵌入式软件的开发和测试工作经验，尤其在航空航天软件方面具有经验者更佳
• 勤勉努力，熟悉并热爱软件开发及测试工作
• 熟悉代码生成器的开发和认证流程，如RTCA DO-178B 认证标准等
• 具有HMI (Human Machine Interface)确认和测试方面工作经验者优先考虑

技能要求：

• 语言: C, C++, ADA , Lustre
• 脚本语言: bash, perl, tcl
• Lex an Yack parser
• 建模: UML, Simulink, Matlab,
• 需求管理: DOORS
• 配置管理: CVS or equivalent
• 确认工具: Logiscope Rule checker, Purify, Quantify
• 操作系统: Windows 2000, XP, Unix (Solaris)
• Office: WORD, EXCEL