Logic List Mailing Archive

two research fellowships in logics & formal methods, Udine (Italy), Deadline 31 May 2020

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 logics and 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@uniud.it>

--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam