Rust Developer
Software Engineer โ Backend ยท Developer Infrastructure ยท Ai Tooling & Agent Workflows
Software Engineer with 5 years of experience building backend systems, developer infrastructure, blockchain tooling, DeFi protocols, and AI tooling for agentic workflows. Strong in Rust, TypeScript, Python, Go, distributed systems, and developer productivity tooling. Built Starknet ecosystem infrastructure and shipped AI-assisted products spanning prompt-history mining, skill generation, validation, automation, and controlled execution. Seeking fully remote backend, platform, developer tools, or AI tooling roles.
Experience: 5 years
Yearly salary: $90,000
Hourly rate: $50
Nationality: ๐ฎ๐น Italy
Residency: ๐ Remote
Experience
Software Engineer
Nethermind 2024 - 2026
Built backend systems and developer tooling in Rust, TypeScript, Python, Cairo, and Solidity for infrastructure, verification, automation, and developer workflows. Developed AggSandbox, a Rust CLI for local multichain infrastructure, transaction execution, bridge testing, and debugging across Starknet, AggLayer, and EVM environments. Maintained Voyager Verifier, improving Starknet contract verification through compiler compatibility work, metadata validation, clearer diagnostics, and workflow reliability improvements. Contributed sncast verify functionality to Starknet Foundry, expanding contract verification support for Starknet developers. Built integrations across Starknet, LayerZero, Hyperlane, AggLayer, and EVM ecosystems for cross-chain messaging, local testing, and infrastructure validation. Developed ZK infrastructure components, including Groth16 verification and Ethereum-to-Starknet data proving systems. Built internal AI-assisted engineering workflows focused on automation, validation, traceability, controlled execution, and developer productivity.
Skills
golang
node
python
rust
solidity
typescript
english