理聘网-职位详情页，可信智能优化技术与软件特别研究助理

任职要求： 任职要求 1.接受过系统的科研训练，具备良好的科研潜质和创新能力，取得一定的学术成果。 2.身体健康，具有良好的组织协调能力和团队合作精神。 3.恪守科研道德和学术规范，学风正派、诚实守信。招聘岗位 1.特别研究助理：不超过35周岁，应届博士毕业生或毕业3年内的优秀往届博士。 2.助理研究员：应届硕士毕业生或毕业2年内的优秀往届硕士。专业/研究方向计算机类相关专业工作内容1.领导基础设施安全技术研究：主导智能软件全生命周期中设计/开发/运维阶段的基础设施安全研究，包括代码漏洞挖掘、供应链风险溯源、形式化逻辑验证等关键技术攻关，支撑“漏洞修复率>80%”核心指标； 2.研发安全防护工具链：动静态分析工具链，实现百万行代码的全扫描能力；开发AI驱动的自动化漏洞修复引擎，支持工业软件及AI框架（PyTorch/TensorFlow）的代码安全升级与高风险代码迁移； 3.跨团队技术整合与落地：联合“可信验证中心”团队，将形式化验证（Marabou）与模糊测试技术嵌入开发流水线，构建设计→运维闭环防护体系；为无人车、智能制造等场景提供基础设施安全解决方案； 4.学术输出：在顶级安全会议（IEEES&P、USENIXSecurity、CCF-A类）发表软件供应链安全、形式化验证相关论文；参与国内行标团标的建设； 5.团队指导与技术前瞻：指导组员研发跨语言漏洞模式识别、硬件在环（HIL）测试等模型；追踪AI编译安全、量子程序验证等前沿方向。1.学历与专业：计算机科学、软件工程或网络安全方向博士学位，研究方向为程序分析、形式化方法或软件供应链安全； 2.研究经验：在软件安全顶会/顶刊（如IEEES&P、USENIXSecurity、TSE）发表程序分析、漏洞检测相关成果；具备工业级工具链开发经验（如静态分析器、模糊测试框架），熟悉Coverity/KLEE等工具原理； 3.技术能力：精通C/C++/Rust/Python；掌握LLVM/CodeQL等程序分析框架，熟练使用相关符号执行工具；深入理解以下至少两项：形式化验证（模型检测、抽象解释），跨语言漏洞模式（内存安全、逻辑漏洞），软件供应链风险建模（依赖项分析、SBOM生成）； 4.领域知识优先项：熟悉AI安全相关领域知识，或具身智能设备（无人车/机器人）代码安全方案； 5.有国产化软硬件平台（如华为鲲鹏、昇腾）适配经验者优先。 研究方向： 计算机类相关专业 福利待遇： 薪酬福利 （一）薪酬待遇 1．特别研究助理：年薪30-50万（依据学业和科研业绩核定），特别优秀者薪酬可面议； 特别研究助理聘期内可签订意向性入职协议，签订协议后，额外提供一次性生活补贴：国内外顶尖大学相关专业优秀博士安家费65万，国内外顶尖大学相关专业博士安家费40万，国内外高水平大学相关专业博士安家费25万。年度综合所得最高可达115万元！ 2．助理研究员：年薪20-25万（依据学业和科研业绩核定），特别优秀者薪酬可面议。 （二）福利政策 1．按照国家规定足额缴纳社保和住房公积金。 2．提供研究院人才周转房，可拎包入住。 3．除享受国家规定的各类假期外，享受集中带薪年休假。 4．享受园区食堂、免费班车、工会福利、年度体检、室内外体育场等福利。 5．协助申请南京市租房补贴，博士2000元/月、硕士800元/月（共36个月）。 6．协助办理南京市户籍落户手续。 （三）入编政策 特别研究助理聘期考核合格者，经批准可纳入事业编制管理；符合条件者，可按研究院相关规定和程序竞聘副高级专业技术岗位。 助理研究员聘期考核优秀者，经批准可纳入事业编制管理。 四．特别研究助理支持政策 1．支持申请中国博士后科学基金资助，包括面上资助、特别资助、国家资助博士后研究人员计划（A档两年资助56万元，B档两年资助36万元、C档两年资助24万元）等项目。 2．支持申请中国科学院特别研究助理资助项目，入选者可获得院所两级共80万元经费资助。 3．支持申请江苏省卓越博士后计划；A档两年资助50万元、B档两年资助30万元、C档两年资助20万元。 备注：以上具体资助标准以当年度发布的相关政策为准。