[Haskell-cafe] Two PhD positions in Ljubljana starting October 2017

Matija Pretnar matija.pretnar at fmf.uni-lj.si
Tue Mar 28 11:40:29 UTC 2017

We are looking for two PhD students at the Faculty of Mathematics and
Physics, University of Ljubljana. The programme starts in October 2017
and lasts three years. The positions will be fully funded (subject to
approval by the funding agency). The candidates should have a Master's
degree in mathematics or computer science. No knowledge of Slovene is

The first PhD student will be advised by dr. Andrej Bauer. The topic
of research is foundations of type theory. The candidate should have
interest in mathematical aspects of type theory, and familiarity with
proof assistants is desirable.

The second PhD student will be advised by dr. Matija Pretnar. The
topic of research is the theory of programming languages with a focus
on computational effects. The candidate should have interest in both
the mathematical foundations and practical implementation of
programming languages.

Candidates should send their applications as soon as possible, but no
later than the end of April, to Andrej Bauer
<andrej.bauer at fmf.uni-lj.si> or Matija Pretnar
<matija.pretnar at fmf.uni-lj.si>, depending on their primary interest.
Please include a short CV, academic record, and a statement of

Andrej Bauer and Matija Pretnar

More information about the Haskell-Cafe mailing list