Solidity Compiler Frontend Engineer
标签：Web3工作 • Web3稳定性工作 • Web 3前端工作 • Web 4 Java 工作 • Web 5 智能合同工作 •区块链安全工作 • Web 6 远程工作 • Web 7 网络工作关于公司一个在区块链保护领域增长最快，最可靠的公司之一，CertiK 是真正的市场领导者。迄今为止，Certik 与超过 4,798 名客户合作，获得了价值 597 亿美元的数字资产，并监督了 17,000 多个项目。我们的客户包括 Aave,Polygon,Yearn 和 Chiliz 等领先项目.Investors = Insight Partners,Sequoia,Tiger Global,Coatue Management,Lightspeed,Advent International,SoftBank,Hillhouse Capital,Goldman Sachs,Shunwei Capital,IDG Capital,Wing,Legend Star,Danhua Capital 和其他投资者。关于角色我们正在寻找一个经验丰富的固体编译前端工程师加入我们的团队，在尖端区块链编译基础设施和正式验证工具上工作。你将参与开发和优化 Solidity 编译管道的前端组件，重点是静态分析，类型检查和与正式验证系统集成。责任设计和实施 Solidity 汇编器的前端部件，包括词语分析，解析，AST 生成和语义分析。优化编译器性能并改善错误报告和诊断。发展 Solidity 复合器和官方验证工具之间的集成层。促进 Solidity 语言特性和规范的进化。与安全研究人员合作实现静态分析和安全检查。保持一个 提高现有编译器基础设施和工具。要求3年以上在固体编译器开发或相关编译项目方面的专业经验 （例如，基于 EVM 的语言，智能合同编译器）高度掌握 Java,深入了解 Java 为基础的编译器发展和优化，包括解析技术，类型系统和中间表示的基础，具有正式方法或形式的验证工具的经验 （如 SMT 解决方案，定理证明程序或验证框架）.对以太坊虚拟机 (EVM) 和智能合约执行模型的强大理解 详细优先资格与 LLVM 或类似编译器基础设施的经验，对编程语言语义和类型理论的知识
查看英文原文
Tags: Web3 Jobs • Web3 Solidity Jobs • Web3 Frontend Jobs • Web3 Java Jobs • Web3 Smart Contract Jobs • Blockchain Security Jobs • Web3 Remote Jobs • Web3 Web3 JobsAbout the CompanyOne of the fastest-growing and most trusted companies in blockchain security, CertiK is a true market leader. To date, CertiK has worked with over 4,798 clients, secured over $597 billion worth of digital assets, and has monitored over 17,000 projects. Our clients include leading projects such as Aave, Polygon, Yearn, and Chiliz.Investors = Insight Partners, Sequoia, Tiger Global, Coatue Management, Lightspeed, Advent International, SoftBank, Hillhouse Capital, Goldman Sachs, Shunwei Capital, IDG Capital, Wing, Legend Star, Danhua Capital and other investors.About the RoleWe are seeking an experienced Solidity Compiler Frontend Engineer to join our team working on cutting-edge blockchain compiler infrastructure and formal verification tools. You will participate in developing and optimizing the frontend components of Solidity compilation pipelines, with a focus on static analysis, type checking, and integration with formal verification systems.ResponsibilitiesDesign and implement frontend components for the Solidity compiler, including lexical analysis, parsing, AST generation, and semantic analysis.Optimize compiler performance and improve error reporting and diagnostics.Develop integration layers between the Solidity compiler and formal verification tools.Contribute to the evolution of Solidity language features and specification.Collaborate with security researchers to implement static analysis and security checks.Maintain and improve existing compiler infrastructure and tooling.Requirements3+ years of professional experience in Solidity compiler development or related compiler projects (e.g., EVM-based languages, smart contract compilers)Strong proficiency in Java with deep understanding of Java based compiler development and optimizationSolid foundation in compiler theory, including parsing techniques, type systems, and intermediate representationsExperience with formal methods or formal verification tools (e.g., SMT solvers, theorem provers, or verification frameworks)Strong understanding of the Ethereum Virtual Machine (EVM) and smart contract execution modelsExcellent problem-solving skills and attention to detailPreferred QualificationsExperience with LLVM or similar compiler infrastructureKnowledge of programming language semantics and type theoryContributions to open-source compiler projectsExperience with Solidity or other blockchain programming languagesWhat We OfferOpportunity to shape the national conversation on blockchain and security.Collaborate with industry-leading security researchers, technologists, and global institutions.Flexible work environment and mission-driven culture.Compensation: If the role is performed in the US, the target annual compensation is $140,000 - $220,000. The exact compensation at which this job is filled will be determined by the skills and experience of qualified candidates.#blockchain#startups#hiringCertiK accepts applications for this position on an ongoing basis.CertiK is proud to offer medical, vision, and dental insurance, 401(k) plan with company matching, life and accidental death and dismemberment insurance, HSA (with high deductible plan), FSA, and other benefits to all full-time employees, along with flexible paid time off and holidays. CertiK also offers a variable commission program for business development sales roles.In compliance with federal law, all persons hired will be required to verify identity and eligibility to work in the United States and to complete the required employment eligibility verification form upon hire.CertiK is proud to be an equal opportunity employer. We will not discriminate against any applicant or employee on the basis of age, race, color, creed, religion, sex, sexual orientation, gender, gender identity or expression, medical condition, national origin, ancestry, citizenship, marital status or civil partnership/union status, physical or mental disability, pregnancy, childbirth, genetic information, military and veteran status, or any other basis prohibited by applicable federal, state or local law.CertiK will consider for employment qualified applicants with criminal histories in a manner consistent with local and federal requirements.https://www.eeoc.gov/sites/default/files/migrated_files/employers/poster_screen_reader_optimized.pdfAll CertiK employees are expected to actively support diversity on their teams, and in the Company.We may use artificial intelligence (AI) tools to support parts of the hiring process, such as reviewing applications, analyzing resumes, or assessing responses and identifying potential inconsistencies or verification signals in application materials based on available information. These tools assist our recruitment team but do not replace human judgment. Final hiring decisions are ultimately made by humans. If you would like more information about how your data is processed, please contact us.Apply here 👉 Solidity Compiler Frontend Engineer