Get the job you really want.

Top Tech Jobs & Startup Jobs in Vancouver

CertiK Logo
CertiK

Software Engineer (Engineer III to Principal) - Formal Methods

Reposted 3 Days Ago
Remote
11 Locations
Senior level
Senior level
Artificial Intelligence • Blockchain
Design and develop automated tools for verifying the correctness of smart contracts. Collaborate with a team to implement algorithms and improve program verification tools.
Top Skills: Abstract InterpretationFormal VerificationHaskellModel CheckingOcamlSat/Smt Solving
CertiK Logo
CertiK

Security Research Internship

Reposted 6 Days Ago
Remote
11 Locations
Internship
Internship
Artificial Intelligence • Blockchain
The Security Research Internship involves developing analysis tools, performing vulnerability discovery, and publishing research findings in security topics.
Top Skills: GoRustWasm
CertiK Logo
CertiK

Blockchain Security Engineer - (Solidity / Rust / Golang - Senior Level)

Reposted 6 Days Ago
Remote
11 Locations
Senior level
Senior level
Artificial Intelligence • Blockchain
The Blockchain Security Engineer audits and secures blockchain products, conducts research, and develops internal tools while collaborating with developers.
Top Skills: Ethereum Virtual Machine (Evm)GoRustSolidity
All Filters
Date Posted
Job Category
Experience
Industry
Company Name
Company Size

Sign up now Access later

Create Free Account