-
CUDA kernels and/or Triton, and inference engines (vLLM, SGLang, et cetera). Experience coding with deep learning libraries such as Pytorch/JAX is essential. Applicants must hold a PhD in computer
Searches related to software formal method phd
Enter an email to receive alerts for software-formal-method-phd positions