Frontend-инженер компилятора Solidity

О компании CertiK, одна из самых быстрорастущих и пользующихся наибольшим доверием компаний в области безопасности блокчейнов, является настоящим лидером рынка. На сегодняшний день CertiK работала с более чем 4798 клиентами, обеспечила безопасность цифровых активов на сумму более 597 миллиардов долларов и контролировала более 17 000 проектов. В число наших клиентов входят такие ведущие проекты, как Aave, Polygon, Yearn и Chiliz.
Инвесторы = Insight Partners, Sequoia, Tiger Global, Coatue Management, Lightspeed, Advent International, SoftBank, Hillhouse Capital, Goldman Sachs, Shunwei Capital, IDG Capital, Wing, Legend Star, Danhua Capital и другие инвесторы.
О вакансии Мы ищем опытного инженера внешнего интерфейса компилятора Solidity, который присоединится к нашей команде, работающей над передовой инфраструктурой компилятора блокчейна и формальными инструментами проверки. Вы будете участвовать в разработке и оптимизации внешних компонентов конвейеров компиляции Solidity, уделяя особое внимание статическому анализу, проверке типов и интеграции с формальными системами проверки.

Обязанности

• Разработать и реализовать компоненты внешнего интерфейса для компилятора Solidity, включая лексический анализ, синтаксический анализ, генерацию AST и семантический анализ.

• Оптимизировать производительность компилятора и улучшить отчеты об ошибках и диагностику.

• Разработать уровни интеграции между компилятором Solidity и формальными инструментами проверки.

• Вносить вклад в развитие функций и спецификаций языка Solidity.

• Сотрудничать с исследователями безопасности для реализации статического анализа и проверок безопасности.

• Поддерживать и улучшать существующую инфраструктуру и инструменты компилятора.
Требования

• 3+ года профессионального опыта в разработке компиляторов Solidity или связанных проектах компиляторов (например, языки на основе EVM, компиляторы смарт-контрактов)

• Хорошее знание Java с глубоким пониманием разработки и оптимизации компиляторов на основе Java.

• Прочная основа теории компиляторов, включая методы синтаксического анализа, системы типов и промежуточные представления.

• Опыт работы с формальными методами или формальными инструментами проверки (например, решателями SMT, средствами доказательства теорем или структурами проверки).

• Хорошее понимание виртуальной машины Ethereum (EVM) и моделей исполнения смарт-контрактов.

• Отличные навыки решения проблем и внимание к деталям.
Предпочтительные квалификации

• Опыт работы с LLVM или аналогичной инфраструктурой компилятора.

• Знание семантики языков программирования и теории типов.

• Вклад в проекты компиляторов с открытым исходным кодом.

• Опыт работы с Solidity или другими языками программирования блокчейна.
Что мы предлагаем

• Возможность сформировать национальный диалог о блокчейне и безопасности.

• Сотрудничать с ведущими исследователями в области безопасности, технологами и глобальными организациями.

• Гибкая рабочая среда и культура, ориентированная на миссию.
Компенсация: если роль выполняется в США, целевая годовая компенсация составляет 140 000–220 000 долларов США. Точная компенсация, по которой будет заполнена эта вакансия, будет определяться навыками и опытом квалифицированных кандидатов.
#блокчейн#стартапы#найм
CertiK принимает заявки на эту позицию на постоянной основе.
CertiK с гордостью предлагает медицинское страхование, страхование зрения и стоматологическое страхование, план 401 (k) с соответствием компании, страхование жизни, смерти от несчастного случая и расчленения, HSA (с планом с высокой франшизой), FSA и другие льготы для всех сотрудников, работающих полный рабочий день, а также гибкие оплачиваемые выходные и праздничные дни. CertiK также предлагает программу переменных комиссионных для менеджеров по продажам, занимающихся развитием бизнеса.
В соответствии с федеральным законом все нанятые лица должны будут подтвердить личность и право на работу в Соединенных Штатах, а также заполнить необходимую форму подтверждения права на трудоустройство при приеме на работу.
CertiK гордится тем, что является работодателем, предоставляющим равные возможности. Мы не будем дискриминировать любого заявителя или сотрудника по признаку возраста, расы, цвета кожи, вероисповедания, религии, пола, сексуальной ориентации, пола, гендерной идентичности или самовыражения, состояния здоровья, национального происхождения, происхождения, гражданства, семейного положения или статуса гражданского партнерства/союза, физической или умственной инвалидности, беременности, рождения ребенка, генетической информации, статуса военного или ветерана или по любому другому признаку, запрещенному применимым федеральным, государственным или местным законодательством.
CertiK будет рассматривать при приеме на работу квалифицированных кандидатов с криминальным прошлым в соответствии с местными и федеральными требованиями. https://www.eeoc.gov/sites/default/files/migrated_files/employers/poster_screen_reader_optimized.pdf
Ожидается, что все сотрудники CertiK будут активно поддерживать многообразие в своих командах и в компании.

Источник: Jobicy (https://jobicy.com/jobs/142139-solidity-compiler-frontend-engineer).