Research Engineer - Formal Methods at Code Metal — SleepHire