Lead Blockchain Security Developer (Canton)

Tasks

• Apply formal analysis
• Architect DeFi reference applications
• Build AI engineering workflows
• Conduct security design reviews
• Enhance vulnerability discovery with AI
• Execute fuzzing
• Implement protocol standards
• Improve protocol tooling and SDKs
• Lead smart contract library development
• Perform threat modeling
• Prepare audit support
• Research privacy preserving financial systems
• Run invariant testing

Perks/Benefits

• Flexible time off
• Fully remote
• Global team gatherings
• Home office & equipment stipend
• Learning and development support
• Medical insurance
• Paid parental leave
• Work-life balance support

Skills/Tech-stack

AI Automation | Canton | Cardano | Chainlink CCIP | Choices | Confidential Auctions | Cross-Chain | Cross-chain interoperability | Cryptography | DAML | DeFi | Decentralized exchange | Formal analysis | Formal verification | Fuzz testing | Fuzzing | Invariant Testing | LayerZero | Lending Protocols | Messaging gateways | Mina | Multi Party Authorization | Privacy Preserving Decentralized Exchange | Privacy-preserving | RBAC | Security auditing | Smart contracts | Stablecoin Settlement | Static Analysis | Templates | Threat modeling | UTXO | Vaults | Wormhole | Zcash