Mission

Implémenter en rust un compilateur pour le langage Cairo zero.

Objective

1. Monter en compétence sur la language et le compilateur actuel en python
2. Développer de zéro un compilateur en rust qui soit facilement adaptable à de nouvelles syntaxes et cibles

What’s in it for you

En rejoignant KKRT Labs, vous embarquerez pour un voyage à la frontière de l'informatique “vérifiable”, un nouveau paradigme qui devrait changer la façon dont l'information est partagée et utilisée dans un avenir proche. Vous contribuerez à la mise à l'échelle d'Ethereum, la principale blockchain applicative, et aiderez à décentraliser tout ce qui peut l’être.

Pour plus d’informations, rendez-vous sur Working at KKRT Labs

Competences

• Intelligence : faculté de comprendre, de ne pas se méprendre sur le sens des mots, la nature des choses, d’acquérir rapidement une connaissance approfondie, nette et facile
  • Vous n’avez probablement jamais étudié le langage Cairo. Il vous faudra donc absorber la documentation (limitée) en un temps limité
• Curiosité : désir, empressement de voir, d’apprendre des choses nouvelles et intéressantes
  • Nous travaillons avec une technologie peu mature, en constante innovation ; vous devez aimer découvrir et questionner beaucoup
• Exigence : ne se satisfait pas d’une production de qualité moyenne mais cherche à ne réaliser rien d’autre que le meilleur
  • Nous ne sommes pas dans la production de masse mais devons délivrer quelques logiciels de grande qualité. Il ne s’agit pas de faire du 80/20 mais bien de développer, dans le détail, un produit de qualité
• Ouverture d’esprit : aisance avec les réactions et commentaires reçus, qu’ils soient positifs ou négatifs
  • Nous préférons une communication directe et franche
• Esprit de synthèse : capacité de produire un exposé succinct sur un sujet et de capacité de généralisation

Skills

Les compétences énumérées sont utiles mais peuvent toujours être apprises, pas d’inquiétude si vous ne les possédez pas toutes !

Tech

• expérience avec un langage fortement typé (typescript, rust, java)
• expérience dans la conception des compilateurs
• expérience en LLVM/MLIR

Science

• à l'aise avec les articles de recherche
• à l'aise avec les mathématiques derrière ZKP & STARK

Langue

L'équipe est majoritairement francophone mais l'anglais est obligatoire.

<aside> <img src="/icons/cursor-click_gray.svg" alt="/icons/cursor-click_gray.svg" width="40px" /> Apply now

Please note that we are currently hiring people who are willing and able to relocate to Paris for this position.

</aside>