Top Tech Jobs & Startup Jobs in Seattle, WA

CertiK Logo
CertiK

Software Engineer (Engineer III to Principal) - Formal Methods

Reposted 2 Days AgoSaved
In-Office or Remote
2 Locations
115K-230K Annually
Mid level
115K-230K Annually
Mid level
Artificial Intelligence • Blockchain
Design and develop tools for verifying the correctness of smart contracts, extend verification algorithms, and collaborate with engineers on technical solutions.
Top Skills: Abstract InterpretationData Flow AnalysisDeductive VerificationFormal VerificationHaskellModel CheckingOcamlProgramming Language TheorySat/Smt SolvingSmart Contracts
CertiK Logo
CertiK

Background Investigator

Reposted 5 Days AgoSaved
Remote
USA
60K-100K Annually
Mid level
60K-100K Annually
Mid level
Artificial Intelligence • Blockchain
Conducts KYC investigations, performs behavioral interviews, assesses risks, issues KYC badges, and provides client support while documenting findings.
Top Skills: AmlCftKyc RegulationsOsint
CertiK Logo
CertiK

Solidity Compiler Frontend Engineer

Reposted 25 Days AgoSaved
Remote
US
140K-220K Annually
Mid level
140K-220K Annually
Mid level
Artificial Intelligence • Blockchain
Design and implement frontend components for the Solidity compiler, optimize performance, develop integration layers, and collaborate with researchers to enhance security features.
Top Skills: C++Formal Verification ToolsLlvmSmt SolversSolidity
New

Cut your apply time in half.

Use ourAI Assistantto automatically fill your job applications.

Use For Free
Application Tracker Preview
All Filters
JobType
New Jobs
Job Category
Experience
Industry
Company Name
Company Size

Sign up now Access later

Create Free Account