Top Tech Jobs & Startup Jobs in Los Angeles, CA

CertiK Logo
CertiK

Solidity Compiler Frontend Engineer

Reposted 16 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 20 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

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