Objetivo
Postdoctoral fellowships in advanced model checking Three Marie-Curie postdoctoral fellowships, each of two years duration, are available within the Department of Computer Science at the University of Liverpool. These fellowships concern refinements of model checking, particularly its application for mobile components. Model checking is a technique whereby descriptions of computational systems can be checked against a logical (temporal ) formula in order to ascertain whether the property captured by that formula holds within the system. The aim of these fellowships is to extend and refine the model checking approach in a number of ways, as follows. DEDUCTIVE MODEL CHECKING, whereby deductive techniques are used to reduce complex problems to a form appropriate for the model checking approach. This is complementary to ongoing work in the Department, where a clausal temporal resolution technique is being developed which, can potentially be combined with model checking. LIGHTWEIGHT MODEL CHECKING, whereby the model checking technique is restricted and a refined sub-class of problems is considered. This is complementary to ongoing work in Department on efficient algorithms and complexity, and will provide a link between this work and that on logical verification. MODEL CHECKING FOR MULTI-AGENT SYSTEMS, whereby model checking techniques are extended to handle logical agent theories. This is complementary to ongoing work in Department, where the logical foundations of multi-agent systems and agent verification techniques are being explored. Competence is sought in a range of areas and so candidates should possess some background in software engineering. In addition, we would encourage applications from those with expertise in logical techniques, multi-agent systems and programming languages. To apply, send a CV, a summary of personal research, and two references to M.Fisher@csc.liv.ac.uk
Á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..
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.
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
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.
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
Procedimiento para invitar a los solicitantes a presentar propuestas de proyectos con el objetivo de obtener financiación de la UE.
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.
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.
Coordinador
L69 7ZF LIVERPOOL
Reino Unido
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.