Inżynier frontendowy kompilatora Solidity

O firmie CertiK, jedna z najszybciej rozwijających się i cieszących się największym zaufaniem firm zajmujących się bezpieczeństwem blockchain, jest prawdziwym liderem na rynku. Do tej pory CertiK współpracował z ponad 4798 klientami, zabezpieczył aktywa cyfrowe o wartości ponad 597 miliardów dolarów i monitorował ponad 17 000 projektów. Do naszych klientów należą wiodące projekty, takie jak Aave, Polygon, Yearn i Chiliz.
Inwestorzy = Insight Partners, Sequoia, Tiger Global, Coatue Management, Lightspeed, Advent International, SoftBank, Hillhouse Capital, Goldman Sachs, Shunwei Capital, IDG Capital, Wing, Legend Star, Danhua Capital i inni inwestorzy.
O roli Poszukujemy doświadczonego inżyniera frontendowego Solidity Compiler, który dołączy do naszego zespołu pracującego nad najnowocześniejszą infrastrukturą kompilatorów blockchain i narzędziami do weryfikacji formalnej. Będziesz uczestniczyć w opracowywaniu i optymalizacji komponentów frontendowych potoków kompilacji Solidity, ze szczególnym uwzględnieniem analizy statycznej, sprawdzania typów i integracji z systemami weryfikacji formalnej.

Obowiązki

• Projektuj i wdrażaj komponenty frontendowe dla kompilatora Solidity, w tym analizę leksykalną, parsowanie, generowanie AST i analizę semantyczną.

• Zoptymalizuj wydajność kompilatora i ulepsz raportowanie błędów oraz diagnostykę.

• Opracuj warstwy integracji pomiędzy kompilatorem Solidity a narzędziami weryfikacji formalnej.

• Udział w ewolucji funkcji i specyfikacji języka Solidity.

• Współpraca z badaczami bezpieczeństwa w celu wdrożenia analizy statycznej i kontroli bezpieczeństwa.

• Utrzymuj i ulepszaj istniejącą infrastrukturę i narzędzia kompilatorów.
Wymagania

• Ponad 3 lata doświadczenia zawodowego w tworzeniu kompilatorów Solidity lub powiązanych projektach kompilatorów (np. języki oparte na EVM, kompilatory inteligentnych kontraktów)

• Silna biegłość w języku Java z głębokim zrozumieniem rozwoju i optymalizacji kompilatorów opartych na Javie

• Solidne podstawy teorii kompilatorów, w tym techniki analizy składniowej, systemy typów i reprezentacje pośrednie

• Doświadczenie z metodami formalnymi lub narzędziami weryfikacji formalnej (np. rozwiązania SMT, dowodzenie twierdzeń lub ramy weryfikacji)

• Dobra znajomość modeli wirtualnej maszyny Ethereum (EVM) i inteligentnych modeli realizacji kontraktów

• Doskonałe umiejętności rozwiązywania problemów i dbałość o szczegóły
Preferowane kwalifikacje

• Doświadczenie z LLVM lub podobną infrastrukturą kompilatora

• Znajomość semantyki języka programowania i teorii typów

• Wkład w projekty kompilatorów typu open source

• Doświadczenie z Solidity lub innymi językami programowania blockchain
Co oferujemy

• Możliwość kształtowania ogólnokrajowej dyskusji na temat blockchain i bezpieczeństwa.

• Współpracuj z wiodącymi w branży badaczami bezpieczeństwa, technologiami i instytucjami globalnymi.

• Elastyczne środowisko pracy i kultura oparta na misji.
Wynagrodzenie: Jeśli stanowisko jest wykonywane w USA, docelowe roczne wynagrodzenie wynosi 140 000–220 000 dolarów. Dokładne wynagrodzenie, za jakie zostanie obsadzone to stanowisko, zostanie określone na podstawie umiejętności i doświadczenia wykwalifikowanych kandydatów.
#blockchain#startupy#zatrudnianie
CertiK przyjmuje na bieżąco aplikacje na to stanowisko.
CertiK z dumą oferuje ubezpieczenia medyczne, okulistyczne i dentystyczne, plan 401(k) z dopasowaniem do firmy, ubezpieczenie na życie i nieszczęśliwe wypadki na wypadek śmierci i rozczłonkowania, HSA (z planem o wysokim odliczeniu), FSA i inne świadczenia dla wszystkich pracowników zatrudnionych w pełnym wymiarze czasu pracy, wraz z elastycznym płatnym czasem wolnym i urlopami. CertiK oferuje również program zmiennych prowizji dla stanowisk sprzedażowych zajmujących się rozwojem biznesu.
Zgodnie z prawem federalnym wszystkie zatrudnione osoby będą musiały zweryfikować swoją tożsamość i uprawnienia do pracy w Stanach Zjednoczonych oraz wypełnić wymagany formularz weryfikacji uprawnień do zatrudnienia przy zatrudnieniu.
CertiK jest dumny z tego, że jest pracodawcą zapewniającym równe szanse. Nie będziemy dyskryminować żadnego kandydata ani pracownika ze względu na wiek, rasę, kolor skóry, wyznanie, religię, płeć, orientację seksualną, płeć, tożsamość lub ekspresję płciową, stan zdrowia, pochodzenie narodowe, pochodzenie, obywatelstwo, stan cywilny lub status związku partnerskiego/związkowego, niepełnosprawność fizyczną lub umysłową, ciążę, poród, informacje genetyczne, status wojskowy lub weteran lub jakąkolwiek inną podstawę zabronioną przez obowiązujące prawo federalne, stanowe lub lokalne.
CertiK rozważy do zatrudnienia wykwalifikowanych kandydatów z przeszłością kryminalną w sposób zgodny z wymogami lokalnymi i federalnymi. https://www.eeoc.gov/sites/default/files/migrated_files/employers/poster_screen_reader_optimized.pdf
Od wszystkich pracowników CertiK oczekuje się aktywnego wspierania różnorodności w swoich zespołach i w Firmie.

Źródło: Jobicy (https://jobicy.com/jobs/142139-solidity-compiler-frontend-engineer)