[坐标深圳南山区] 源伞科技招人啦！有理想的小伙伴们请看过来！

[sbrella]

关于我们

源伞科技 2016 年由香港科大团队创立，立足于国际水平的学术研究积累, 秉承工匠精神，致力用最先进的自动程序分析技术保障软件质量，为企业提供以人工智能为基础的工业级程序缺陷自动挖掘技术，工具和解决方案。面市半年，源伞产品已迅速被市场认可，目前已应用于大型互联网企业，电子消费制造商，智能制造业，和权威软件测试机构。

成立伊始，源伞就获得了千万级天使投资，2017 年 9 月 11 日，由红杉资本中国支持的香港 X 科技基金正式宣布对源伞进行百万美元级的 pre-A 轮投资。2018 年 1 月，源伞获得了香港创新科技署资助。

我们希望有同样理想且具备相关技术背景的有志之士加入源伞。

有兴趣的朋友欢迎联系我们： [email protected]

想了解更多有关源伞科技的内容，请点击我们的官网： http://www.sourcebrella.com/

我们在找这样的你

Windows/Linux 系统工程师 （ 11k~22k ）

工作职责

1. 研发和维护 Pinpoint CaptureBuild 系统，用于全自动拦截和重组基于 make,cmake,scons，gradle，maven，ant 等软件构建流程。
2. 开发和维护 Linux 平台下 Eclipse, Kail, WindRiver,QNX 等 IDE 的插件，实现基于这些 IDE 的 CaptureBuild 系统。
3. 解决 clang，gcc，arm-gcc，msvc++等编译器兼容性问题。
4. 定制 clang 编译器， 提取源代码信息，如 AST 树，符号调试信息。
5. 维护和升级基于 clang 的源代码索引系统。

岗位要求

1. 计算机或相关专业全日制本科或以上学历。
2. 熟悉 Linux 操作系统基本原理，特别是 Linux 系统调用和程序加载机制。
3. 熟悉 make, cmake 等项目编译工具，以及 gcc 系列编译器。
4. 熟练掌握 Python/C/C++语言，能编写稳定，高效，可靠的代码。

加分项：

1. 参与过开源项目，github star 数量多者优先。

2. 有嵌入式系统如 Kail, WindRiver 等开发经验优先。

3. 有从事编译器开发经验优先。

4. 参与过 ACM/ICPC，并拿过省赛一等奖或亚洲赛铜奖以上。

5. 对编译器研发有强烈兴趣，且具备一定功底（如写过 parser，translator，interpreter，甚至 compiler ）。

编译器开发工程师 （ 12k~24k ） 岗位职责：

1. 定制 clang 编译器， 兼容常见桌面级编译器 gcc 等，嵌入式编译器 arm-gcc 等语法；

2. 提取源代码信息，如 AST 树，符号调试信息。

3. 研发新语言如 Java，JavaScript 编译器前端。

岗位要求：

1. 拥有全日制本科或以上学历，有研究生以上学历者优先。

2. 对编译器研发有强烈兴趣，且具备一定功底（如写过 parser，translator，interpreter，甚至 compiler ）。

3. 熟练使用 Linux 和 C/C++。

加分项：

1. 参与过 ACM/ICPC，并拿过省赛一等奖或亚洲赛铜奖以上。

2. 参与过编译器或底层系统相关开源项目者

静态程序分析工程师 （ 13k~26k ） 工作职责：

1. 维护和升级 pinpoint 现有的漏洞检查器

2. 研发新的漏洞检查器

3. 维护及优化 pinpoint 分析引擎

岗位要求：

1. 计算机或相关专业全日制本科或以上学历。

2. 较强的阅读代码和理解代码的能力。

3. 熟练掌握 Java/C/C++语言，能编写稳定，高效，可靠的代码。

4. 熟悉 C++/Java 相关程序规范，代码执行过程，内存分配，以及常见代码漏洞形式

5. 扎实的算法及计算理论基础（如图灵机模型）

加分项：

1. 熟悉编译器中间代码格式，以及程序分析相关概念，比如控制流等

2.有从事编译器 /程序分析器 /程序漏洞检查器开发经验。

1. 有程序漏洞挖掘经验

2. 有大型高安全需求程序开发经验

3. 有静态程序分析工具使用经验

4. 对源代码分析有兴趣

如果上面的职位，没有符合你的，不要担心，只要你对程序分析有着浓厚的兴趣以及独到的见解，欢迎和我们联系，会为你量身定做适合你的职位~

也欢迎推荐身边合适的人选，推荐成功有丰厚奖励~

[chenshunping]

招双非 Java 应届生不