CertiK is hiring a Solidity Compiler Frontend Engineer to advance the Solidity compilation frontend and its integration with formal verification tools. You will work on lexical analysis, parsing, AST generation, and semantic analysis to improve performance and diagnostics.
Ideal candidates have 3+ years in Solidity compiler work, strong Java skills, and a solid grasp of compiler theory and verification frameworks.
#J-18808-LjbffrRemote Solidity Compiler Frontend Engineer in northern at Unknown Company
This position is listed as full time and onsite.