Solidity fordító frontend mérnök

Stack

Feladatok

• ▹A Solidity compiler frontend komponenseinek tervezése és implementálása: lexikai elemzés, parsing, AST-generálás, szemantikai elemzés
• ▹Compiler teljesítményének optimalizálása, hibajelentés és diagnosztika javítása
• ▹Integrációs rétegek fejlesztése a Solidity compiler és formális verifikációs eszközök között
• ▹Közreműködés a Solidity nyelv jövőbeli funkcióinak és specifikációjának alakításában
• ▹Együttműködés biztonsági kutatókkal statikus elemzési és biztonsági ellenőrzések implementálásában
• ▹Meglévő compiler-infrastruktúra és eszközök karbantartása és fejlesztése

Elvárások

• ▹3+ év professzionális tapasztalat Solidity compiler fejlesztésben vagy hasonló compiler projektekben (pl. EVM-alapú nyelvek, smart contract fordítók)
• ▹Erős jártasság Java nyelven, mély Java-alapú compiler fejlesztési és optimalizálási ismeretekkel
• ▹Szilárd compiler-elméleti alapok: parsing technikák, típusrendszerek, köztes reprezentációk
• ▹Tapasztalat formális módszerekkel vagy formális verifikációs eszközökkel (SMT megoldók, tételbizonyítók, verifikációs keretrendszerek)
• ▹Az Ethereum Virtual Machine (EVM) és a smart contract végrehajtási modellek erős ismerete

Előny

• ▹Tapasztalat LLVM-mel vagy hasonló compiler-infrastruktúrával
• ▹Programnyelv-szemantika és típuselmélet ismerete
• ▹Nyílt forráskódú compiler projektekhez való hozzájárulás
• ▹Tapasztalat Solidity-vel vagy más blokklánc-programozási nyelvekkel

Soft skillek

Amit kínálunk

• ▹Egészségügyi, látás- és fogászati biztosítás
• ▹401(k) nyugdíjprogram munkáltatói hozzájárulással
• ▹Élet- és balesetbiztosítás
• ▹HSA magas önrészű egészségbiztosítási csomaggal, FSA
• ▹Rugalmas fizetett szabadság és ünnepnapok

A munkáltatóról

A CertiK a blokklánc-biztonság egyik piacvezetője, közel 4800 ügyféllel és 597 milliárd dollár értékű digitális eszköz biztosításával; ügyfelei közé tartozik az Aave, a Polygon és a Yearn.