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
View Details
Flow logo
Senior Programming Language Engineer, Cadence

Flow·2 weeks ago

SeniorVancouver, USRemoteFull TimeEngineeringJobs by Flow
View organization details

Funding

Seed$3M · 21 Apr, 2023Ecosystem Foundation raise$725M · 11 May, 2022

Investors

Nima Capital
View all 21 skills
On-Chain ExecutionC#Code GenerationBlockchainSmart ContractParsingType CheckingResource-Oriented ProgrammingPythonProgramming-LanguageOptimizationSemantic AnalysisObject CapabilitiesTestingRustGoSwiftDeveloper ToolingFunctional ProgrammingCompilerSolidity
View 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