那一科技 Naive Systems 成立于 2021 年 2 月，专注于为开发者提供更好的软件开发工具。我们的创始团队来自 Google、Facebook、Amazon 等知名企业，在形式化验证、操作系统、安全等方面有十几年的经验。从 2021 年开始，我们研发了全新的代码审查工具，已经获得多家知名机构和个人的投资。

我们非常注重对实习生的培养，实习任务都是真实产品中的重要组成部分，可以学习和掌握最前沿的技术和知识，获得独立负责完整项目的锻炼机会。实习结束后，我们也提供转正机会，或推荐至适合学生发展的其他公司或高校。

工作地点

* 上海市闵行区剑川路 951 号（零号湾 1 号楼）

* 靠近地铁 5 号线剑川路站、上海交通大学闵行校区北一门

* 在现场实习后，也提供少量远程实习机会

工作内容

* 参与 Naive Systems 静态分析工具产品的研发

* 改进 Clang Static Analyzer，或基于 Clang 开发新的规则

* 基于静态分析的结果，为 Linux、OpenSSL 等开源项目贡献 bugfix

* 将各个语言的静态分析工具整合到现有产品中

* 参与开发基于形式化验证的新型静态分析工具

岗位要求

* 熟练使用至少一门主流编程语言 (C/C++/Java/Python/Go)

* 熟悉操作系统、编译器、体系结构、数据库等计算机专业知识

* 熟练使用 Linux 和 git

* 熟悉常见数据结构（链表、哈希表、队列等）和常见算法（排序、搜索等）

* 具备优秀的英文沟通能力和扎实的专业基础

薪酬福利

* 实习生每周工作 4-5 天，弹性工作制、不打卡，目前一般 9am-5pm 或 10am-6pm

* 实习生的统一工资标准为 200 元/天，为需要的学生提供房补

* 免费午餐+零食+饮料

* 电动升降桌（可以站着办公）、人体工学椅（可以躺着午睡）、4K 显示器（每人 1-2 台）