-
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
Enter an email to receive alerts for communication-theory "https:" positions