Formal Methods Researcher for ZK: 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.
About Veridise: Veridise performs security audits for smart contracts, zero-knowledge circuits, blockchain implementations, key management services, and other off-chain services like relayers, bridges, wallet integrations, and more. Additionally, many members of the Veridise team research and develop modern security tools designed to tackle the ever-changing landscape of blockchain development, providing novel and automated insights into the security of smart contracts and zero-knowledge circuits.
Formal Methods Researcher for ZK: 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.
Application Link: https://veridise.com/careers/zk-researcher/
--------------------------------------------------------------------------------
About Veridise: Veridise performs security audits for smart contracts, zero-knowledge circuits, blockchain implementations, key management services, and other off-chain services like relayers, bridges, wallet integrations, and more. Additionally, many members of the Veridise team research and develop modern security tools designed to tackle the ever-changing landscape of blockchain development, providing novel and automated insights into the security of smart contracts and zero-knowledge circuits.