Certora нанимает!

Мы ищем 🪄 Мастера Формальной Проверки 🪄, чтобы присоединиться к нашей команде.

Если у вас есть:

✨ Сильный опыт в математике, физике или информатике

✨ Страсть к применению передовых технологий в финансовых системах

✨ Опыт в области безопасности кода

это может стать вашим следующим приключением.
Подайте заявку сейчас ⬇️