Teams at Veridise

The Formal Methods Researcher will enhance ZK tooling, develop methodologies for verifying ZK technologies, and conduct research in formal verification for cryptographic security.