Obiettivo
The 'Foundations of Computation' (FoC) group of the University of Sussex invites applications for Marie Curie Fellowships from PhD students to undertake part of their studies at FoC. The group offers doctoral training in the area of semantic foundations of distributed computing, with a focus on theories addressing the challenging demands of the internet-based information environment. FoC's research strategy is centered on the development of new foundational theories underpinning the design of programming languages and paradigms for global computing. Work at FoC focuses on object-based languages and on mobile computation. It includes
(a) game theoretic models and operational techniques for (concurrent) objects,
(b) axiomatic semantics for OO languages,
(c) calculi for distributed systems where properties such as security, locality, failure, reliability can be studied, and
(d) implementation of the distributed language Dpi and its security model. Fellows will be integral part of FoC and take active part in research activity, weekly meetings, and seminar series. They will elect a scientific supervisor and be assigned a mentor to help them settle in. Applicants must be nationals of a member or associated State of the EU (excl. the UK), currently undertaking their doctoral studies, and have a solid theoretical background in semantics and formal methods. Fellows will receive a contribution of 1,200 euro per month from the EU Commission. The fellowships will be tenable for a maximum of 12 months. Informal enquires can be directed to Vladimiro Sassone
Campo scientifico (EuroSciVoc)
Programma(i)
Programmi di finanziamento pluriennali che definiscono le priorità dell’UE in materia di ricerca e innovazione.
Programmi di finanziamento pluriennali che definiscono le priorità dell’UE in materia di ricerca e innovazione.
Argomento(i)
Gli inviti a presentare proposte sono suddivisi per argomenti. Un argomento definisce un’area o un tema specifico per il quale i candidati possono presentare proposte. La descrizione di un argomento comprende il suo ambito specifico e l’impatto previsto del progetto finanziato.
Dati non disponibili
Gli inviti a presentare proposte sono suddivisi per argomenti. Un argomento definisce un’area o un tema specifico per il quale i candidati possono presentare proposte. La descrizione di un argomento comprende il suo ambito specifico e l’impatto previsto del progetto finanziato.
Invito a presentare proposte
Procedura per invitare i candidati a presentare proposte di progetti, con l’obiettivo di ricevere finanziamenti dall’UE.
Dati non disponibili
Procedura per invitare i candidati a presentare proposte di progetti, con l’obiettivo di ricevere finanziamenti dall’UE.
Meccanismo di finanziamento
Meccanismo di finanziamento (o «Tipo di azione») all’interno di un programma con caratteristiche comuni. Specifica: l’ambito di ciò che viene finanziato; il tasso di rimborso; i criteri di valutazione specifici per qualificarsi per il finanziamento; l’uso di forme semplificate di costi come gli importi forfettari.
Meccanismo di finanziamento (o «Tipo di azione») all’interno di un programma con caratteristiche comuni. Specifica: l’ambito di ciò che viene finanziato; il tasso di rimborso; i criteri di valutazione specifici per qualificarsi per il finanziamento; l’uso di forme semplificate di costi come gli importi forfettari.
Coordinatore
BN1 9RH BRIGHTON / FALMER
Regno Unito
I costi totali sostenuti dall’organizzazione per partecipare al progetto, compresi i costi diretti e indiretti. Questo importo è un sottoinsieme del bilancio complessivo del progetto.