Research Scientist, Program Synthesis & Neuro-symbolic Methods at Basis Research — Uncertain | Subspace