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
Bonus
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