[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
The Boston University Programming Languages and Verification group (POPV) is
looking for PhD students.
http://www.bu.edu/cs/research/popv/
The group consists of several faculty, postdocs and students with interests in
different aspects of programming languages, verification, type theories and
proof assistants.
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/), and at other universities in the Boston
area.
Interested candidates are encouraged to contact one of the faculty in the
group.
The deadline for applications is December 15. The official application
information can be found here:
http://www.bu.edu/cs/phd-program/phd/
Application fees can be waived, if needed.
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 on the west side 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.
