JobStash Logo

Find Your Next Web3 Role

Connect with leading crypto and blockchain organizations. Discover opportunities in DeFi, NFTs, DAOs, and the decentralized future.

Post a Job
Or explore by
DevRelBusiness DevFrontendTypeScriptReactGolangUSAChinaEuropeFull-timePart-timeInternship
CertiK logo
Software Engineer (Engineer III to Principal) - Formal Methods

CertiK·3 years ago

SeniorSalary: 115K - 230KNY, Seattle, SFHybridFull TimeSmart ContractsJobs by CertiK
View organization details

Funding

Series B$24M · 17 Aug, 2021Series B$37M · 7 Jul, 2021Series A$7.7M · 3 Jun, 2020Seed$3.5M · 1 Mar, 2018

Investors

WingBinance LabsLightspeed Venture PartnersDHVCHillhouse Capital GroupTiger Global ManagementShunwei CapitalCoinbase VenturesCoatueLenovoFoothill VenturesAusvic CapitalWing Venture CapitalIDG Capital
View all 19 skills
HaskellProgramming-LanguageCi/CdSatDeductive VerificationAbstract InterpretationData Flow AnalysisCompilerFormal MethodsAutomated TestingOcamlMathematical LogicAutomata TheoryData StructureFormal VerificationAlgorithmSmtAbstract AlgebraModel Checking
View Job Details