Smart Contract Auditor (EVM, Daml)

We are looking for an EVM-focused smart contract security auditor with practical Daml/Canton experience.

• →Perform manual security reviews and static/dynamic analysis of smart contracts
• →Identify vulnerabilities including reentrancy, access control flaws, logic errors, economic exploits, and protocol-specific attack vectors
• →Deliver clear, actionable audit reports with severity ratings and remediation guidance
• →Collaborate with protocol teams to understand business logic, architecture, and threat models
• →Contribute to internal tooling, audit methodologies, and knowledge base
• →Stay current with latest exploits, attack vectors, and ecosystem developments

• 2+ years in smart contract auditing or security-focused smart contract development

• Strong EVM/Solidity protocol security experience, not only isolated contract review

• Experience or strong understanding of advanced EVM areas: 
  - account abstraction, smart accounts, paymasters, module systems 
  - Uniswap v3/v4-style liquidity systems, hooks, CLAMMs, DEX aggregators 
  - lending, vaults, stablecoins, staking, restaking, RWAs 
  - cross-chain messaging and bridges: LayerZero, Chainlink CCIP, CCTP, canonical bridges 
  - modular / upgradeable architectures, governance-controlled systems

• Practical Daml/Canton experience - strong Daml audit or development experience with security mindset is a plus

• Understanding of Daml security concepts: 
  - signatories, observers, controllers 
  - authorization and multi-party consent 
  - privacy / visibility boundaries and divulgence 
  - archive/create lifecycle and workflow state transitions 
  - practical understanding of Canton participant / synchronization model

• Ability to reason about complex protocol logic, economic assumptions, trust boundaries, and cross-contract / cross-system interactions

• Strong written communication for audit findings, PoCs, severity reasoning, and remediation guidance

• Public audit portfolio, bug bounty findings, CTFs, or security research

• Tooling experience: Foundry, Echidna, Medusa, Certora, Halmos, Daml Script/testing, Canton
  
  
  
  

• Experience with MEV, L2s, oracle systems, institutional/RWA systems, or permissioned blockchain deployments

• Functional programming background: Haskell, Scala, Daml, or similar strongly typed languages