职位&公司对比
职位详情
- 北京
- 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职业科学研究室
工作时间
工作时间
公司福利
- 五险一金
公司福利
- 交通补助
- 住房补贴
- 团建聚餐
- 零食下午茶
- 餐补
- 员工旅游
- 带薪年假
- 夜班补助
- 底薪加提成
- 保底工资
- 绩效奖金
- 年终奖
- 补充医疗保险
- 五险一金