-
Research scientist — program synthesis Search, verification, and data-efficient model discovery.
-
Research scientist — deep learning Guidance models for discrete program search.
-
Research engineer Training and inference systems at research scale.