ZK-Proof-Ingenieur

Über uns

Axiom nutzt wissensfreie Beweise, um neue Arten überprüfbarer und privater Softwareanwendungen zu ermöglichen, angefangen bei Krypto und Fintech. Wir sind ein kleines, aber unglaublich starkes Team, das von den besten Krypto-Investoren unterstützt wird. Wir suchen außergewöhnliche Menschen, die Freude daran haben, in einem schnelllebigen Umfeld an herausfordernden und wirkungsvollen Problemen zu arbeiten. Unser Büro befindet sich in NYC und wir bevorzugen die persönliche Arbeit in NY, sind aber auch offen für Remote-Kandidaten.

Wir haben kürzlich OpenVM veröffentlicht, ein leistungsstarkes und modulares zkVM-Framework, das auf Anpassung und Erweiterbarkeit ausgelegt ist. OpenVM ermöglicht es Entwicklern, die korrekte Ausführung beliebiger Computerprogramme flexibel und performant zu überprüfen. Wir entwickeln ZK-fähige Produkte mit OpenVM und unterstützen Teams beim Aufbau auf OpenVM.

Die Rolle

Wir suchen einen ZK Proof Engineer, der modernsten kryptografischen Code für die wissensfreie Proof-Generierung implementiert und optimiert. Sie sind für den Aufbau von Systemen verantwortlich, die eine Schnittstelle zwischen Low-Level-Computersystemen wie RISC-V ISA, Compiler-Frameworks wie LLVM und Datenbank-Backends bilden und diese mit hochmodernen, wissensfreien Systemen verbinden. Die Rolle umfasst sowohl die Optimierung von ZK-Prüfern als auch die Implementierung neuartiger ZK-Schaltkreise. Bei Ihrer Arbeit müssen Sie Entwurfsentscheidungen treffen, um eine schnelle Entwicklung sicherer und effizienter Systeme zu ermöglichen.

Wir suchen jemanden mit ausgeprägten technischen Designfähigkeiten, der Fähigkeit, stapelübergreifend zu arbeiten und einer Sicherheitsmentalität. Wir schätzen auch die Fähigkeit, pragmatische Technologieentscheidungen zu treffen, die unser kleines Team stärken, ohne zu viel Mehraufwand zu verursachen.

Wer du bist

•
Sie verfügen über fundierte Kenntnisse in Mathematik/Kryptographie oder über ausgeprägte Problemlösungsfähigkeiten und Interesse an wissensfreien Beweisen.

•
Du verfügst über Kenntnisse in Rust, C/C++ oder einer ähnlich leistungsfähigen Backend-Sprache. Wir arbeiten hauptsächlich in Rust.

•
Sie sind äußerst detailorientiert und haben eine Sicherheitsmentalität.

•
Sie haben an anspruchsvollen Softwareprojekten gearbeitet und haben ein Gespür für Leistung.

•
Sie sind ein klarer Kommunikator und legen Wert auf Zusammenarbeit.

•
Sie haben einen starken Hang zum Handeln.

•
Sie haben eine äußerst starke Arbeitsmoral.

Boni

•
Du hast Erfahrung mit Compiler-Frameworks wie LLVM oder MLIR.

•
Sie haben mit Aspekten der Low-Level-Computerarchitektur wie RISC-V oder programmierten FGPAs oder anderer benutzerdefinierter Hardware gearbeitet.

•
Sie haben Erfahrung mit Datenbank-Backends, einschließlich Erfahrung mit Abfrageplanung oder Low-Level-Abfrage-Engines.

•
Sie haben in Mathematik, theoretischer Informatik oder theoretischer Physik geforscht.

•
Sie haben Erfahrung mit Low-Level-Details von Ethereum

Wir freuen uns über unterschiedliche Hintergründe. Einige nicht-traditionelle Profile, die möglicherweise gut passen, umfassen Hochfrequenzhandel, Mathematik/Physik/CS-Wissenschaft und Hardware-Engineering.

Warum kommen Sie zu uns?

•
Sie werden einer der ersten Mitarbeiter sein, der die Verantwortung trägt, wichtige technische/produktive Entscheidungen zu treffen.

•
Sie arbeiten an bahnbrechender Technologie, die das Potenzial hat, ein wichtiger Teil der Infrastruktur für die Kryptoindustrie zu werden.

•
Sie erhalten ein wettbewerbsfähiges Gehalt mit Eigenkapital.

•
Sie arbeiten mit einem außergewöhnlichen Team zusammen und werden von diesem betreut.

Unser Team

Unsere Gründer Yi Sun und Jonathan Wang haben sich während ihres Mathematikstudiums in Harvard kennengelernt und arbeiten seit 2021 an ZK. Gemeinsam haben sie einige der leistungsstärksten ZK-Schaltkreise für die Elliptische-Kurven-Kryptographie und das Lesen von Ethereum-Daten geschrieben, bevor sie Axiom starteten.

Vor Axiom war Yi Professor an der UChicago Statistics und promovierte in Mathematik am MIT. Zuvor war er als Berater für Gauntlet tätig und arbeitete bei einem HFT-Startup von der Gründung bis zum profitablen Handel. Jonathan veröffentlichte Forschungsergebnisse zur Zahlentheorie in führenden Mathematikzeitschriften und promovierte in Mathematik an der UChicago.

Der Rest unseres kleinen, aber unglaublich starken Teams besteht aus Absolventen von Applied Intuition, Coinbase, Color, Neon, Google und Perplexity sowie Mathematik-/CS-Doktoranden und IMO-/IPhO-/Codeforces-Gewinnern. Wir freuen uns auf die Zusammenarbeit mit Ihnen!

Quelle: Jobicy (https://jobicy.com/jobs/152237-zk-proof-engineer)