Pi Squared

Pi Squared is a deep-tech company building a Universal Settlement Layer (USL) for Web3, designed to simplify blockchain, language, and application interoperability. They achieve this through their innovative Proof of Proof (PoP) protocol, which uses zero-knowledge (ZK) technology and formal semantics to provide verifiable computing correctness guarantees across all languages and virtual machines. Their aim is to eliminate the need for traditional language implementations like compilers and interpreters, minimizing trust and offering a seamless experience for developers.

Pi Squared is led by Grigore Rosu, a UIUC professor and founder of the K framework and Runtime Verification. Their team comprises experienced researchers and founders with expertise in formal methods, blockchain, and AI/ML, making them a leading player in the field of verifiable computing. Their groundbreaking approach aims to revolutionize how we build and interact with decentralized applications, creating a more secure, efficient, and interconnected Web3 ecosystem.

Pi Squared offers an unlimited PTO policy, giving employees the freedom to manage their own time off. The company also allows for remote work, which provides a great deal of flexibility in terms of location and working hours. However, while specific information regarding work hours is not explicitly stated, the company appears to be open to discussing flexibility with potential candidates.

Pi Squared offers competitive salaries and benefits, including a retirement plan with matching contributions, bonus programs, employer-sponsored health insurance (medical, dental, short-term disability, and limited life), company stock options, and an unlimited PTO policy.

Pi Squared aims to revolutionize the verifiable computing landscape by leveraging a unique approach based on mathematical proofs and zero-knowledge proofs. They are developing a "Universal Settlement Layer" (USL) to enable seamless interoperability between blockchains, programming languages, and applications, effectively bridging the gap between Web2 and Web3. Their goal is to create a trustless, efficient, and universal computing environment where developers can build secure and interoperable applications across any blockchain or virtual machine, minimizing trust assumptions and unlocking the full potential of decentralized technologies.

Pi Squared promotes a culture of innovation, collaboration, and a strong commitment to building a more secure and efficient Web3 ecosystem. They value expertise in formal methods, blockchain, and AI/ML, and foster a team environment where open communication and knowledge sharing are encouraged. Their dedication to research and development is evident in their ongoing efforts to advance verifiable computing and their commitment to open-source technologies.