Certora正在招聘！

我们正在寻找一位🪄 形式验证高手🪄加入我们的团队。

如果你具备：

✨ 扎实的数学、物理或计算机科学背景

✨ 热衷于将前沿技术应用于金融系统

✨ 具备代码安全方面的经验

那么这可能是你下一个冒险的机会。
立即申请 ⬇️