Senior Compiler Developer
About the Role
You will work on an advanced automated formal verification tool for smart contracts. You will debug and extend a mature codebase, implement new features, develop tests, write documentation for new features, and ensure verification artifacts map back to high-level source. You will own end-to-end delivery of technical designs and quickly learn new languages and tools such as Kotlin and the Certora Prover specification language (CVL).
Requirements
- At least five years experience in compilers, interpreters, language design, operating systems, formal software verification, or program analysis
- Comfortable working with a mature, well-established codebase
- Excellent debugging skills
- Proven ability to work independently and deliver clean code on long-term projects
- Experience with code review and distributed version control
- Ability to provide meaningful and thorough feedback in code reviews
- Comfortable working remotely in a globally distributed team
- Good communication skills and ability to raise flags when progress is halted
- Familiarity with Kotlin and willingness to learn CVL
- Advantage: familiarity with static analysis techniques and/or SMT solvers
- Evidence of excellence including academic degrees
- Availability in a European time zone
Responsibilities
- Debug failures in existing code
- Deliver new features
- Develop tests
- Write public-facing documentation for new features
- Extend CVL to support additional Solidity data types
- Implement code-generation compatibility for eBPF and WASM
- Instrument programs for verification-condition generation
- Ensure traceability of SMT models and back-translation to high-level source
- Take ownership of transforming high-level ideas into concrete deliverables
- Familiarize quickly with new technologies and tools such as Kotlin and Certora Prover
Benefits
- equity
- remote work