Discussion of Homotopy Type Theory and Univalent Foundations
 help / Atom feed
* [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)
  To: HomotopyTypeTheory

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 
(pawel@cs.ioc.ee) 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 pawel@cs.ioc.ee 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 HomotopyTypeTheory+unsubscribe@googlegroups.com.
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