[职位描述]
1、负责智能合约的安全分析和形式化验证工作;
[任职要求]
1、计算机、电子、通信、数学等相关专业本科及以上学历;
2、熟悉编译原理、程序分析技术；
3、具备良好的沟通表达能力及较强的团队合作意识。
【具备以下任一条件者优先】
1、熟悉符号执行、SMT和形式化验证等程序分析和验证技术；
2、熟悉各种智能合约漏洞攻击，做过智能合约的形式化验证；
Copyright C 2020-2021 All Rights Reserved 版权所有 重庆两江新区人才发展集团有限公司
渝ICP备2021001278号-3
渝公网安备 50011202503459号
地址：重庆市渝北区龙兴镇田家湾（北京理工大学重庆创新中心22号楼） EMAIL：cqljhrzp@163.com
人力资源证: （渝）人服证字〔2017〕第3900000212号
Powered by 两江新区人才网
