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 starting salary (employees and contractors)
Participation in bonus programs (employees and contractors)
Participation in company stock option plan and future token(s) (employees and contractors)
Participation in company retirement plan with matching contributions (employees)
Employer sponsored insurance programs – Medical / Dental / Short term disability / limited life (employees)
Unlimited PTO policy (employees and contractors)
Open Positions
Senior Software Engineer
Project Manager
DevOps Engineer
Web Designer
Blockchain Developer
Technical Writer
Business Research Analyst
Marketing Manager