Certora нанимает!
Мы ищем 🪄 Мастера Формальной Проверки 🪄, чтобы присоединиться к нашей команде.
Если у вас есть:
✨ Сильный опыт в математике, физике или информатике
✨ Страсть к применению передовых технологий в финансовых системах
✨ Опыт в области безопасности кода
это может стать вашим следующим приключением.
Подайте заявку сейчас ⬇️