Rust Developer

Security & Systems Architect

 Smart Contracts & Security: Solidity 0.8.x, Foundry (fuzz/invariant), Hardhat, Slither, security reviews, threat modeling Backend / Systems: Rust, Go, Python, C/C++; WebSockets, async IO, RPC/WS orchestration Trading / Realtime: Order book microstructure, execution engines, monitoring/operations, fault tolerance Architecture & Infra: Multi-service systems, pipelines, multi-chain deployments, Docker, CI/CD, API design Chains: Ethereum + L2s (Arbitrum/Optimism/Base/Polygon/BSC/Avalanche), Solana SELECTED PROJECTS SKY-SCRAPER (2025–Present) — Smart contract security scanner 52-crate Rust workspace, 101,000+ LOC; 12-layer sequential pipeline with 51 parallel detection engines Taint analysis (bitmask propagation), symbolic execution, constraint solving, CFG/dataflow analysis, bytecode disassembly DeFi-native fuzzer: 300+ magic values (Uniswap V3 ticks, Curve A params, Aave health factors, ERC4626 inflation vectors) Attack-Cube: recursive ExploitNode model with real-world templates (Euler $197M, Cream $130M, Beanstalk $182M patterns) AI zero-day synthesis, automatic Foundry PoC + test generation, assumption-based exploit database Built with revm, alloy-primitives, tree-sitter-solidity, petgraph, rayon, tokio REVERSO PROTOCOL (2024–Present) — First reversible transaction protocol on EVM 3-contract stack (1,840 LOC): multisig, 24h timelock, circuit breaker, on-chain anomaly detection Live on 7 chains; verified on Etherscan; Foundry fuzz + Slither static analysis github.com/conditional-team/reverso | Live: reverso.one SENTINEL (2024–Present) — Multi-chain smart contract security suite 5-language stack (Go, Rust, Python, Solidity, TypeScript): bytecode decompiler, multi-chain scanner, risk analyzer, 16 EVM chains ~90,000 tests across all components; Docker microservices, CI/CD, Foundry fuzz testing LOW-LATENCY TRADING SYSTEMS (2022–Present) — Production trading infrastructure Rust engine: sub-ms latency, 6,000+ orders/day, multi-WS/RPC fallback, tick-level signals Flash loan arbitrage + atomic swaps via Flashbots/bloXroute; cross-chain EVM/Solana execution 


Experience: 5 years

Yearly salary: $130,000

Hourly rate: $130

Nationality: 🌏 Remote

Residency: 🇨🇭 Switzerland


Experience

CNC Programmer
MCS Stampi
2017 - 2020
Programmed 5-axis CNC machining operations using Tebis and CAD/CAM software for precision mold manufacturing. Designed toolpaths and technical drawings in a team-based production environment.

Skills

backend
blockchain-engineer
golang
python
security
smart-contract
solidity
system-engineer
web3
rust
english
italian