【坐标深圳南山区】源伞科技招人啦!技术至上,各位Hacker,Geeker看过来!

sbrella 发布于 2017年08月07日 | 更新于 2017年08月07日
无人欣赏。

关于我们

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

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

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

有兴趣的朋友欢迎联系我们:hr#sbrella.com

想了解更多有关源伞科技的内容,请点击我们的官网: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. 对源代码分析有兴趣

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

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

暂无回复
登录 或者 注册