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
Senior Software Engineer

CertiK·1 month ago

SeniorSalary: 132K - 180KNew York, USAOnsiteFull 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 21 skills
SmtEc2Data Flow AnalysisDeductive VerificationSatAbstract InterpretationSymbolic Model CheckingProgramming Language TheoryWeb3.JsTypescriptJavascriptAwsData VisualizationFormal VerificationAutomated ReasoningReactWallet IntegrationVerificationFormal MethodsS3Evm
View Job Details
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