======= 科研话题CH=======

Tezos将资助以下相关领域的课题

  • OCaml功能编程与教育普及
  • Tezos智能合约的形式验证
  • Tezos代码或库文件的形式验证(例如:密码学、网络、数据库)
  • 形式验证工具与环境(例如:Coq、F*、Why3等)
  • Ocaml编译器以及Michelson编译的设计与优化
  • 各领域专用语言工具的开发,用以编译成Tezos可以使用的语言和工具
  • Tezos相关优化算法(数据库,区块链,p2p等等)
  • p2p网络
  • 密码学
  • 零知识证明(stark,snark)
  • 随机处理/随机优化
  • 博弈论
  • 区块链的工业应用

以及任何其他此处不慎遗漏的有趣课题。

上述课题可以有多种实现途径:

  • 大学/科研机构参与的研发项目
  • 课程(在线,MOOC平台,书籍,大学或机构的公开课)
  • 学生项目
  • Tezos合作伙伴大学的交换生项目

======= 工作岗位CH=======

用Ocaml语言开发的Tezos是一个区块链项目,并且是一个分布式应用的平台。他兼具可扩展性、形式验证和自我治理于一体。

Tezos现有40个开放岗位。其中包含25个法国境内的岗位。远程工作和兼职都在考虑范围之内。

我们寻找的岗位从硕士到博士,并且需要具有一定的经验。

对Ocaml、Haskell、Clojure等功能性语言具有专业知识,以及拥有以下某个领域的技能:算法、程序语言的设计、加密学,p2p,Ocaml网页编程/UI、SAT/SMT、线性和整数编程、形式验证、随机处理、计算机代数、数值优化。

我们将提供非常具有竞争力的薪水

使用语言:能表达清楚的任何语言都可以

如果有兴趣,请发送简历至 careers@tezos.com