Archived on
Veridise is hiring a
Formal Methods Researcher for ZK
About Veridise
Veridise is a security startup that performs security reviews of source code with the assistance of fuzzing, static analysis, and formal verification tools that we've built in-house. Our customers mostly come from the zero-knowledge proof and blockchain communities.
Job Description
Veridise is seeking a ZK Researcher to join our team and help design and build new methodologies for verifying the security of ZK technologies. This role is ideal for a creative and independent thinker who can identify important security challenges and develop novel solutions.Remote
Salary
Not Specified
Benefits
Not Specified
Tech Tags
BlockchainSecurityZk
Date Listed
03 March, 2025 (about 1 year ago)
Loading...
This job is archived, but you can still apply.