return

Fellowship & Grant details

Fellowship posted by Italian Ministry of Education, University and Research (24/09/2013 03.05)

Formal methods in sequential and concurrent systems

Please note that the job is no longer active!

Real computational systems are not sequential, but distributed and concurrent. Many models for distributed computation have been proposed and studied over the past fifteen years. Such models have the nature of mathematical formalisms in which to describe and reason about the behaviour of concurrent computational systems. Their purpose is to provide an understanding of systems and their behaviour in theory, and to contribute to methods of design and analysis in practice. In the semantics of concurrent and distributed systems, a major dichotomy opposes the interleaving approaches to true-concurrent approaches.

Please note that the full description may be available in the national language since some job boards have their own publication policy. Thank you for your understanding!

Research Fields

Mathematics - Other

Eligibility criteria

CV and interview

Selection process

CV and interview


Programme Description
Number of awards per year1
Annual budget22946.02
Frequency of calls12
International mobility required ?yes
Eligible destination country/ies for fellowsItaly
Eligibility of fellows: country/ies of residenceAll
Eligibility of fellows: nationality/iesAll
Website of Fellowship Programmewww.unive.it/nqcontent.cfm?a_id=138305
Fellowship's Details
Career StageExperienced researcher or 4-10 yrs (Post-Doc)
Research ProfileNot defined
Employment contract with full social securityno
Total amount per fellowship per year19367.00
Currencyeuro
Covers salaryyes
Covers travel and subsistenceno
Covers research costsno
Maximum duration of fellowship12
GET MORE! The EURAXESS Services Centres
 

To better plan and organise their stay in a foreign European country, researchers and their families can also benefit of the free and personalised assistance offered by the EURAXESS Services Centres, a network of more than 200 centres located in 40 different European countries.

Application deadline

14/10/2013

Other fellowship details
Fellowship ID

60193

Funding organisation / Contacts
Università Ca' Foscari Venezia

Public research
Venezia - Italy
www.unive.it
E-mails
dsais@pec.unive.itPhones
+390412348622

QR-Code