Hi all, I am excited to share that the Boston University Programming Languages and Verification group (POPV: https://www.bu.edu/cs/research-groups/popv/<https://urldefense.com/v3/__…) is looking for PhD students. The group consists of faculty and students with interests in programming languages, verification, type systems, and proof assistants with applications to distributed systems, cryptographic protocols, security, and differential privacy. Members of the POPV group actively collaborate with other groups at Boston University, including the Boston University Security group (https://www.bu.edu/cs/groups/busec/<https://urldefense.com/v3/__https:/w…)$>), and at other universities in the Boston area like MIT, Northeastern, and Harvard. Interested candidates are encouraged to apply and/or contact me or one of the other faculty in the group. The deadline for applications is December 15, 2024. The official application information can be found here: https://www.bu.edu/cs/phd-program/phd/<https://urldefense.com/v3/__https… Application fees can be waived for strong applicants, if needed. More details here: https://www.bu.edu/cas/admissions/phd-mfa/apply/fee-waiver/<https://urld… International students can also request a fee waiver by sending me an email. All admitted PhD students will receive a 5-year fellowship offer, which may be a combination of a non-service fellowship, teaching fellowship or doctoral research assistant. Boston University is a large private university in the heart of Boston with a rich tradition of inclusion and social justice. We are proud that we were the first American university to award a PhD to a woman (1877) and that Martin Luther King Jr. received his PhD here (1955). The Boston area is home to a vibrant academic environment formed by multiple universities with a strong tradition in programming languages and verification, and it is also home to several startups and tech industries related to these research areas. Please encourage your students to apply for a PhD position at Boston University and reach out to me if you have additional questions. Ankush Das Assistant Professor, Computer Science Department Boston University