Senior Python Developer - Web3 Security - Brno

You will be working on the data backend for an advanced state-of-the-art automated formal verification tool and be part of a small global team.

• This role is very flexible - you will be responsible for debugging failures in existing code, delivering new features, developing tests, writing public-facing documentation for new features, etc.
• Architect, design, and develop scalable data pipelines to process and analyze smart contract data
• Optimize data storage and retrieval processes to support real-time verification and analysis
• Collaborate with our formal verification team to integrate backend within our products
• Transform high-level ideas into the concrete deliverables

POŽADUJEME

Relevant skills

• Experience in software development with an emphasis on data engineering and analytics
• Advanced knowledge of Python
• Experience with ASGI/WSGI frameworks like Litestar, Flask, or FastAPI is nice to have
• Knowledge of SQL databases
• Experience with cloud environments - We are using AWS but experience with alternatives is enough
• Experience with code reviews (providing meaningful and thorough feedback) and distributed version control
• Good communication skills and ability to raise flags when progress is halted

NABÍZÍME

• Flexible working hours with HO options
• Small, agile, and friendly environment
• You will work with top professionals in the field of Mathematics and Computer Science in a fast-growing blockchain/web3 security company
• Opportunity to work on cutting-edge and challenging problems and State-of-the-art products
• Unlimited vacation
• Flexible working hours inside of European time zone
• Possibility to attend blockchain and formal verification-related conferences all around the world, or to visit other teams (mainly US and Israel)