Skip to main content
Weiter zur Homepage der Europäischen Kommission (öffnet in neuem Fenster)
Deutsch Deutsch
CORDIS - Forschungsergebnisse der EU
CORDIS
Inhalt archiviert am 2024-05-21

Semantic foundations of distributed computation

Ziel

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 . Applications must be sent to the email address above and include a CV, a research statement explaining the reasons for applying to FoC, and the names and addresses of two references. Applicants must also arrange for a supporting letter from their research advisor to be sent. The University of Sussex is an equal opportunity employer and welcomes applications from female candidates and from minorities.

Wissenschaftliches Gebiet (EuroSciVoc)

CORDIS klassifiziert Projekte mit EuroSciVoc, einer mehrsprachigen Taxonomie der Wissenschaftsbereiche, durch einen halbautomatischen Prozess, der auf Verfahren der Verarbeitung natürlicher Sprache beruht. Siehe: Das European Science Vocabulary.

Sie müssen sich anmelden oder registrieren, um diese Funktion zu nutzen

Programm/Programme

Mehrjährige Finanzierungsprogramme, in denen die Prioritäten der EU für Forschung und Innovation festgelegt sind.

Thema/Themen

Aufforderungen zur Einreichung von Vorschlägen sind nach Themen gegliedert. Ein Thema definiert einen bestimmten Bereich oder ein Gebiet, zu dem Vorschläge eingereicht werden können. Die Beschreibung eines Themas umfasst seinen spezifischen Umfang und die erwarteten Auswirkungen des finanzierten Projekts.

Daten nicht verfügbar

Aufforderung zur Vorschlagseinreichung

Verfahren zur Aufforderung zur Einreichung von Projektvorschlägen mit dem Ziel, eine EU-Finanzierung zu erhalten.

Daten nicht verfügbar

Finanzierungsplan

Finanzierungsregelung (oder „Art der Maßnahme“) innerhalb eines Programms mit gemeinsamen Merkmalen. Sieht folgendes vor: den Umfang der finanzierten Maßnahmen, den Erstattungssatz, spezifische Bewertungskriterien für die Finanzierung und die Verwendung vereinfachter Kostenformen wie Pauschalbeträge.

BUR - Bursaries, grants, fellowships

Koordinator

UNIVERSITY OF SUSSEX
EU-Beitrag
Keine Daten
Adresse
Sussex House
BN1 9RH BRIGHTON / FALMER
Vereinigtes Königreich

Auf der Karte ansehen

Gesamtkosten

Die Gesamtkosten, die dieser Organisation durch die Beteiligung am Projekt entstanden sind, einschließlich der direkten und indirekten Kosten. Dieser Betrag ist Teil des Gesamtbudgets des Projekts.

Keine Daten
Mein Booklet 0 0