Applied Researcher in Formal Methods for Physics at Axiomatic_AI — SleepHire