* [HoTT] Postdoc positions in compositionality and applied category theory
@ 2019-05-23 10:44 Pawel Sobocinski
0 siblings, 0 replies; 1+ messages in thread
From: Pawel Sobocinski @ 2019-05-23 10:44 UTC (permalink / raw)
Applications are invited for several postdoctoral researcher
positions in the Department of Software Science at Taltech
(Tallinn University of Technology) working with Pawel
Sobocinski on compositionality and applied category theory.
Compositionality describes and quantifies how compound
systems can be assembled out of their constituent parts in
a way that respects the underlying semantics. Compositional
design is necessary for trustworthy software and leads to the
development of correct and efficient data structures and
algorithms. The inter-disciplinary group will work on
compositional approaches to various application domains,
including models of concurrency, control theory and
cyber-physical systems, game theory, relational algebra and
database theory, and machine learning. The language and
techniques of category theory will serve as a connecting and
unifying lingua franca, with an emphasis on the use of string
diagrams and diagrammatic reasoning. The group will focus on
theoretical as well as practical aspects, including tool
The project is part of a research measure of the Estonian IT
Academy programme, funded by the Estonian state and the
European Social Fund.
The ideal applicants will have a PhD in Computer Science
(or related field), strong background in at least one
application area as well as in category theory. Experience
in programming and software engineering is also desirable.
In addition to research, the successful applicants will be
expected to contribute to creating a fertile and exciting
intellectual environment, participate and help with the
organisation of a weekly seminar with invited external
speakers from Europe and overseas, and help in organising
and hosting regular international scientific events. There
will also be opportunities to recruit and co-supervise masters
and doctoral students, interact with local industry and with
the general public through outreach activities.
Tallinn and Taltech
Tallinn, a historically important Hansa trading port has its
charming old town listed on the UNESCO World Heritage List.
In recent years it has become one of the fastest-growing IT
hubs and one of the most active startup scenes in Europe.
The working languages at Taltech are Estonian and English.
Further details and application procedure
Compensation will competitive wrt to European standards, and
commensurate with experience. The positions will start on a
mutually agreeable date from September 2019 and last for two
years, with the possibility of an extension.
Interested candidates are invited to contact Pawel Sobocinski
(firstname.lastname@example.org) for any questions. To apply, the candidate
should send a CV, a research statement (maximum 3 pages) and
the names and contact details of two people who can be
contacted for a reference to email@example.com by June 21, 2019.
You received this message because you are subscribed to the Google Groups "Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an email to HomotopyTypeTheoryfirstname.lastname@example.org.
To view this discussion on the web visit https://groups.google.com/d/msgid/HomotopyTypeTheory/03377C88-3B5D-47E5-9F0E-EF82126433A7%40gmail.com.
For more options, visit https://groups.google.com/d/optout.
^ permalink raw reply [flat|nested] 1+ messages in thread
only message in thread, back to index
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2019-05-23 10:44 [HoTT] Postdoc positions in compositionality and applied category theory Pawel Sobocinski
Discussion of Homotopy Type Theory and Univalent Foundations
Archives are clonable: git clone --mirror http://inbox.vuxu.org/hott
Newsgroup available over NNTP:
AGPL code for this site: git clone https://public-inbox.org/ public-inbox