[TYPES/announce] Research fellowship about spatio-temporal logics - deadline Jan 12, 2024

[Marino Miculan]

** Call for expression of interest / applications **

Research fellowship about “Spatio-temporal logics: extensions for nominal quantification and hierarchical structures”

URL: https://urldefense.com/v3/__https://t.ly/pWuvp__;!!IBzWLUs!V2entplxcyiHGpoq0c2kCcoblkZcty2bbB8g6TT7UqIG-JJQ9cZmwrwuMC5FAa4r3x35Wd0l0BKnentMxBEcC8FW9uOqY_km6s0d7lsh$ 
Application deadline: January 12, 2024.

Within a multidisciplinary project in collaboration with University of Pisa and ISTI-CNR (Pisa), at the University of Udine we have a research fellow position (“Assegno di ricerca”) about spatio-temporal logics, nominal quantifiers, hierarchical structures (with a pinch of ML).

The position is for one year, possibly extended for another one.
Starting date is negotiable from February 2024 but no later than June 1, 2024.
Working location is at DMIF, University of Udine, Italy; working from remote can be considered.
A MSc in Computer Science or similar subjects is required; a PhD is appreciated but not required.
Salary: €22,947.00 gross per year; about €1614 net per month, tax free.

For more information see at https://urldefense.com/v3/__https://t.ly/pWuvp__;!!IBzWLUs!V2entplxcyiHGpoq0c2kCcoblkZcty2bbB8g6TT7UqIG-JJQ9cZmwrwuMC5FAa4r3x35Wd0l0BKnentMxBEcC8FW9uOqY_km6s0d7lsh$ , or contact Marino Miculan <marino.miculan at uniud.it>.

--
Marino Miculan - DMIF, University of Udine - https:/<https://urldefense.com/v3/__https://marino.miculan.org__;!!IBzWLUs!V2entplxcyiHGpoq0c2kCcoblkZcty2bbB8g6TT7UqIG-JJQ9cZmwrwuMC5FAa4r3x35Wd0l0BKnentMxBEcC8FW9uOqY_km6s4uhHa3$ >/marino.miculan.org<https://urldefense.com/v3/__https://marino.miculan.org__;!!IBzWLUs!V2entplxcyiHGpoq0c2kCcoblkZcty2bbB8g6TT7UqIG-JJQ9cZmwrwuMC5FAa4r3x35Wd0l0BKnentMxBEcC8FW9uOqY_km6s4uhHa3$ >

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20231203/e6216e65/attachment.htm>