Formal Methods Researcher for ZKVeridise Inc.·1 day ago1 day agoResearchJobs by Veridise Inc.View all 19 skillsHide skillsLlzkFormal MethodsZk VanguardFormal VerificationResearchPicusSmt SolverVerificationNoirRustC#CryptographyModel CheckingZk CircuitZero-KnowledgeLeanAutomated VerificationZk FrameworkTheorem ProverView DetailsView Job Details