Formal Methods Researcher for ZKVeridise Inc.·1 day ago1 day agoResearchJobs by Veridise Inc.View all 19 skillsHide skillsCryptographyPicusZk VanguardZero-KnowledgeRustTheorem ProverLlzkAutomated VerificationFormal VerificationZk CircuitC#Smt SolverNoirModel CheckingZk FrameworkFormal MethodsVerificationResearchLeanView DetailsView Job Details