logo
神奇的橘子树
06-29·后端开发·3年
做形式化验证进了交易所写业务是否应该跳槽
我的背景是双九，研究方向是分布式系统，分布式存储，形式化验证， Java，Rust，TLA+/Verus/Iris 等等。当初想加入交易所写核心交易系统，我对于挑战难题比较感兴趣，但是被分到业务组了😭，对于业务组写 Springboot 不感兴趣但是部门间转岗又基本不可能，所以我是不是应该跳槽
发布于 未知
分享
15
3
未登录
友善发言
image-upload
评论
加载中