Senior Software Engineer (Prototype) - Innovation R&D
- Hiring Organisation
- Input Output Group
- Location
- Watford, Hertfordshire, UK
- Employment Type
- Full-time
experience with formal specification languages (e.g., Lean, Coq, TLA+) to model and verify protocol behaviour when needed Strong theoretical grounding in computer science, including algorithms, data structures, concurrency models, and distributed systems design Comprehensive understanding of blockchain technology, including consensus mechanisms, applied cryptography, networking protocols, and smart contract frameworks Proven ...