HN Jobs

Veridise | https://veridise.com | REMOTE | Full Time 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.