Certora正在招聘！

我們正在尋找一位🪄 形式驗證高手🪄加入我們的團隊。

如果你具備：

✨ 紮實的數學、物理或計算機科學背景

✨ 熱衷於將前沿技術應用於金融系統

✨ 具備代碼安全方面的經驗

那麼這可能是你下一個冒險的機會。
立即申請 ⬇️