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 worker cooperative, organized around a collaborative web of workflows. We believe in a more sustainable form of technological 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 Principal 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 Principal 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 Product Marketing Manager at Informal Systems, focused on building a community around Informal’s suite of products and services through narrative building, marketing, & biz dev. She loves to read authors she disagrees with and debating their merits after the fact. She believes that the forthcoming decentralized digital world will be more beautiful and empowering than the last.
Jelena is Product Marketing Manager at Informal Systems, focused on building a community around Informal’s suite of products and services through narrative building, marketing, & biz dev. She loves to read authors she disagrees with and debating their merits after the fact. 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.
Marius is a Research Engineer at Informal and contributes to the cross-chain communication efforts, with a focus on shared security. He believes that blockchain technology is central in creating decentralized, verifiable, and secure digital services, which will lead to a more equitable world. Marius received his PhD in designing novel consensus algorithms with the purpose of enhancing the performance of state-machine replication for both small- and large-scale deployments. In his free time, you can find him SUPing on the canals of Hamburg (in summer) and snowboarding in the Austrian Alps (in winter).
Marius is a Research Engineer at Informal and contributes to the cross-chain communication efforts, with a focus on shared security. He believes that blockchain technology is central in creating decentralized, verifiable, and secure digital services, which will lead to a more equitable world. Marius received his PhD in designing novel consensus algorithms with the purpose of enhancing the performance of state-machine replication for both small- and large-scale deployments. In his free time, you can find him SUPing on the canals of Hamburg (in summer) and snowboarding in the Austrian Alps (in winter).
Mikhail is a Senior Software Engineer at Informal Systems. A widely experienced software engineer, Mikhail has been engaged with the Rust programming language since its pre-1.0 releases. After honing his chops on building proof-of-stake blockchain technology in Rust, he has joined Informal Systems to work on the foundations of Cosmos.
Mikhail is a Senior Software Engineer at Informal Systems. A widely experienced software engineer, Mikhail has been engaged with the Rust programming language since its pre-1.0 releases. After honing his chops on building proof-of-stake blockchain technology in Rust, he has joined Informal Systems to work on the foundations of Cosmos.
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 Design Lead 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 Design Lead 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 Group Finance Controller 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 Group Finance Controller 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.
Sergio is a Research Engineer at Informal. He has two professional souls: research and engineering. As a researcher, his background is in distributed fault tolerance and congestion control for real-time media. As an engineer, his experience is with large-scale development projects, their design, continuous integration, testing, and software quality initiatives. When he understood what blockchain technology is about, he was convinced it would change the world as we know it, for the better.
Sergio is a Research Engineer at Informal. He has two professional souls: research and engineering. As a researcher, his background is in distributed fault tolerance and congestion control for real-time media. As an engineer, his experience is with large-scale development projects, their design, continuous integration, testing, and software quality initiatives. When he understood what blockchain technology is about, he was convinced it would change the world as we know it, for the better.
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.
Shonali is Talent and People Operations manager at Informal, overseeing all things related to people and culture. She believes in empowerment and growth of individuals in a fair society, driven through decentralization. Outside of work, Shonali enjoys being outdoors, trying different cuisines and spending time with her cats.
Shonali is Talent and People Operations manager at Informal, overseeing all things related to people and culture. She believes in empowerment and growth of individuals in a fair society, driven through decentralization. Outside of work, Shonali enjoys being outdoors, trying different cuisines and spending time with her cats.
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.
Tesnim Abdellatif is a Product Leader at Informal. Her mission is to create ergonomic, accessible, and robust verification tools to develop safe distributed systems. She believes that empathy is a crucial ingredient to understanding users’ ecosystems and answering their needs. Outside of work, she loves traveling and reading to explore new horizons.
Tesnim Abdellatif is a Product Leader at Informal. Her mission is to create ergonomic, accessible, and robust verification tools to develop safe distributed systems. She believes that empathy is a crucial ingredient to understanding users’ ecosystems and answering their needs. Outside of work, she loves traveling and reading to explore new horizons.
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.