Hi all, I am excited to announce that I will be joining Boston University as a tenure-track assistant professor, and I am looking for motivated PhD students starting in Fall 2024. My research interests are broadly in the area of programming languages, with applications in cryptography, distributed systems, and recently in probabilistic and machine learning models. More specifically, my research centers around building type systems for verification and quantitative analysis of concurrent programs with applications in aforementioned areas. You can find more details about my research on my webpage: https://ankushdas.github.io/ If you are interested in working with me, please reach out to me directly and/or apply to the PhD program at BU (details below). Beyond my research, the Principles of Programming and Verification group at Boston University (https://www.bu.edu/cs/research/popv/) has funded PhD positions for several exciting projects. Two examples below: Marco Gaboardi (https://cs-people.bu.edu/gaboardi/) works at the intersection of programming languages, formal verification, and differential privacy. Alley Stoughton (https://alleystoughton.us/) works mainly on using the EasyCrypt proof assistant to mechanize proofs of the security of cryptographic protocols. She leads the EasyUC project on mechanizing security proofs in the universally composable security framework ( https://github.com/easyuc/EasyUC). Details on how to apply: - Application deadline: December 15, 2023 - Our PhD applications web info: https://www.bu.edu/cs/phd-program/phd/ - Our Admissions FAQ page: https://www.bu.edu/cs/phd-program/phd/faqs-about-graduate-admissions-financi... - Visit day: March 25, 2024 Thanks, Ankush