编程语言:C/C++,python,javascript,C# 编程框架:.NET,flask,vue,springboot 专业知识:操作系统,编译原理,数据结构,形式化方法,数理逻辑,线性时态逻辑,需求工程方法
项目1:软件需求形式化建模与分析 项目2:软件需求追溯一致性结果分析 项目3:实时操作系统验证 项目4:在线问卷系统 项目5:物流企业官网
企业点击发布任务,工程师会在任务下报名,招聘专员也会在1小时内与您联系,1小时内精准确定人才
关注猿急送微信平台,接收实时人才推送