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 (6 months ago)
This job is archived, but you can still apply.