Skip to main content
Ir a la página de inicio de la Comisión Europea (se abrirá en una nueva ventana)
español español
CORDIS - Resultados de investigaciones de la UE
CORDIS
Contenido archivado el 2024-05-21

Semantic foundations of distributed computation

Objetivo

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.

Ámbito científico (EuroSciVoc)

CORDIS clasifica los proyectos con EuroSciVoc, una taxonomía plurilingüe de ámbitos científicos, mediante un proceso semiautomático basado en técnicas de procesamiento del lenguaje natural. Véas: El vocabulario científico europeo..

Para utilizar esta función, debe iniciar sesión o registrarse

Programa(s)

Programas de financiación plurianuales que definen las prioridades de la UE en materia de investigación e innovación.

Tema(s)

Las convocatorias de propuestas se dividen en temas. Un tema define una materia o área específica para la que los solicitantes pueden presentar propuestas. La descripción de un tema comprende su alcance específico y la repercusión prevista del proyecto financiado.

Datos no disponibles

Convocatoria de propuestas

Procedimiento para invitar a los solicitantes a presentar propuestas de proyectos con el objetivo de obtener financiación de la UE.

Datos no disponibles

Régimen de financiación

Régimen de financiación (o «Tipo de acción») dentro de un programa con características comunes. Especifica: el alcance de lo que se financia; el porcentaje de reembolso; los criterios específicos de evaluación para optar a la financiación; y el uso de formas simplificadas de costes como los importes a tanto alzado.

BUR - Bursaries, grants, fellowships

Coordinador

UNIVERSITY OF SUSSEX
Aportación de la UE
Sin datos
Dirección
Sussex House
BN1 9RH BRIGHTON / FALMER
Reino Unido

Ver en el mapa

Coste total

Los costes totales en que ha incurrido esta organización para participar en el proyecto, incluidos los costes directos e indirectos. Este importe es un subconjunto del presupuesto total del proyecto.

Sin datos
Mi folleto 0 0