Software Engineer (Prototype) - Innovation R&D
- Hiring Organisation
- Input Output Group
- Location
- Stoke-on-Trent, Staffordshire, UK
- Employment Type
- Full-time
technology company focused on Blockchain research and development. We are renowned for our scientific approach to blockchain development, emphasizing peer-reviewed research and formal methods to ensure security, scalability, and sustainability. Our projects include decentralized finance (DeFi), governance, and identity management, aiming to advance the capabilities and adoption of blockchain … OCaml, F#) Optional knowledge of formal specification language (e.g. Lean) Deep understanding of computer science fundamentals, including algorithms, data structures, and concurrency Knowledge of blockchain technology and its core concepts, such as consensus mechanisms, cryptography, and smart contracts Be knowledgeable of distributed and concurrent computation Be knowledgeable of the basics ...