Solidity Compiler Frontend Engineer

From the original post

Overview CertiK, one of the fastest-growing and most trusted companies in blockchain security, is looking to expand its team with a Solidity Compiler Frontend Engineer. This role involves working on cutting-edge blockchain compiler infrastructure alongside a plethora of reputable clients and investors. CertiK has an impressive portfolio, securing over $597 billion worth of digital assets and monitoring over 17,000 projects with some renowned clients like Aave and Polygon. About CertiK Founded with the vision to provide improved security for blockchain projects, CertiK has solidified its position as a market leader with a commitment to delivering high-quality security solutions. Their client base consists of more than 4,798 clients, proving their capability to earn trust within a competitive industry. The company is backed by major investors including Insight Partners, Sequoia, and Goldman Sachs, which underscores its stability and growth potential. The position of Solidity Compiler Frontend Engineer is critical as it focuses on the development and optimization of frontend components of Solidity compilation pipelines. The successful candidate will engage in various responsibilities, including: Designing and implementing frontend components for the Solidity compiler. These include aspects like lexical analysis, parsing, AST generation, and semantic analysis. Optimizing compiler performance while enhancing error reporting and diagnostics. Developing integration layers between the Solidity compiler and formal verification tools. Contributing to the evolution of Solidity's language features and specifications by collaborating with security researchers. Maintaining and improving existing compiler infrastructure and tooling to ensure efficiency and performance. Required Skills To be considered for the role of Solidity Compiler Frontend Engineer, applicants will need to fulfill particular educational and experiential prerequisites: A minimum of 3 years of professional experience in Solidity compiler development or related compiler projects (e.g. EVM-based languages). A strong proficiency in Java, with a thorough understanding of Java-based compiler development and optimization techniques. A solid grasp of compiler theory, particularly involving parsing techniques and type systems. Familiarity or experience with formal methods or formal verification tools such as SMT solvers, theorem provers, or verification frameworks. An excellent understanding of the Ethereum Virtual Machine (EVM) and smart contract execution models, which are crucial in the blockchain context. Problem-solving skills and meticulous attention to detail are essential for the successful candidate. Preferred Qualifications In addition to the basic requirements, some preferences may help applicants stand out: Experience with LLVM or similar compiler infrastructure. Knowledge of programming language semantics and type theory. Contributions to open-source compiler projects or familiarity with Solidity or other blockchain programming languages. Compensation For candidates working in the US, the anticipated annual compensation for the position ranges from $140,000 to $220,000. This range indicates CertiK's commitment to attracting skilled professionals while ensuring the compensation reflects the candidate's skills and experience levels. Benefits CertiK proudly offers a comprehensive benefits package to its full-time employees. This includes: Medical, vision, and dental insurance. A 401(k) plan with matching contributions from the company. Life and accidental death insurance, along with health savings accounts (HSA) and flexible spending accounts (FSA). Generous flexible paid time off and holiday policies to promote work-life balance. A variable commission program tailored for business development roles. Company Culture CertiK prides itself on maintaining a mission-driven culture that emphasizes collaboration with industry-leading researchers and a diverse workforce. As an equal opportunity employer, CertiK actively supports diversity within its teams, ensuring a workplace free from discrimination based on various personal characteristics. The company states its commitment to maintaining an inclusive environment by welcoming applicants from all backgrounds. Conclusion The Solidity Compiler Frontend Engineer position at CertiK presents an exciting opportunity to engage with groundbreaking technology in the blockchain sphere. Those interested in forging a career at the forefront of blockchain security should consider applying for this role that promises a competitive salary, collaborative culture, and excellent benefits.