Two fellowship grants are available at the University of Udine, Italy, for 12 and 18 months respectively, within the Italian national project “IT MATTERS – Methods and Tools for Trustworthy Smart Systems”. The fellowships are research-only, with no teaching or administrative obligations.
Deadline for application is May 31, 2020, 14:00 CEST. Having a PhD is appreciated but not required. Starting date is (partly) negotiable. Both positions can be extended for another 12 months (subject to funding availability).
For any information, contact Marino Miculan <marino.miculan@uniud.it>
Brief research description
The overall aim of the “IT MATTERS” project is the development of a novel methodology, based on formal methods, for the specification, implementation and validation of trustworthy “smart” systems. Within this project, the two grants are roughly targeted as follows; however the subjects can be adapted, as long as they fit the global project.
Position 20A046 (18 months): “Innovative programming models and paradigms”
This position will focus on the definition of a new paradigm to support the design, implementation and execution of “smart” large-scale distributed systems. This framework will be developed starting from existing models for large scale distributed systems, and should support the generation of “stubs” to monitor components in order to guarantee invariants and monitor behaviors at runtime.
Keywords: large-scale distributed systems, concurrency theory, programming languages, process calculi.
Remuneration: total gross € 34,440 = 1913 €/month, that is 1695 €/month net, after taxes and contributions for social security and retirement scheme.
More details at http://web.uniud.it/ateneo/normativa/albo_ufficiale/303%20-%202020/20200303.2%20Notice%20-%20ARIC.pdf
Applications at https://pica.cineca.it/uniud/20a046/
Position 20A047 (12 months): “Graph-based Models and Logics”
This position will focus on the application of graph-based models (such as bigraphs) to “smart” systems scenarios, such as agent-based autonomous systems, fog and edge computing, etc. In particular, we aim to develop suitable spatial logics, balancing expressiveness and usability. On the applicative side, we will aim to the design and implementation of a model checker for the logic above.
Keywords: semantics, process calculi, (graph based) models of concurrent systems, spatial logics
Remuneration: total gross € 21,250 = 1770 €/month, that is 1570 €/month net, after taxes and contributions for social security and retirement scheme.
More details at http://web.uniud.it/ateneo/normativa/albo_ufficiale/304%20-%202020/20200304.2%20Notice%20-%20ARIC.pdf
Applications at https://pica.cineca.it/uniud/20a047/
Working environment
The research fellows will work at the Department of Mathematics, Computer Science and Physics at the University of Udine. Founded in 1978, the Department is among the oldest CS departments in Italy; it counts about 40 permanent professors and ~15 PhD students and postdocs in Computer Science and Computer Engineering (and about the same in maths). Research topics include models and logics for programming languages and type theories, theoretical foundations and tools for program analysis, cybersecurity, formal verification and model checking, etc.
While the position is based in Udine, frequent interactions will be conducted with the other partners of the project (possibly online, if the pandemics continues): the universities of Camerino and Pisa, the Italian CNR, the GSSI in l’Aquila, and the IMT in Lucca.
Udine is a historical city in the North-East of Italy, strategically positioned one hour from the Alps and the Adriatic Sea. Dubbed “Venice on land” for its architecture, this city is among the top ten Italian cities for quality of life, but with an affordable cost of living.