Veridise

United States
40 Total Employees
Year Founded: 2021

Teams at Veridise

Recently posted jobs

5 Days AgoSaved
In-Office or Remote
Austin, TX, USA
Cybersecurity
The Formal Methods Researcher will enhance ZK tooling, develop methodologies for verifying ZK technologies, and conduct research in formal verification for cryptographic security.