Certik
Solidity Compiler Frontend Engineer
US / Remote (Remote)full-timemidAdded 1 month ago
About this role
CertiK, a leading blockchain security company, is hiring a Solidity Compiler Frontend Engineer to develop and optimize frontend components of Solidity compilation pipelines, focusing on static analysis, type checking, and formal verification integration.
What you'll do
- Develop and optimize frontend components of Solidity compilation pipelines
- Implement static analysis and type checking mechanisms
- Integrate formal verification systems with compiler infrastructure
- Work on cutting-edge blockchain compiler infrastructure
- Collaborate on compiler optimization initiatives
What they're looking for
- Solidity programming
- Compiler design and development
- Static analysis techniques
- Type system implementation
- Formal verification knowledge
- Blockchain technology understanding
- C++ or similar systems programming language
- Software architecture and optimization
Opens the application — the Jobs AI extension fills it for you. Set up autofill
Opens the official application on the employer’s site. No login required.
Certik
CertiK is a blockchain security company that develops security tools and auditing services to protect smart contracts and digital assets. The company is hiring for technical roles including compiler engineers and blockchain security engineers to support its security infrastructure and audit operations.
- Website
- certik.com
Likely interview questions
- What experience do you have working with compiler frontends, and how have you approached parsing or analyzing smart contract code?
- Describe your experience with Solidity. Have you worked on tooling, analysis, or compilation-related projects in the Solidity ecosystem?