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.

CertiK Logo

CertiK

A Web3 security services provider offering smart contract audits, real-time monitoring, and compliance 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 →
Netguru Logo

Netguru

Provides custom software development, design, and consulting services for digital commerce.

View company profile →
CTI Logo

CTI

201-500 www.ctic.us

We provide software, systems engineering, and operational support with open, multi-domain technology solutions for military and security.

View company profile →
FST Technical Services Logo

FST Technical Services

Life cycle testing, inspection, certification, and engineering solutions for mission-critical facilities worldwide.

View company profile →
Stellar Innovations & Solutions Inc. Logo

Stellar Innovations & Solutions Inc.

Provides IT services including software development, infrastructure management, and information assurance.

View company profile →

Project: Career Search

Rev. 2026.3

[ 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