Software Engineer (Engineer III to Principal) - Formal Methods at CertiK — EarlySignal