We work on interesting interface problems at the heart of modern AI systems. We’re always looking for protocol-depth engineers and verification specialists.