Frontier
CertiK

Software Engineer (Engineer III to Principal) - Formal Methods

💰$115k–$230k
📍San Francisco, CA, USA · +10
mid_seniorProgramming Language TheoryAutomated ReasoningData-Flow AnalysisFormal VerificationAlgorithmsMathematical LogicFunctional Programming

Who can you reach out to

Find people at CertiK on LinkedIn →
Apply now →

Aggregated by Frontier · Posted July 31, 2022