[TYPES/announce] Ph.D. fellowships at University of Copenhagen

[Fritz Henglein]

The Faculty of Science <https://www.science.ku.dk/english/> at the University
of Copenhage <https://www.ku.dk/english/>n offers a considerable number
<https://employment.ku.dk/phd/?show=148844%20> of attractive Ph.D.
fellowships <https://talent.ku.dk/>.
Deadline: *April 1st, 2019.*

The Programming Languages and Theory of Computation (PLTC)
<https://di.ku.dk/english/research/pltc/> section at the Department of
Computer Science (DIKU) <https://di.ku.dk/english/>
welcomes applications in all aspects of programming languages and systems,
including type systems and
type-based formalization, analysis and verification for domain-specific and
general-purpose programming languages.

Requirements are solid, documented programming language and type theory
foundations, a good command of English,
and willingness to live in the world's most livable city.
<https://www.visitcopenhagen.com/copenhagen/copenhagen-worlds-most-liveable-city>

We encourage you to send your academic CV documenting your qualifications
for programming languages and systems
research to a faculty member of the PLTC section
<https://di.ku.dk/english/research/pltc/researchers/> prior to applying for
a Ph.D. stipend <https://employment.ku.dk/phd/?show=148844%20> to align
your and our interests.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20190323/865d454e/attachment-0001.html>