Senior Smart Contract Engineer

Role overview

Build and maintain the core contracts behind a digital currency protocol. You will own security across the contract lifecycle, from defining the properties the system must preserve to testing implementations and addressing audit findings.

Responsibilities - Design and implement protocol smart contracts. - Specify formal invariants that describe expected contract behavior. - Use fuzz testing to probe contract behavior and uncover edge cases. - Resolve issues identified through security audits.

Requirements - Experience engineering smart contracts and protocol contracts. - Ability to define and reason about formal security invariants. - Experience with fuzz testing and security audit remediation.