CertiK

Frontend Engineer

• Design 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.

Solidity Compiler Frontend Engineer

Blockchain Engineer

• Blockchain Security Engineer - (Solidity / Rust / Golang)

Solidity Compiler Frontend Engineer

Blockchain Security Engineer, Solidity / Rust / Golang