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_ran... [4] https://www.youtube.com/watch?v=akcDhdxSsCM [5] https://edition.cnn.com/travel/article/portugal-food/index.html [6] http://arcatools.org/assets/lince.html#fulllince [For admin and other information see: http://www.mta.ca/~cat-dist/ ]