Now hiring

Creators, Builders, Problem-Solvers, Visionaries, and Connectors.

See open positions

About Pi Squared

Pi Squared uses zero-knowledge (ZK) technology in a correct-by-construction and fundamentally unique way, which allows a universal and disarmingly small ZK circuit to provide verifiable-computing correctness guarantees to all languages and virtual machines (VMs) alike, without any translation to a common language, VM, or instruction set architecture (ISA).

Pi Squared is building a Universal Settlement Layer (USL) to make blockchain/language/application interoperability seamless and completely eliminate the need for traditional yet notoriously buggy language implementations such as compilers, transpilers, or interpreters. Pi Squared’s USL is built upon recent advancements in ZK, formal semantics, and logic reasoning techniques.

The Pi Squared project is led by UIUC professor Grigore Rosu, founder of the K framework and of Runtime Verification, and consists of researchers and founders of successful projects in formal methods, blockchain, and AI/ML.

What we offer

Competitive Salary

Competitive starting salary

Retirement Plan

Participation in company retirement plan with matching contributions


Participation in bonus programs

Health Insurance

Employer sponsored insurance programs – Medical / Dental / Short term disability / limited life

Company Stock Options

Participation in company stock option plan and future token(s)

Unlimited PTO

Unlimited PTO policy