Solidity Compiler Frontend Engineer

Про компанію 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 Frontend, щоб приєднатися до нашої команди, яка працює над передовою інфраструктурою компілятора блокчейну та формальними інструментами перевірки. Ви братимете участь у розробці та оптимізації зовнішніх компонентів конвеєрів компіляції 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)