Top Tech Jobs & Startup Jobs in San Francisco Bay Area, CA

CertiK Logo
CertiK

Software Engineer (Engineer III to Principal) - Formal Methods

Reposted 9 Days AgoSaved
In-Office or Remote
7 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

Solidity Compiler Frontend Engineer

Reposted 5 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

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