Informal Systems offer research and development at the intersection of formal verification and distributed systems.

Blockchain

Information Technology

Software

Informal Systems

Informal Systems' headquarters in Toronto, Canada

Vienna office focuses on research and security technologies, driving innovation and scientific advancements in engineering.

Vienna

The Lausanne office focuses on software development and security solutions, driving innovation in technology.

Lausanne

Ethan Buchman

Arianne Flemming

This department is responsible for designing, developing, and maintaining software applications.

Software Engineering

The Engineering team at Informal Systems is responsible for developing and implementing cutting-edge software solutions that integrate formal verification with distributed systems. They design, code, test, and maintain critical software while ensuring security and reliability. The team collaborates on research initiatives, conducts security audits, and engages with the community to advance the field of distributed computing and verification.

Engineering

This department focuses on identifying growth opportunities and building strategic partnerships to enhance the organization's market position.

Business Development

This department focuses on overseeing engineering functions and implementing security measures across the organization.

Engineering and Security

The Engineering and Technical Team at Informal Systems focuses on designing, developing, and maintaining high-integrity distributed systems through formal verification methods. They oversee infrastructure and security, drive research and development, manage project timelines, and ensure user-friendly interfaces and experiences.

Engineering and Technical Team

This department focuses on managing and developing employee relations, talent acquisition, and organizational culture.

Informal Systems

Org chart

Teams

Software Engineering

Engineering

Business Development

Engineering and Security

Engineering and Technical Team

Human Resources

Offices

Informal Systems

Org chart

Teams

Software Engineering

Engineering

Business Development

Engineering and Security

Engineering and Technical Team

Human Resources

Offices

Related companies