源伞科技2016年由香港科大团队创立立足于国际水平的学术研究积累, 秉承工匠精神,致力用最先进的自动程序分析技术保障软件质量为企业提供以人工智能为基础的工业级程序缺陷自动挖掘技术,工具和解决方案面市半年,源伞产品已迅速被市场认可目前已应用于大型互联网企业,电子消费制造商智能制造业,和权威软件测试机构
成立伊始,源伞就获得了千万级天使投资2017年9月11日,由红杉资本中国支持的香港X科技基金正式宣布对源伞进行百万美元级的pre-A轮投资2018年1月,源伞获得了香港创新科技署资助
我们希望有同样理想且具备相关技术背景的有志之士加入源伞。
有兴趣的朋友欢迎联系我们:hr#/
参与过開源项目github star数量多者优先。
有从事编译器性能工程师开发经验优先
参与过ACM/ICPC,并拿过省赛一等奖或亚洲赛铜奖以上
编译器性能工程师开發工程师 (12k~24k) 岗位职责:
定制clang编译器性能工程师, 兼容常见桌面级编译器性能工程师gcc等嵌入式编译器性能工程师arm-gcc等语法;
提取源代码信息,如AST树符号调试信息。
拥有全日制本科或以上学历有研究生以上学历者优先。
参与过ACM/ICPC并拿过省赛一等奖或亚洲赛铜奖以上。
参与過编译器性能工程师或底层系统相关开源项目者
静态程序分析工程师 (13k~26k) 工作职责:
维护和升级pinpoint现有的漏洞检查器
维护及优化pinpoint分析引擎
计算机或相关专业全日制本科或以上学历
较强的阅读代码和理解代码的能力。
熟练掌握Java/C/C++语言能编写稳定,高效可靠的代码。
熟悉C++/Java相关程序规范代码执行过程,内存分配以及常见代码漏洞形式
扎实的算法及计算理论基础(如图灵机模型)
2.有从事编译器性能工程师/程序分析器/程序漏洞检查器开发经验。
有大型高安全需求程序开發经验
有静态程序分析工具使用经验
如果上面的职位没有符合你的,不要担心只要你对程序分析有着浓厚的兴趣以及独到的见解,欢迎和我们联系会为你量身定做适合你的职位~
也欢迎推荐身边合适的人选,推荐成功有丰厚奖励~