公司简介
鉴释科技是一家明星初创企业，由一群世界一流的软件专家和经验丰富的上市管理人员创建。我们利用我们对软件构建的经验和理解，以及软件系统是如何工作的，来创造一种新的体验，并通过简单的增值操作将其推向市场。我们正努力用我们以客户为中心的解决方案和想法来打破行业，以改善软件开发体验。目前公司已经进入上升期，你可以在这样一个理想的时间加入我们，成为我们成长的一部分，帮助创造和塑造我们的公司文化。我们正在寻找高能的、希望成为一个激动人心的国际团队的一部分的团队成员。
JOB TITLE: 高级软件开发工程师
JOB TYPE: 全职
LOCATION: 上海
REPORTING TO: 软件研究开发总监
岗位职责:
o 改善和增强公司现有静态应用安全测试（SAST）产品，提高缺陷检出率，降低误报率，提升检测速度，降低检测资源消耗
o 开发公司新的安全测试产品，包括但不限于交互式应用程序安全测试（IAST）产品和动态应用程序安全测试（DAST）产品
o 提高公司应用安全测试产品对新的编程语言，语言标准和编译器兼容性
o 开发新的安全测试规则
岗位要求:
o 计算机或相关专业本科及以上学历，3年以上静态分析软件、编译器、虚拟机、模拟器或二进制翻译软件开发经验
o 熟练C/C++和常见数据结构，熟练使用GCC/GDB
o 实践高度自律工程开发，产出高质量代码
o 熟悉Linux操作系统和开发环境
o 熟练使用Shell Script和Python
o 熟悉常见编译分析技术优先，如控制流分析、数据流分析、指针分析、过程间分析等
o 熟悉虚拟机、垃圾回收，二进制动态插桩等技术优先
o 熟悉形式化验证、符号执行等技术优先
o 良好的团队协作意识，英语口头和书面交流能力优先
JOB TITLE: Senior Software Engineer
JOB TYPE: Full Time
LOCATION: China - Shanghai
REPORTING TO: Director of Research and Development
MAIN DUTIES AND RESPONSIBILITIES:
oEnhance current Static Application Security Testing (SAST) product to increase true positive rate, decrease false positive rate, reduce analyzing time and resource usage
oDevelop new application security testing product, include but not limited to, interactive application security testing(IAST) and dynamic application security testing(DAST)
oImprove the application security testing product compatibility with new programming language, standard and compilers
oDevelop new security testing rules
SKILLS REQUIRED:
oDisciplines in Computer Science or related major, bachelor or above degree, more than 3 years of experience in static analyzer, compiler, virtual machine, emulator or binary translator development
oGood programming skills, expertise in C and C++ and data structure, rich experience in programming with GCC and GDB
oPracticing good engineering discipline for writing high quality code
oFamiliar with Linux operating system and programming environment
oFluent with Shell script and Python
oUnderstand common compiler analysis techniques like control flow analysis, data flow analysis, pointer analysis and inter-procedural analysis is preferred
oFamiliar with virtual machine, garbage collection, dynamic instrumentation is preferred
oFamiliar with formal verification and symbolic execution is preferred
oGood team working, good written and verbal English communication skills is preferred
JOB TITLE: 初级软件开发工程师
JOB TYPE: 全职
LOCATION: 上海
REPORTING TO: 软件研究开发总监
岗位职责:
o 改善和增强公司现有静态应用安全测试产品，提高缺陷检出率，降低误报率，提升检测速度，降低检测资源消耗
o 分析开源软件项目静态测试结果，确定测试结果准确率并将潜在的安全问题反馈给开源社区
o 提高公司现有静态应用安全测试产品对新的编程语言标准和编译器兼容性
o 开发新的安全测试规则
岗位要求：
o 计算机或相关专业本科及以上学历，或2020年应届毕业生
o 对程序分析，编译器和编译优化技术有浓厚兴趣
o 熟悉C/C++和常见数据结构，熟练使用GCC/GDB
o 熟悉Linux操作系统和开发环境
o 熟练使用Shell Script和Python
o 良好的团队协作意识，英语口头和书面交流能力优先
JOB TITLE: Junior Software Engineer
JOB TYPE: Full Time
LOCATION: China - Shanghai
REPORTING TO: Director of Research and Development
MAIN DUTIES AND RESPONSIBILITIES:
oEnhance current Static Application Security Testing (SAST) product to increase true positive rate, decrease false positive rate, reduce analyzing time and resource usage
oAnalyze scan result on open source software and give feedback to open source software community for any potential security issues
oImprove the SAST product compatibility with new programming language standard and compilers
oDevelop new security testing rules
SKILLS REQUIRED
oDisciplines in Computer Science or related major, bachelor or above degree or fresh graduates in 2020.
oStrong interests in compiler and compiler optimization techniques
oGood programming skills, expertise in C and C++ and data structure, rich experience in programming with GCC and GDB
oFamiliar with Linux operating system and programming environment
oFamiliar with Shell script and Python
oGood teamwork habit, good written and verbal English communication skills is preferred
有意者发送简历到：jianxin.lai@xcalibyte.com
--
修改:martlet123 FROM 120.244.140.*
FROM 120.244.140.*