Mid Level Smart Contract Engineer
G-20 Group
- Zürich
- Unbefristet
- Vollzeit
- Operator Registration & Lifecycle: Build and maintain the end-to-end operator registration flow, including collateral locking, credential submission, and market configuration. Enable seamless addition of new markets without re-registration and ensure clear separation of operator identity and market parameters.
- Stake Management & Slashing: Develop smart contracts for staking, unstaking (with cooldowns), and handling partial/full slashing. Implement co-staker models with fair fee distribution and robust handling of all slashing edge cases.
- Fee Distribution Automation: Automate fee collection and distribution across treasury, co-stakers, and liquidity participants with transparent, auditable, and fully autonomous systems.
- Agent & Bot Interfaces: Design efficient on-chain interfaces for AI agents and trading bots, including batch operations and data queries. Provide well-documented SDKs in Python, TypeScript, and Rust.
- Market Governance: Implement secure governance for updating market parameters, incorporating safeguards such as timelocks, multi-sig approvals, and on-chain auditability.
- Security & Audit Readiness: Ensure audit-ready code with comprehensive testing (including fuzzing and invariants) and support external audits and bug bounty programs.
- Bachelors degree (minimum) in Computer Science, Engineering, Mathematics, Data Science, or a related field, top-tier university preferred
- Strong written and verbal communication skills
- Solidity Expertise: 3+ years of production experience in smart contract development. Strong understanding of the EVM, including gas optimization, storage layout, proxy patterns, and reentrancy protection.
- Foundry Proficiency: Experience using Foundry as a primary development framework, including Forge testing, fuzz testing, invariant testing, and scripted deployments. Demonstrated ability to achieve high test coverage across security-critical code paths.
- DeFi Perpetuals Knowledge: Solid understanding of perpetual futures architecture, including funding rates, mark vs. index pricing, liquidation mechanisms, and auto-deleveraging. Familiarity with design approaches across leading on-chain perpetual protocols.
- Security-Oriented Mindset: Strong awareness of smart contract attack vectors and exploit patterns, including flash loans, oracle manipulation, access control vulnerabilities, and front-running. Experience preparing codebases for external security audits.
- Governance & Access Control: Experience implementing and managing multi-signature wallets, timelock mechanisms, and secure on-chain parameter governance with safe upgrade patterns.
- SDK & Interface Design: Proven ability to design clean and developer-friendly ABIs, emit events for off-chain indexing, write comprehensive NatSpec documentation, and generate typed SDK bindings across multiple programming languages.
- Rust smart contracts: Smart contract development in Rust-based environments (Solana, NEAR, CosmWasm).
- Formal verification: Experience with Certora, Halmos, or symbolic execution tools for proving contract invariants.
- Oracle & cross-chain patterns: Understanding of how off-chain data (oracle prices, external state) is delivered to on-chain contracts and the trust assumptions involved.
- RWA tokenisation: Familiarity with tokenised real-world asset protocols and how their collateral types integrate with DeFi margin and lending systems.
- Institutional custody integration: Experience integrating institutional custody solutions (MPC-based or equivalent) for programmatic transaction signing.