Solidity Compiler Frontend Engineer

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