Galaxy Ventures
Your next career starts here.
Apply to opportunities at industry leading companies within the Galaxy Ventures portfolio.
Formal Methods Researcher for ZK
Veridise
Austin, TX, USA
Posted on Mar 15, 2025
- Enhance and extend Veridise’s core ZK tooling, including Picus, ZK Vanguard, and the LLZK circuit IR.
- Develop novel methodologies to improve the usability and scalability of Veridise’s ZK tools for complex circuits.
- Design and implement generic circuit transformations, analyses, and optimizations within LLZK, along with formal verification methodologies to ensure their correctness.
- Work closely with the engineering and audit teams to integrate verification techniques into our security tooling.
- Conduct research, publish findings, and contribute to the academic and industry community on formal verification for cryptographic security.