Certora正在招聘!我们正在寻找一位🪄 形式验证高手🪄加入我们的团队。如果你具备:✨ 扎实的数学、物理或计算机科学背景✨ 热衷于将前沿技术应用于金融系统✨ 具备代码安全方面的经验那么这可能是你下一个冒险的机会。立即申请 ⬇️