[TYPES/announce] PhD position on Quantitative Semantics at INESC-TEC and University of Minho.

[Renato Neves]

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://urldefense.com/v3/__https://di.uminho.pt/*nevrenato/__;fg!!IBzWLUs!DwzSdBgWyL3DakNQC6nj4Sr6ErwVwyxpG9WQD-3ZGA9xWd_Ah5ITPYvlLBlQBmOiLNfPUoePyUtCwQ$ 


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://urldefense.com/v3/__https://arxiv.org/abs/2009.14322__;!!IBzWLUs!DwzSdBgWyL3DakNQC6nj4Sr6ErwVwyxpG9WQD-3ZGA9xWd_Ah5ITPYvlLBlQBmOiLNfPUodtOv9pZQ$ )

[2] https://urldefense.com/v3/__https://www.inesctec.pt/en__;!!IBzWLUs!DwzSdBgWyL3DakNQC6nj4Sr6ErwVwyxpG9WQD-3ZGA9xWd_Ah5ITPYvlLBlQBmOiLNfPUofdguBAAA$ 

[3] https://urldefense.com/v3/__https://en.wikipedia.org/wiki/Global_Peace_Index*Global_Peace_Index_2021_ranking__;Iw!!IBzWLUs!DwzSdBgWyL3DakNQC6nj4Sr6ErwVwyxpG9WQD-3ZGA9xWd_Ah5ITPYvlLBlQBmOiLNfPUofGxl6yIQ$ 

[4] https://urldefense.com/v3/__https://www.youtube.com/watch?v=akcDhdxSsCM__;!!IBzWLUs!DwzSdBgWyL3DakNQC6nj4Sr6ErwVwyxpG9WQD-3ZGA9xWd_Ah5ITPYvlLBlQBmOiLNfPUocNCe-zMw$ 

[5] https://urldefense.com/v3/__https://edition.cnn.com/travel/article/portugal-food/index.html__;!!IBzWLUs!DwzSdBgWyL3DakNQC6nj4Sr6ErwVwyxpG9WQD-3ZGA9xWd_Ah5ITPYvlLBlQBmOiLNfPUoeD-zU1iw$ 

[6] https://urldefense.com/v3/__http://arcatools.org/assets/lince.html*fulllince__;Iw!!IBzWLUs!DwzSdBgWyL3DakNQC6nj4Sr6ErwVwyxpG9WQD-3ZGA9xWd_Ah5ITPYvlLBlQBmOiLNfPUof5js1O2A$