Über
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.
Sprachkenntnisse
- English
Hinweis für Nutzer
Dieses Stellenangebot stammt von einer Partnerplattform von TieTalent. Klicken Sie auf „Jetzt Bewerben“, um Ihre Bewerbung direkt auf deren Website einzureichen.