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.
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.
