Several PhD positions in Computer Science at the University of Texas at Dallas

I will be hiring several Ph.D. students in Fall 2026 at the Department of CS at The University of Texas at Dallas! If you are interested, please fill out this form: https://lnkd.in/gwHB8q7k

SysNetS lab focuses on ensuring the security and privacy of wireless communication protocols (e.g., cellular networks-4G/5G, Bluetooth, VoWiFi, vehicular, WiFi, and IoT) with respect to their design and implementation. The aim is to develop tools that systematically analyze real-world systems and widely used protocols using formal verification, program analysis, machine learning, natural language processing, and software testing techniques. Furthermore, with the advent of the next generation of networks (6G and beyond), the lab’s future goal is to ensure the resilience (reliability, adaptability, and security) of future network generations and develop protocols and systems that are robust and secure by design.