Informal Systems Logo
Build trustworthy relationships

About Informal Systems

Informal Systems is a cooperatively owned organization dedicated to creating tools that enable verifiable and trustworthy relationships between protocols and people. As a core contributor to the Cosmos Network, we tackle significant challenges at the intersection of formal verification and high-value distributed infrastructure. Join us in roles like Business Development Lead, Senior Rust Engineer, and more.

Frequently Asked Questions

When was Informal Systems founded?

Informal Systems was founded in 2019.

What industries and sectors does Informal Systems specialize in?

Informal Systems is active in the formal verification, distributed systems, software engineering, blockchain, and security audits markets.

How many people work at Informal Systems?

Informal Systems has 11-50 employees.

Where does Informal Systems hire?

Informal Systems hires globally with a remote-first approach, allowing employees to work from anywhere.

Is Informal Systems hiring?

Informal Systems is not actively hiring at the moment. Check back later for new opportunities.

Does Informal Systems hire for remote and work from home roles?

Yes, Informal Systems is a remote-first company.

What is Informal Systems's website?

Informal Systems's website is informal.systems .

Where to find Informal Systems on social media?

You can find Informal Systems on LinkedIn .

Remote companies like Informal Systems

Explore remote-first companies similar to Informal Systems. Discover other top-rated employers that offer flexible schedules and work-from-anywhere options.

Dynamo Technologies Logo

Dynamo Technologies

Technology and consulting solutions

View company profile →
IT Concepts, Inc Logo

IT Concepts, Inc

501-1000 www.kentro.us

Provides digital solutions, IT modernization, and specialized services to federal agencies.

View company profile →
Axiom Zen Logo

Axiom Zen

A venture studio that turns ideas into companies by testing emerging technology and building high-growth businesses.

View company profile →
Trail of Bits Logo

Trail of Bits

Provides software security research and consulting, addressing technology's newest and most challenging risks since 2012.

View company profile →
Tenet3 Logo

Tenet3

Secure cyber-physical systems

View company profile →
Architecture Technology Corporation Logo

Architecture Technology Corporation

Provides research, development, engineering, and software solutions for government and commercial clients.

View company profile →

Project: Career Search

Rev. 2026.2

[ Remote Jobs ]
Direct Access

We source jobs directly from 21,000+ company career pages. No intermediaries.

01

Discover Hidden Jobs

Unique jobs you won't find on other job boards.

02

Advanced Filters

Filter by category, benefits, seniority, and more.

03

Priority Job Alerts

Get timely alerts for new job openings every day.

04

Manage Your Job Hunt

Save jobs you like and keep a simple list of your applications.

21,000+ SOURCES UPDATED 24/7