S'INSCRIRE
Retour aux emplois
XX
Frontend Engineer for Solidity Compiler DevelopmentCertiK • United States
Trouver des emplois similaires

Cette offre d'emploi n'est plus disponible

XX

Frontend Engineer for Solidity Compiler Development

CertiK
  • US
    United States
  • US
    United States
Trouver des emplois similaires

À propos

Join CertiK, one of the fastest-growing and most trusted companies in blockchain security, and play a pivotal role in shaping the future of blockchain technology. With over 4,798 clients and more than $597 billion in secured digital assets, you will work alongside industry leading clients such as Aave, Polygon, and Yearn. We are looking for an experienced Frontend Engineer to enhance our cutting-edge blockchain compiler infrastructure and formal verification tools. Your expertise will be crucial in developing and optimizing the frontend components of Solidity compilation pipelines, specifically focusing on static analysis, type checking, and formal verification integration. Responsibilities
Design and implement innovative frontend components for the Solidity compiler, including lexical analysis, parsing, AST generation, and semantic analysis. Boost compiler performance and enhance error reporting and diagnostics. Create integration layers between the Solidity compiler and formal verification tools. Contribute to the advancement of Solidity language features and specifications. Collaborate with security researchers to implement robust static analysis and security checks. Maintain and upgrade existing compiler infrastructure and tools. Requirements
3+ years of professional experience in Solidity compiler development or related compiler projects (e.g., EVM-based languages, smart contract compilers). Expertise in C++ with a comprehensive understanding of modern C++ standards (C++17/20). Solid grasp of compiler theory, covering parsing techniques, type systems, and intermediate representations. Experience with formal methods or formal verification tools (e.g., SMT solvers, theorem provers, or verification frameworks). Thorough understanding of the Ethereum Virtual Machine (EVM) and smart contract execution models. Outstanding problem-solving skills with great attention to detail. Preferred Qualifications
Experience with LLVM or similar compiler infrastructure. Knowledge of programming language semantics and type theory. Contributions to open-source compiler projects. Experience with Solidity or other blockchain programming languages. What We Offer: The chance to influence the national conversation on blockchain and security. Collaborate with top security researchers and technologists. A flexible work environment with a mission-driven culture. CertiK offers a competitive benefits package including medical, vision, and dental insurance, a 401(k) plan with company matching, life insurance, HSA, FSA, and more. We also provide flexible paid time off and holidays. All applicants will be required to verify identity and eligibility to work in the United States and complete the required employment eligibility verification form upon hire. CertiK is an equal opportunity employer and welcomes applicants from diverse backgrounds.
  • United States

Compétences linguistiques

  • English
Avis aux utilisateurs

Cette offre a été publiée par l’un de nos partenaires. Vous pouvez consulter l’offre originale ici.

Trouver des emplois similaires