You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
John Baez (Dec 06 2021 at 22:23):Renato Neves of the University of Minho, Portugal is advertising a PhD position in applied category theory.
Applications are due December 22, 2021:
We [2] have available a PhD studentship on the topic of quantitative
semantics for hybrid programming [1].The position will involve (extensions of) lambda-calculus and category
theory. We will also work with bits and pieces of topology and
probability theory. But don't worry if you're unfamiliar with some of
these topics -- most important is that you're eager to learn!
- Starting date
The starting date is preferably 1st April 2022.
- Context
This position is part of a broader research project that involves
several researchers across different institutions in the north of
Portugal. The overarching goal is to establish mathematical
foundations for a discipline of hybrid programming capable of
handling noise and uncertainty in a principled, rigorous way.In case you're not familiar with the concept, a hybrid program combines
classical program constructs with differential equations to model, among
other things, interactions between digital devices and physical
processes (such as velocity, movement, and energy). Examples of hybrid
programs can be found in [1,6] and in my webpage.
- How to apply
Please send me an email no later than 22nd December 2021 with
the following two items:+ a cover letter;
+ a detailed CV.In the meanwhile if you have any questions about the position,
including living in Portugal, please do not hesitate to contact me!
Btw, Portugal is known as one of the safest countries in the world
[3]; has lots of sunshine, pristine beaches, and great food [4,5].--
Renato Neves
https://di.uminho.pt/~nevrenato/References:
[1] Sergey Goncharov, Renato Neves, and José Proença. "Implementing hybrid semantics: From functional to imperative." International Colloquium on Theoretical Aspects of Computing. Springer, Cham, 2020. (https://arxiv.org/abs/2009.14322)
[2] https://www.inesctec.pt/en
[3] https://en.wikipedia.org/wiki/Global_Peace_Index#Global_Peace_Index_2021_ranking
[4] https://www.youtube.com/watch?v=akcDhdxSsCM
[5] https://edition.cnn.com/travel/article/portugal-food/index.html