Inżynier ds. dowodów ZK

O nas

Axiom wykorzystuje dowody wiedzy zerowej, aby umożliwić tworzenie nowych typów weryfikowalnych i prywatnych aplikacji, począwszy od kryptowalut i fintech. Jesteśmy małym, ale niesamowicie silnym zespołem wspieranym przez najlepszych inwestorów w kryptowaluty. Poszukujemy wyjątkowych ludzi, którzy są podekscytowani pracą nad wymagającymi i wpływowymi problemami w dynamicznym środowisku. Nasze biuro znajduje się w Nowym Jorku i zdecydowanie preferujemy pracę osobistą w Nowym Jorku, ale jesteśmy otwarci również na kandydatów zdalnych.

Niedawno wypuściliśmy OpenVM, wydajną i modułową platformę zkVM zbudowaną z myślą o dostosowywaniu i rozszerzalności. OpenVM umożliwia programistom weryfikację poprawności wykonania dowolnych programów komputerowych w elastyczny i wydajny sposób. Budujemy produkty obsługujące ZK przy użyciu OpenVM i wspieramy zespoły budujące na OpenVM.

Rola

Poszukujemy Inżyniera Proofu ZK, który wdroży i zoptymalizuje najnowocześniejszy kod kryptograficzny do generowania dowodu z wiedzą zerową. Będziesz odpowiedzialny za budowanie systemów łączących systemy komputerowe niskiego poziomu, takie jak RISC-V ISA, struktury kompilatorów, takie jak LLVM, i zaplecze baz danych oraz łączenie ich z najnowocześniejszymi systemami odpornymi na wiedzę zerową. Rola będzie polegać zarówno na optymalizacji programów testujących ZK, jak i wdrażaniu nowatorskich obwodów ZK. Twoja praca będzie wymagała dokonywania wyborów projektowych, które umożliwią szybki rozwój bezpiecznych i wydajnych systemów.

Poszukujemy osoby z silnymi umiejętnościami projektowania inżynieryjnego, umiejętnością pracy na wielu płaszczyznach i nastawieniem na bezpieczeństwo. Cenimy także możliwość dokonywania pragmatycznych wyborów technologicznych, które wzmacniają pozycję naszego małego zespołu bez nadmiernych kosztów ogólnych.

Kim jesteś

•
Masz duże doświadczenie w matematyce/kryptografii lub duże umiejętności rozwiązywania problemów i interesujesz się dowodami z wiedzą zerową.

•
Masz biegłość w Rust, C/C++ lub podobnie wydajnym języku backendu. Pracujemy głównie w Rust.

•
Jesteś niezwykle zorientowany na szczegóły i masz nastawienie na bezpieczeństwo.

•
Pracowałeś nad wymagającymi projektami oprogramowania i zależy Ci na wydajności.

•
Potrafisz jasno komunikować się i cenisz współpracę.

•
Masz silną skłonność do działania.

•
Masz niezwykle silną etykę pracy.

Bonusy

•
Masz doświadczenie z frameworkami kompilatorów, takimi jak LLVM lub MLIR.

•
Pracowałeś z aspektami architektury komputerowej niskiego poziomu, takimi jak RISC-V lub zaprogramowane FGPA lub inny niestandardowy sprzęt.

•
Masz doświadczenie z backendami baz danych, w tym doświadczenie z planowaniem zapytań lub silnikami zapytań niskiego poziomu.

•
Prowadziłeś badania z zakresu matematyki, informatyki teoretycznej lub fizyki teoretycznej.

•
Masz doświadczenie z niskopoziomowymi szczegółami Ethereum

Mile widziane są osoby o różnym pochodzeniu. Niektóre nietradycyjne profile, które mogą być odpowiednie, obejmują handel o wysokiej częstotliwości, środowisko akademickie związane z matematyką/fizyką/CS i inżynierią sprzętu.

Dlaczego warto do nas dołączyć

•
Będziesz jednym z pierwszych pracowników posiadających prawo własności do podejmowania kluczowych decyzji technicznych/produktowych.

•
Będziesz pracować nad przełomową technologią, która może stać się kluczowym elementem infrastruktury dla branży kryptowalut.

•
Otrzymasz konkurencyjne wynagrodzenie z kapitałem własnym.

•
Będziesz pracować i otrzymywać wsparcie mentorskie od wyjątkowego zespołu.

Nasz zespół

Nasi założyciele, Yi Sun i Jonathan Wang, poznali się podczas studiów matematycznych na Harvardzie i pracują nad ZK od 2021 roku. Razem napisali jedne z najbardziej wydajnych obwodów ZK do kryptografii krzywych eliptycznych i odczytu danych Ethereum przed uruchomieniem Axiom.

Przed Axiomem Yi był profesorem w UChicago Statistics i zrobił doktorat z matematyki na MIT. Wcześniej był doradcą Gauntlet i pracował w startupie HFT od jego powstania do zyskownego handlu. Jonathan publikował badania z zakresu teorii liczb w czołowych czasopismach matematycznych i zrobił doktorat z matematyki na Uniwersytecie w Chicago.

Reszta naszego małego, ale niezwykle silnego zespołu składa się z absolwentów Applied Intuition, Coinbase, Color, Neon, Google i Perplexity, a także zwycięzców matematyki / CS PhD i IMO / IPhO / Codeforces. Nie możemy się doczekać współpracy z Tobą!

Źródło: Jobicy (https://jobicy.com/jobs/152237-zk-proof-engineer)