形式化验证专家岗位职责
形式化验证专家岗位职责
岗位描述：
1.负责形式化模型和算法的搭建、测试与优化，并能够根据需求快速迭代出合适的形式化工具或方法
2.通过用户调研等方式收集用户需求反馈，结合产品特性制定相关策略，完成形式化需求的撰写
3.协助进行系统原型设计，配合设计师制作形式化的交互界面等文档资料
4.分析竞品的形式化框架，提出新的需求和改进建议
5.维护已上线形式化工具及平台
6.对数据敏感，及时发现问题并进行追踪解决
7.完成领导交办的其他工作
职位要求：
1.熟练掌握形式化方法和技巧，具备较强的抽象能力，善于总结归纳，能独立承担项目任务
2.良好的沟通表达能力和组织协调能力，有较强的学习能力
3.熟悉使用office办公软件
4.有数据分析背景优先
形式化验证专家简历模版
月均薪资分布
形式化验证专家薪资待遇数据详情
