[TYPES/announce] Funded PhD Positions at Boston University

[Ankush Das]

Hi all,
I am excited to announce that I will be joining Boston University as a
tenure-track assistant professor in the Computer Science department. Also,
the Boston University Programming Languages and Verification group (POPV)
is looking for PhD students.
https://urldefense.com/v3/__http://www.bu.edu/cs/research/popv/__;!!IBzWLUs!TtM6s20yDRt4JyDD6uRd8hJPGTwq3dv5LY3iAyqibDhD-RLyClgr18XWmHKEDkwBymh82zZ6XTWa1zS5-PxssUzk6h_SyNkn9DN-$ 

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://urldefense.com/v3/__https://www.bu.edu/cs/groups/busec/__;!!IBzWLUs!TtM6s20yDRt4JyDD6uRd8hJPGTwq3dv5LY3iAyqibDhD-RLyClgr18XWmHKEDkwBymh82zZ6XTWa1zS5-PxssUzk6h_SyPYMGYgx$ ), and at other universities in the
Boston area.

Interested candidates are encouraged to contact me or one of the other
faculty in the group.

The deadline for applications is December 15, 2023. The official
application information can be found here:
https://urldefense.com/v3/__https://www.bu.edu/cs/phd-program/phd/__;!!IBzWLUs!TtM6s20yDRt4JyDD6uRd8hJPGTwq3dv5LY3iAyqibDhD-RLyClgr18XWmHKEDkwBymh82zZ6XTWa1zS5-PxssUzk6h_SyE09l5nr$ 
Application fees can be waived, if needed. More details here:
https://urldefense.com/v3/__https://www.bu.edu/cs/phd-program/phd/faqs-about-graduate-admissions-financial-aid/__;!!IBzWLUs!TtM6s20yDRt4JyDD6uRd8hJPGTwq3dv5LY3iAyqibDhD-RLyClgr18XWmHKEDkwBymh82zZ6XTWa1zS5-PxssUzk6h_SyBLTmxRA$ 

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.

Thanks,
Ankush
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20231205/e59b9142/attachment-0001.htm>