Top Tech Jobs & Startup Jobs in Austin, TX

Veridise Logo
Veridise

Formal Methods Researcher for ZK

Reposted 5 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

Track Smarter, Apply Better.

Ditch the spreadsheets. Organize your job search with our freeApplication Tracker.

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