Top Tech Jobs & Startup Jobs

Veridise Logo
Veridise

Formal Methods Researcher for ZK

Reposted 6 Days AgoSaved
In-Office or Remote
Austin, TX, USA
Expert/Leader
Expert/Leader
Cybersecurity
The Formal Methods Researcher will enhance ZK tooling, develop methodologies for verifying ZK technologies, and conduct research in formal verification for cryptographic security.
Top Skills: Acl2Automated VerificationC++CoqInteractive Theorem ProverLeanLlzkPicusRustSmt SolversZk TechnologiesZk Vanguard
New

Cut your apply time in half.

Use ourAI Assistantto automatically fill your job applications.

Use For Free
Application Tracker Preview
All Filters
JobType
New Jobs
Job Category
Experience
Industry
Company Name
Company Size

Sign up now Access later

Create Free Account