Photo Photo
Photo Photo

Our Work

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

Workers Coop

We are a worker-owned organization, composed of a diverse group of people from around the world. Join us!

Portrait of Adi Seredinschi

Adi Seredinschi

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.

Portrait of Anca Zamfir

Anca Zamfir

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.

Portrait of Andrey Kuprianov

Andrey Kuprianov

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.

Portrait of Andy Nogueira

Andy Nogueira

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.

Portrait of Arianne Flemming

Arianne Flemming

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.

Portrait of Cezara Dragoi

Cezara Dragoi

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.

Portrait of Ethan Buchman

Ethan Buchman

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.

Portrait of Greg Szabo

Greg Szabo

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.

Portrait of Igor Konnov

Igor Konnov

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.

Portrait of Jehan Tremback

Jehan Tremback

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.

Portrait of Jelena Djuric

Jelena Djuric

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.

Portrait of Josef Widder

Josef Widder

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.

Portrait of Joshua Jeffrey

Joshua Jeffrey

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.

Portrait of Jure Kukovec

Jure Kukovec

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.

Portrait of Marie Leaf

Marie Leaf

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.

Portrait of Marius Poke

Marius Poke

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).

Portrait of Mikhail Zabaluev

Mikhail Zabaluev

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.

Portrait of Mircea Colonescu

Mircea Colonescu

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.

Portrait of Preet Singh

Preet Singh

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.

Portrait of Raj Pakiyanathan

Raj Pakiyanathan

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.

Portrait of Ranadeep Biswas

Ranadeep Biswas

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.

Portrait of Romain Ruetschi

Romain Ruetschi

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.

Portrait of Sean Chen

Sean Chen

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.

Portrait of Sergio Mena

Sergio Mena

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.

Portrait of Shoaib Ahmed

Shoaib Ahmed

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.

Portrait of Shon Feder

Shon Feder

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.

Portrait of Shonali Kagal

Shonali Kagal

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.

Portrait of Soares Chen

Soares Chen

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.

Portrait of Tesnim Abdellatif

Tesnim Abdellatif

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.

Portrait of Thane Thomson

Thane Thomson

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.

Portrait of Zarko Milosevic

Zarko Milosevic

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.

Start your career with Informal Systems
Start your career with Informal Systems

Explore career opportunities at our cooperatively owned and governed organization, with world-class expertise in distributed systems, formal verification, and open-source ecosystem.

Apply Now