#形式化验证

勃勃OC

2周前

我记得之前币圈有一个给智能合约做审计的公司号称什么形式化验证，绝对无Bug 币圈VC融资无数甚至我认识一个亲戚的朋友（确实是大佬）都跑去做CXO了请问这家公司现在还好吗？咱们币圈和哥伦比亚大学的联合骗局被彻底戳破了吗？ 😅😅

#币圈 #智能合约 #形式化验证 #公司审计 #VC融资 #哥伦比亚大学 #骗局

Darkflames

3周前

我也来推特找工作了 - 京都大学硕士毕业，研究方向是编程语言与类型论，熟悉各种 dependent type 和形式化验证 - 长期从事 Web 项目开发 - 可以使用任意编程语言进行开发，希望从事 PL / 编译器 / Infra / 工具链等方面的工作如果你所在的团队在招人，或者刚好知道合适的岗位，欢迎随时联系我！

#找工作 #编程语言 #形式化验证 #Web开发 #PL #编译器 #Infra #工具链