The Statebox Language

The Statebox language is built using a functional programming approach which utilizes, amongst other things, category theory, Petri nets, open games, logic programming and cryptography.

End-to-end correctness proofs are a fundamental design principle, not an afterthought and the core of the language is a mathematically minimalistic structure, aimed to facilitate reasoning about its behaviour.


The Statebox team and advisors consist of world renowned experts in mathematics, computer science and blockchain technology. By combining a strong scientific research method with engineering we are building the next generation of computer systems.



If you have a technical background, especially involving functional programming, blockchain, type theory, category theory, petri nets, security or related expertise we would like to hear from you. Note that we are not hiring at the moment, but we will consider your application when this is the case in the future.

Subscribe to our email list to stay up to date!