Ingénieur de preuve ZK

À propos de nous

Axiom utilise des preuves sans connaissance pour activer de nouveaux types d'applications logicielles vérifiables et privées, à commencer par la cryptographie et la fintech. Nous sommes une équipe petite mais incroyablement solide, soutenue par les meilleurs investisseurs en cryptographie. Nous recherchons des personnes exceptionnelles qui sont enthousiastes à l’idée de travailler sur des problèmes stimulants et percutants dans un environnement en évolution rapide. Notre bureau est à New York et travailler en personne à New York est notre préférence forte, mais nous sommes également ouverts aux candidats à distance.

Nous avons récemment publié OpenVM, un framework zkVM performant et modulaire conçu pour la personnalisation et l'extensibilité. OpenVM permet aux développeurs de vérifier la bonne exécution de programmes informatiques arbitraires de manière flexible et performante. Nous construisons des produits compatibles ZK à l'aide d'OpenVM et soutenons les équipes qui s'appuient sur OpenVM.

Le rôle

Nous recherchons un ingénieur ZK Proof qui mettra en œuvre et optimisera un code cryptographique de pointe pour la génération de preuves sans connaissance. Vous serez responsable de la création de systèmes permettant d'interfacer entre des systèmes informatiques de bas niveau tels que RISC-V ISA, des frameworks de compilateur tels que LLVM et des backends de bases de données et de les connecter à des systèmes de preuve de pointe sans connaissance. Le rôle impliquera à la fois l’optimisation des prouveurs ZK et la mise en œuvre de nouveaux circuits ZK. Votre travail nécessitera de faire des choix de conception pour permettre le développement rapide de systèmes sécurisés et efficaces.

Nous recherchons une personne possédant de solides compétences en conception technique, la capacité de travailler sur l'ensemble de la pile et un état d'esprit en matière de sécurité. Nous apprécions également la capacité de faire des choix technologiques pragmatiques qui responsabilisent notre petite équipe sans trop de frais généraux.

Qui tu es

•
Vous avez une solide expérience en mathématiques/cryptographie, ou de solides compétences en résolution de problèmes et un intérêt pour les preuves sans connaissance.

•
Vous maîtrisez Rust, C/C++ ou un langage backend aux performances similaires. Nous travaillons principalement dans Rust.

•
Vous êtes extrêmement soucieux du détail et avez un esprit de sécurité.

•
Vous avez travaillé sur des projets logiciels ambitieux et avez le souci de la performance.

•
Vous êtes un communicateur clair et valorisez la collaboration.

•
Vous avez un fort penchant pour l’action.

•
Vous avez une éthique de travail extrêmement solide.

Bonus

•
Vous avez de l'expérience avec les frameworks de compilateur comme LLVM ou MLIR.

•
Vous avez travaillé avec des aspects de l'architecture informatique de bas niveau comme RISC-V ou des FGPA programmés ou d'autres matériels personnalisés.

•
Vous avez de l'expérience avec les backends de bases de données, notamment en matière de planification de requêtes ou de moteurs de requêtes de bas niveau.

•
Vous avez effectué des recherches en mathématiques, en informatique théorique ou en physique théorique.

•
Vous avez de l'expérience avec les détails de bas niveau d'Ethereum

Nous accueillons des horizons divers. Certains profils non traditionnels qui peuvent convenir incluent le trading haute fréquence, le monde universitaire en mathématiques/physique/CS et l'ingénierie matérielle.

Pourquoi nous rejoindre

•
Vous serez l’un des premiers employés propriétaires à prendre des décisions techniques/produit clés.

•
Vous travaillerez sur une technologie révolutionnaire qui a le potentiel de devenir un élément clé de l’infrastructure de l’industrie de la cryptographie.

•
Vous recevrez un salaire compétitif avec équité.

•
Vous travaillerez et recevrez le mentorat d’une équipe exceptionnelle.

Notre équipe

Nos fondateurs Yi Sun et Jonathan Wang se sont rencontrés alors qu'ils étudiaient les mathématiques à Harvard et travaillent sur ZK depuis 2021. Ensemble, ils ont écrit certains des circuits ZK les plus performants pour la cryptographie à courbe elliptique et la lecture de données Ethereum avant de démarrer Axiom.

Avant Axiom, Yi était professeur à UChicago Statistics et a fait un doctorat en mathématiques au MIT. Il était auparavant conseiller pour Gauntlet et a travaillé dans une startup HFT depuis sa création jusqu'à son trading rentable. Jonathan a publié des recherches sur la théorie des nombres dans les meilleures revues mathématiques et a obtenu un doctorat en mathématiques à UChicago.

Le reste de notre petite mais incroyablement forte équipe comprend des anciens d'Applied Intuition, Coinbase, Color, Neon, Google et Perplexity ainsi que des docteurs en mathématiques/CS et des gagnants IMO/IPhO/Codeforces. Nous avons hâte de travailler avec vous !

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