职位&公司对比

招聘中
  • 移动互联网
  • 天使轮
招聘中

区块链形式化验证工程师

-K·薪
  • 互联网
  • 不需要融资

职位详情

  • 北京
  • 5-10年
  • 硕士
  • Node.js
  • PHP

区块链技术事业伙伴招募英雄帖 北京枫玉科技实诚招募区块链技术事业伙伴啦,如下岗位均包括正式岗位和实习岗位(挑选事业合伙人): 1、参与公司区块链技术的研究,承担区块链核心代码的开发; 2、参与拟定区块链技术与现有技术结合的方案; 3、参与公司直聘区块链技术BOSS直聘与传统行业的衔接,需求整理、书写方案; 4、可独立完成相关工作。 【我们需要一个这样的你】 1、精通PHP运行机制,熟悉PHP主流框架(Laravel/CodeIgniter),有较强的架构能力和良好代码规范,精通Node.js优先; 2、熟练掌握Linux操作、具备丰富的Linux下开发经验,熟悉shell等语言; 3、熟练掌握Nginx、MySQL、Redis的搭建、配置、运维,有高并发系统设计和开发经验者优先; 4、熟悉对称及非对称密码体系及常见加解密算法(AES, RSA, ECC, SM2&SM3)者优先; 5、有和非开发人员进行沟通协作的能力,具备较强的学习能力、分析和解决问题的能力; 6、良好的现场问题判断处理能力,将客户需求以及现场问题收kanzhun集整理并协调相关资源处理; 7、具有较强抗压能力。 背景: 区块链技术2016年12月27日纳入国家《“十三五”国家信息化规kanzhun划》,是目前各国发展的重点前沿技术之一。 枫玉科技由前马可尼中国区总裁、阿尔卡特中国区副总裁王运嘉博士(法学博士、美国计算机博士生、律师)领衔(团队成员毕业于国内外知名院校),拥有优秀的国际视野和丰富的经营管理经验,主营业务为区块链非金融应用,目前为法律科技(LawTech)方向。 目前枫玉科技已经完成了近千万元人民币的Pre-A轮融资,投资方为中国万向控股旗下专注于区块链的投资机构分布式资本。 分布式资本成立于2015年11月,由万向控股副董事长肖风博士、资深金融人士沈波、资深程序员以太坊(Ethereum)创始人Vitalik Buterin所管理,代表了对于枫玉团队和目前法律科技(LawTech)方向的认可。 目前主创团队bbossased in 北京,在朝阳区光华路SOHO2 3Q有办公点。团队奉行“实诚—实实在在做事,诚诚恳恳做人,先做事、后做人,以事鉴人”的公司文化和“学习、琢磨、创新、超越”的公司精神,氛围好。 真诚邀请有见识、有能力的事业合伙人加入,共创一番事业, We want you & Join us now!

职位详情

  • 北京
  • 1-3年
  • 本科
  • 形式化验证

岗位职责kanzhun: 1、开发和维护用于智能合约等区块链代码的形式化验证引擎、直聘工具链及生产流水线; 2、分析智能合约等区块链kanzhun样例代码的规范、模型、正确性、安全性并进行相应的形式化和证明; 3、抽象、编写、维护智能合约等区块链常见代码模块、模板的通用形式化规范 及证明脚本; 4、分析、抽象形式化验证过程中的人工步骤及其自动化加速手段,开发和维护 相应的工具及生产流水线; 5、定义、观测、监控形式化验证应用过程中的质量、速度、效率等生产测度; 6、分析、协同其它区块链安全工具和方法,提高区块链安全的总体质量,降低 其总体成本; 7、跨团队同审计师、软件开发工程师等进行合作,提升区块链形式化验证的实际效能。 任职要求 1、数理逻辑的经验和兴趣; 2、自我驱动的学习动机和能力; 3、善于文字和口头技术沟通; 4、扎实的通用程序设计基础; 5、程序分析调试的经验和兴趣; 6、脚本工具的编写、使用经验; 7、C、C来自BOSS直聘++、Java、Golang、Rust、Solidity 等语言之一的实用编程经验; 8、区块链软件栈的基础知识kanzhun; 9、熟悉 Linux 及 GitHub 的使用。 优先考虑(加分项) 1、形式逻辑、形式化验证、定理证明、自动化验证等经验; 2、程序或安全分析工具的使用和开发经验; 3、区块链的深入知识和经验; 4、智能合约编程或安全分析经验

技能解析

专有技能
  • 分析和解决问题的能力
  • 解决问题的能力
  • 精通PHP
  • 解决问题
  • 熟悉PHP
  • 协作的能力
  • 沟通协作
  • 较强的学习
  • 代码规范
  • 判断处理
  • 信息化规划
  • 管理经验
  • 架构能力
  • 投资机构
  • 系统设计
  • 学习能力
  • 分析和解决问题
  • 问题判断
  • 客户需求
  • 经营管理
相同技能
  • 开发经验

数据来自CSL职业科学研究室

技能解析

专有技能
  • 分析工具
  • 程序设计
  • 分析经验
  • 数理逻辑
  • 编程经验
  • 软件开发
相同技能
  • 开发经验

数据来自CSL职业科学研究室

工作时间

上午10:00   -   下午7:00
双休弹性工作

工作时间

上午10:00   -   下午07:00
双休弹性工作

公司福利

  • 五险一金

公司福利

  • 交通补助
  • 住房补贴
  • 团建聚餐
  • 零食下午茶
  • 餐补
  • 员工旅游
  • 带薪年假
  • 夜班补助
  • 底薪加提成
  • 保底工资
  • 绩效奖金
  • 年终奖
  • 补充医疗保险
  • 五险一金
更新于 2025-05-13