Backend разработчик

Добавь резюме в профиле, а нейросеть определит твою категорию. Затем ты сможешь генерировать сопроводительные письма для вакансий этой категории

CertiK лидирует в безопасности блокчейнов, обеспечивая смарт-контракты и блокчейны с помощью передовой технологии формальной верификации. Основана профессорами компьютерных наук Йельского и Колумбийского университетов, компания проверила и обезопасила активы на сумму свыше $500 млрд, включая топовые блокчейн-проекты. Вам нужно будет разрабатывать инструменты для автоматической проверки корректности смарт-контрактов и выявления уязвимостей, участвовать в создании инструментов на основе символического model checking, SAT/SMT solving, абстрактной интерпретации, анализа потоков данных и дедуктивной верификации, вести разработку фич от идеи до реализации и улучшений, проектировать full-stack Web3-приложения, строить бэкенды и API для обработки блокчейн-данных, анализировать on-chain и off-chain данные, интегрировать кошельки, создавать фронтенды с визуализациями и следить за трендами в Web3.

• Магистр в компьютерных науках, инженерии или смежной области
• Продвинутые знания алгоритмов, структур данных, операционных систем, компьютерной архитектуры и сетевых протоколов
• Глубокое понимание основ блокчейнов, децентрализованных сетей, Web3-инфраструктуры и разработки смарт-контрактов (EVM/Web3.js)
• Экспертиза в фронтенд-разработке на React/JavaScript/TypeScript/HTML/CSS и бэкенде, включая архитектуру API, серверную разработку и кэширование
• Уверенная работа с облачными сервисами (AWS/S3/EC2)
• Будет плюсом background в теории языков программирования, автоматизированном рассуждении, опыту решения сложных вычислительных задач и командной работе

• Медицинская, стоматологическая и страхования зрения
• План 401(k) с матчингом от компании
• Страхование жизни и от несчастных случаев
• HSA, FSA и другие бонусы
• Гибкий оплачиваемый отпуск и праздники