首页 资讯 人物 矿业 | 矿机评测 | 学院 教程 百科 | 矿机交易 | 海外托管 | 币种信息 | 矿池信息 | 矿机信息 |
挖币网 快讯 详情

算力论坛：//@响马:帮转 // jolestar：有没有对形式化验证感兴趣的朋友?形式化验证这个领域离主流的开 ...

2021-12-14 20:00:03
　
算力论坛：//@响马:帮转 // jolestar：有没有对形式化验证感兴趣的朋友?形式化验证这个领域离主流的开...
  • 算力论坛 2021-12-15 03:42:35
    //@响马:帮转
    jolestar： 有没有对形式化验证感兴趣的朋友?形式化验证这个领域离主流的开发领域比较远,如果工程师硬磕也可能磕,但如果职业目标不在这个领域,比较难收获成就感.所以希望能找到志在这个领域的朋友来做这个方向.地域不限,支持远程,可兼职.简历发送到: jolestar gmail ​

    • 声明：此文出于传递更多信息之目的，并不意味着赞同其观点或证实其描述。本网站所提供的信息，只供参考之用。

    分享长微博 分享到微信
    • 相关阅读

    更多 矿机信息

    更多 最新行情

    更多 业界资讯

    更多 学院教程

    更多 矿机评测