Software Engineer (Engineer III to Principal) - Formal Methods at Certik — SleepHire