Applied cryptography. Attestation protocols, proof systems, and the evidence formats that make a claim about compute independently checkable. You’ve built cryptographic systems that shipped, and you can reason about threat models as fluently as about primitives.
Hardware and silicon security. Roots of trust, TEEs and secure enclaves, and attestation on modern accelerators, including direct technical work with silicon vendors. You know GPU architecture and how logical tensors map to physical hardware.
GPU, compilers, and ML systems. Static analysis of kernels to extract memory access patterns and computational structure, and deriving what a workload should do from its definition. CUDA, Triton, CUTLASS, PTX/SASS, MLIR/LLVM.
Distributed systems and infrastructure. The platform that collects, stores, and serves verification evidence at cluster scale, plus the control plane around it. You’ve built distributed systems where correctness and availability both actually mattered.
Networking and measurement. Network taps, timing and latency measurement, and the inference problems underneath geolocating compute. You’re comfortable with noisy physical-world signals and adversaries who know you’re measuring.
Trusted environments and security engineering. Building and defending hardened compute environments, including physical and supply-chain security. Prior work in classified, regulated, or high-assurance settings is directly relevant.
If your specialty is adjacent to these but not on the list, apply anyway and tell us where you’d fit.