[TYPES/announce] Two fellowship grants on Trustworthy Distributed Adaptive Systems at the University of Udine, Italy

[Marino Miculan]

Dear all,
two fellowship grants for 12 and 18 months respectively, are available at the University of Udine, Italy, within the Italian national project “IT MATTERS”. The overall aim of the project is the development of a novel methodology, based on formal methods, for the specification, implementation and validation of trustworthy, large-scale, distributed adaptive systems.
The subjects of these two grants can be adapted, as long as they are in the scope of the project.
These positions are research-only, with no teaching or administrative obligations.
Keywords: formal methods, concurrency theory, models and languages for large-scale distributed systems, bigraphs, aggregate programming, spatial logics.

Having a PhD (or being close to) is appreciated but not required.
Starting date is (partly) negotiable. Both positions can be extended for another 12 months (subject to funding availability).
Deadline for applications: May 31, 2020, 14:00 CEST.

Working environment: 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. Frequent interactions will be conducted with the other partners of the project: 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.

Remuneration:  about 1600-1700 €/month net, after taxes and contributions for social security and retirement scheme.

More details at https://mads.uniud.it/2020/05/two-fellowship-grants-it-matters/

For any information, please contact Marino Miculan <marino.miculan at uniud.it>

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20200514/afba2e0a/attachment-0001.html>