We believe in the flourishing of better relationships between people and protocols.
Our work has three themes, reflecting the three key aspects of our mission: verifiable, systems, and organizations.
We make formal verification technology more accessible by developing tools and processes to improve the quality and experience of software engineering. We believe that accessible specification languages, powerful solvers, and toolkits for integrating with modern software can transform our ability to build and maintain critical, trusted systems.
We are a core developer of the Cosmos Network, where we focus on sovereign, interoperable technologies for more sustainable communities. We believe that system scaling is as much a social problem as it is a technical one, and that fixing the exploitative monetization of the internet may require a renewed understanding of money itself.
We are structured as a workers co-operative, organized around a collaborative web of workflows. We believe in a more sustainable form of technology organization that nurtures its employees and improves its society.
Approach the world with open curiosity
Research, experiment, measure, validate
Balance planning and improvisation
Psychological safety first
Help others help you, recursively
Responsibility is for the taking
Push boundaries, raise the bar
We are a worker-owned organization, composed of a diverse group of people from around the world. Join us!
Adi is a Research Engineer focused on Distributed Systems at Informal. He likes understanding and building distributed systems, making them faster and more resilient. Despite knowing that time is an illusion, the goal of his life is to build things – distributed systems, and not only – that last.
Adi is a Research Engineer focused on Distributed Systems at Informal. He likes understanding and building distributed systems, making them faster and more resilient. Despite knowing that time is an illusion, the goal of his life is to build things – distributed systems, and not only – that last.
Anca is a Software Engineer focused on Distributed Systems at Informal. She works on protocol specification and development. Besides blockchain technology, Anca likes skiing, swimming and painting.
Anca is a Software Engineer focused on Distributed Systems at Informal. She works on protocol specification and development. Besides blockchain technology, Anca likes skiing, swimming and painting.
Andrey is a Research Engineer focusing on developing practical verification methods and tools. He strives to make computer systems reliable by combining simplicity and elegance of design with bug-fixing through verification. Outside of work, Andrey enjoys reading and playing the trumpet.
Andrey is a Research Engineer focusing on developing practical verification methods and tools. He strives to make computer systems reliable by combining simplicity and elegance of design with bug-fixing through verification. Outside of work, Andrey enjoys reading and playing the trumpet.
Andy is a Developer Advocate and Software Engineer at Informal. He believes that creating successful ecosystems is a combination of getting the right people and groups working together in a cohesive and trusting way to benefit all the participants. He enjoys reading, photography, swimming and playing tennis.
Andy is a Developer Advocate and Software Engineer at Informal. He believes that creating successful ecosystems is a combination of getting the right people and groups working together in a cohesive and trusting way to benefit all the participants. He enjoys reading, photography, swimming and playing tennis.
Arianne is COO at Informal focusing on overseeing company operations and procedures. She believes that value should be shared among those who create it. Outside of work you’ll find her practicing yoga, teaching math, and with her dog Millie.
Arianne is COO at Informal focusing on overseeing company operations and procedures. She believes that value should be shared among those who create it. Outside of work you’ll find her practicing yoga, teaching math, and with her dog Millie.
Cezara is Principal Scientist at Informal. She is interested in increasing confidence in consensus solutions and in their impact. She uses formal methods to structure the thought process and make great things better.
Cezara is Principal Scientist at Informal. She is interested in increasing confidence in consensus solutions and in their impact. She uses formal methods to structure the thought process and make great things better.
Ethan is CEO at Informal. He sees consensus algorithms as a 21st century means for promoting social cohesion. He is driven to empower humans with new ways to coordinate and reach agreement at scale.
Ethan is CEO at Informal. He sees consensus algorithms as a 21st century means for promoting social cohesion. He is driven to empower humans with new ways to coordinate and reach agreement at scale.
Greg is Infrastructure and Security Lead at Informal. He leads infrastructure projects that build tools and services for Informal and the Cosmos ecosystem. He believes that using IT infrastructure should be a seamless experience that enables customers to focus on their goals, instead of fighting the servers.
Greg is Infrastructure and Security Lead at Informal. He leads infrastructure projects that build tools and services for Informal and the Cosmos ecosystem. He believes that using IT infrastructure should be a seamless experience that enables customers to focus on their goals, instead of fighting the servers.
Igor is a Principal Scientist at Informal. He believes that computer-aided verification is up to the challenges of finding bugs in industrial consensus protocols and proving their correctness. Igor focuses on specification and verification of fault-tolerant distributed algorithms as well as improving the verification tools. Igor enjoys reading and riding hills on a bike or ski.
Igor is a Principal Scientist at Informal. He believes that computer-aided verification is up to the challenges of finding bugs in industrial consensus protocols and proving their correctness. Igor focuses on specification and verification of fault-tolerant distributed algorithms as well as improving the verification tools. Igor enjoys reading and riding hills on a bike or ski.
Jehan is a senior rust engineer at Informal, exploring how formal verification techniques can help teams build provably correct decentralized protocols at a velocity not previously possible. Previously, he helped design and build the Gravity Cosmos-Ethereum bridge, and before that served as CEO of Althea.
Jehan is a senior rust engineer at Informal, exploring how formal verification techniques can help teams build provably correct decentralized protocols at a velocity not previously possible. Previously, he helped design and build the Gravity Cosmos-Ethereum bridge, and before that served as CEO of Althea.
Jelena is Operations Manager at Informal Systems working to scale up company procedures and processes. She loves to read authors she disagrees with and enjoys taking her Nikon FE2 on long walks. She believes that the forthcoming decentralized digital world will be more beautiful and empowering than the last.
Jelena is Operations Manager at Informal Systems working to scale up company procedures and processes. She loves to read authors she disagrees with and enjoys taking her Nikon FE2 on long walks. She believes that the forthcoming decentralized digital world will be more beautiful and empowering than the last.
Josef is a Principal Scientist at Informal and focuses on fault-tolerant distributed protocols, their formal specification, and their automated verification. Josef believes in math and logic. He enjoys Yoga, all kinds of music, and being at the seaside.
Josef is a Principal Scientist at Informal and focuses on fault-tolerant distributed protocols, their formal specification, and their automated verification. Josef believes in math and logic. He enjoys Yoga, all kinds of music, and being at the seaside.
Joshua is the Cephalopod community manager at Informal Systems. His mission is to connect ecosystems and build communities. He believes that open-source blockchain technology empowers communities with tools to drive change and lead through innovation. Outside of work he likes to spend time in forests surrounded by trees.
Joshua is the Cephalopod community manager at Informal Systems. His mission is to connect ecosystems and build communities. He believes that open-source blockchain technology empowers communities with tools to drive change and lead through innovation. Outside of work he likes to spend time in forests surrounded by trees.
Jure is a Verification Engineer at Informal, based in Vienna. As part of his doctoral work, he co-lead the design and development of the Apalache model checker for TLA+. He works on formal verification and analysis of distributed protocols and systems.
Jure is a Verification Engineer at Informal, based in Vienna. As part of his doctoral work, he co-lead the design and development of the Apalache model checker for TLA+. He works on formal verification and analysis of distributed protocols and systems.
Marie works on product development to support local money and mutual credit systems. She cares about building resilient and equitable systems, that incentivize cooperation and sustainability.
Marie works on product development to support local money and mutual credit systems. She cares about building resilient and equitable systems, that incentivize cooperation and sustainability.
Mircea is an Infrastructure Engineer at Informal who works on operating networks for blockchain projects. Mircea is awesome at designing & implementing infrastructure solutions on many platforms and at breaking software. He is based in Toronto and when he’s not coding, you can find him in Rocket League and other competitive video game scenes.
Mircea is an Infrastructure Engineer at Informal who works on operating networks for blockchain projects. Mircea is awesome at designing & implementing infrastructure solutions on many platforms and at breaking software. He is based in Toronto and when he’s not coding, you can find him in Rocket League and other competitive video game scenes.
Preet is a design consultant at Informal working to setup the team’s design practice including people, design ops and our brand identity. He is a big believer and proponent of the power of communities and bringing good people together to do great things.
Preet is a design consultant at Informal working to setup the team’s design practice including people, design ops and our brand identity. He is a big believer and proponent of the power of communities and bringing good people together to do great things.
Raj is Finance & Operations Manager at Informal supporting, contributing and managing company accounting, finance and processes. He believes in the future of this technology and the impact this will have on the world. Outside of work you’ll find him hiking in nature or meditating.
Raj is Finance & Operations Manager at Informal supporting, contributing and managing company accounting, finance and processes. He believes in the future of this technology and the impact this will have on the world. Outside of work you’ll find him hiking in nature or meditating.
Ranadeep is a Research Engineer at Informal based in Paris. He uses model-based testing to expose bugs in distributed systems. When not at work, he is usually hiking in nature or meeting people at local pubs.
Ranadeep is a Research Engineer at Informal based in Paris. He uses model-based testing to expose bugs in distributed systems. When not at work, he is usually hiking in nature or meeting people at local pubs.
Romain is a Software Engineer focused on Distributed Systems at Informal. He uses formal methods and programming language theory to build correct and resilient software. He’s a major contributor to the Stainless verification framework for Scala, and has co-authored a few popular crypto libraries in Rust. Based in Lausanne, Romain likes to spend time in the mountains, hiking, skiing and reading.
Romain is a Software Engineer focused on Distributed Systems at Informal. He uses formal methods and programming language theory to build correct and resilient software. He’s a major contributor to the Stainless verification framework for Scala, and has co-authored a few popular crypto libraries in Rust. Based in Lausanne, Romain likes to spend time in the mountains, hiking, skiing and reading.
Sean is a Developer Relations Engineer at Informal. He helps to make the world of Cosmos, blockchains, and cryptocurrencies less complicated and more understandable. He’s an ardent evangelist of the Rust programming language and contributes to improving its standards and ergonomics. Outside of work, he is staying active by playing some kind of racket sport and/or learning some form of dance.
Sean is a Developer Relations Engineer at Informal. He helps to make the world of Cosmos, blockchains, and cryptocurrencies less complicated and more understandable. He’s an ardent evangelist of the Rust programming language and contributes to improving its standards and ergonomics. Outside of work, he is staying active by playing some kind of racket sport and/or learning some form of dance.
Shoaib is a Technical Project Lead at Informal. He has a background in embedded software development, and extensive experience with system programming and protocol development for blockchain light clients. He is an ardent proponent of free software and decentralization. Shoaib enjoys listening to Indian classical music, writing poetry (of the urdu ghazal genre) and reading research papers on distributed systems & threshold cryptography.
Shoaib is a Technical Project Lead at Informal. He has a background in embedded software development, and extensive experience with system programming and protocol development for blockchain light clients. He is an ardent proponent of free software and decentralization. Shoaib enjoys listening to Indian classical music, writing poetry (of the urdu ghazal genre) and reading research papers on distributed systems & threshold cryptography.
Shon is a Software Engineer at Informal working to empower distributed cooperative organizations. He loves encoding thought into being by expressing theories as programs and he believes that forming kinder communities is paramount.
Shon is a Software Engineer at Informal working to empower distributed cooperative organizations. He loves encoding thought into being by expressing theories as programs and he believes that forming kinder communities is paramount.
Soares is a Rust engineer at Informal. He uses his knowledge in functional programming and programming language theory to build software that is correct and composable. Soares enjoys learning new things, and he is interested in research topics such as algebraic effects, session types, dependent types, formal methods, distributed systems, blockchains, and macroeconomics.
Soares is a Rust engineer at Informal. He uses his knowledge in functional programming and programming language theory to build software that is correct and composable. Soares enjoys learning new things, and he is interested in research topics such as algebraic effects, session types, dependent types, formal methods, distributed systems, blockchains, and macroeconomics.
Thane is a Software Engineer, supporting and contributing to the development of plaintext tools at Informal. He believes that decentralization is one critical component of what makes a healthy society, and that distributed systems technology bolsters and supports that decentralization.
Thane is a Software Engineer, supporting and contributing to the development of plaintext tools at Informal. He believes that decentralization is one critical component of what makes a healthy society, and that distributed systems technology bolsters and supports that decentralization.
Zarko is Chief Scientist and leads research efforts at Informal. He believes that specification and implementation should be in love, and strongly encourages techies to garden.
Explore career opportunities at our cooperatively owned and governed organization, with world-class expertise in distributed systems, formal verification, and open-source ecosystem.