Archived on 04 May, 2025 (about 2 months ago)
Veridise is hiring a
Formal Methods Researcher for ZK
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
Remote Conditions
:null
Salary
Not Specified
Benefits
:null
Tech Tags
ZK
Security
Blockchain
Date Listed
03 March, 2025 (4 months ago)
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.
This job is archived, but you can still apply.
Veridise has 8 other jobs listed