Sort by
Refine Your Search
-
semantics, automata theory and decision procedures, interactive or automated theorem proving, network verification, routing protocols, packet scheduling, or applications of AI/ML to systems and security
-
optimal T-cell expansion protocols. In close collaboration with the lab of George Coukos ( https://agora-cancer.ch/laboratory/coukos-lab/ ), we will derive protocols enabling rapid expansion of cancer
Enter an email to receive alerts for network-protocols-"https:" positions