Top Tech Jobs & Startup Jobs in Los Angeles, CA

CertiK Logo
CertiK

Background Investigator

Reposted 2 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 22 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
CertiK Logo
CertiK

Software Engineer (Engineer III to Principal) - Formal Methods

Reposted 24 Days AgoSaved
In-Office or Remote
CA, USA
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
New

Track Smarter, Apply Better.

Ditch the spreadsheets. Organize your job search with our freeApplication Tracker.

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