Ingénieur front-end du compilateur Solidity

À propos de l'entreprise CertiK, l'une des sociétés les plus dynamiques et les plus fiables en matière de sécurité blockchain, est un véritable leader du marché. À ce jour, CertiK a travaillé avec plus de 4 798 clients, sécurisé plus de 597 milliards de dollars d'actifs numériques et surveillé plus de 17 000 projets. Nos clients comprennent des projets de premier plan tels que Aave, Polygon, Yearn et Chiliz.
Investisseurs = Insight Partners, Sequoia, Tiger Global, Coatue Management, Lightspeed, Advent International, SoftBank, Hillhouse Capital, Goldman Sachs, Shunwei Capital, IDG Capital, Wing, Legend Star, Danhua Capital et autres investisseurs.
À propos du rôle Nous recherchons un ingénieur frontend Solidity Compiler expérimenté pour rejoindre notre équipe travaillant sur une infrastructure de compilateur blockchain de pointe et des outils de vérification formelle. Vous participerez au développement et à l'optimisation des composants frontend des pipelines de compilation Solidity, en mettant l'accent sur l'analyse statique, la vérification de type et l'intégration avec des systèmes de vérification formels.

Responsabilités

• Concevoir et implémenter des composants frontend pour le compilateur Solidity, y compris l'analyse lexicale, l'analyse syntaxique, la génération AST et l'analyse sémantique.

• Optimiser les performances du compilateur et améliorer les rapports d'erreurs et les diagnostics.

• Développer des couches d'intégration entre le compilateur Solidity et les outils de vérification formelle.

• Contribuer à l'évolution des fonctionnalités et des spécifications du langage Solidity.

• Collaborer avec des chercheurs en sécurité pour mettre en œuvre des analyses statiques et des contrôles de sécurité.

• Maintenir et améliorer l'infrastructure et les outils du compilateur existants.
Exigences

• Au moins 3 ans d'expérience professionnelle dans le développement de compilateurs Solidity ou dans des projets de compilateurs connexes (par exemple, langages basés sur EVM, compilateurs de contrats intelligents)

• Forte maîtrise de Java avec une compréhension approfondie du développement et de l'optimisation de compilateurs basés sur Java.

• Base solide en théorie des compilateurs, y compris les techniques d'analyse, les systèmes de types et les représentations intermédiaires

• Expérience avec les méthodes formelles ou les outils de vérification formels (par exemple, solveurs SMT, prouveurs de théorèmes ou cadres de vérification)

• Bonne compréhension de la machine virtuelle Ethereum (EVM) et des modèles d'exécution de contrats intelligents

• Excellentes compétences en résolution de problèmes et souci du détail
Qualifications préférées

• Expérience avec LLVM ou une infrastructure de compilateur similaire

• Connaissance de la sémantique des langages de programmation et de la théorie des types

• Contributions à des projets de compilateur open source

• Expérience avec Solidity ou d'autres langages de programmation blockchain
Ce que nous proposons

• Possibilité de façonner le débat national sur la blockchain et la sécurité.

• Collaborer avec des chercheurs, des technologues et des institutions mondiales de pointe en matière de sécurité.

• Environnement de travail flexible et culture axée sur la mission.
Rémunération : si le poste est exercé aux États-Unis, la rémunération annuelle cible est de 140 000 $ à 220 000 $. La rémunération exacte à laquelle ce poste sera pourvu sera déterminée par les compétences et l'expérience des candidats qualifiés.
#blockchain#startups#embauche
CertiK accepte les candidatures pour ce poste sur une base continue.
CertiK est fier d'offrir une assurance médicale, visuelle et dentaire, un plan 401(k) avec contrepartie d'entreprise, une assurance vie et décès et mutilation accidentels, HSA (avec plan à franchise élevée), FSA et d'autres avantages à tous les employés à temps plein, ainsi que des congés et des vacances payés flexibles. CertiK propose également un programme de commissions variables pour les postes de vente en développement commercial.
Conformément à la loi fédérale, toutes les personnes embauchées devront vérifier leur identité et leur éligibilité à travailler aux États-Unis et remplir le formulaire de vérification d'éligibilité à l'emploi requis lors de l'embauche.
CertiK est fier d'être un employeur garantissant l'égalité des chances. Nous ne ferons aucune discrimination à l'égard de tout candidat ou employé sur la base de l'âge, de la race, de la couleur, de la croyance, de la religion, du sexe, de l'orientation sexuelle, du genre, de l'identité ou de l'expression de genre, de l'état de santé, de l'origine nationale, de l'ascendance, de la citoyenneté, de l'état civil ou du statut de partenariat/union civile, d'un handicap physique ou mental, d'une grossesse, d'un accouchement, d'informations génétiques, du statut de militaire ou d'ancien combattant, ou toute autre base interdite par la loi fédérale, étatique ou locale applicable.
CertiK examinera les candidats qualifiés ayant des antécédents criminels d'une manière conforme aux exigences locales et fédérales. https://www.eeoc.gov/sites/default/files/migrated_files/employers/poster_screen_reader_optimized.pdf
Tous les employés de CertiK doivent soutenir activement la diversité au sein de leurs équipes et dans l'entreprise.

Source : Jobicy (https://jobicy.com/jobs/142139-solidity-compiler-frontend-engineer)