Global
- Set technical direction: identify promising verification problems and approaches, decide which bets are worth pursuing, and steer projects from idea through prototype.
- Build and prototype: work across problems such as algorithms for recomputing AI workloads, ML engineering for inference pipelines, frontend engineering for demonstrations, and cybersecurity analysis of verification designs.
- Build the team: manage and coach engineers, help set areas of specialization, and grow SASH's in-house verification capabilities.
Cybersecurity
Cryptography
Machine Learning
Hardware
Systems Engineering