Objectif
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
Champ scientifique (EuroSciVoc)
CORDIS classe les projets avec EuroSciVoc, une taxonomie multilingue des domaines scientifiques, grâce à un processus semi-automatique basé sur des techniques TLN. Voir: Le vocabulaire scientifique européen.
CORDIS classe les projets avec EuroSciVoc, une taxonomie multilingue des domaines scientifiques, grâce à un processus semi-automatique basé sur des techniques TLN. Voir: Le vocabulaire scientifique européen.
Vous devez vous identifier ou vous inscrire pour utiliser cette fonction
Programme(s)
Programmes de financement pluriannuels qui définissent les priorités de l’UE en matière de recherche et d’innovation.
Programmes de financement pluriannuels qui définissent les priorités de l’UE en matière de recherche et d’innovation.
Thème(s)
Les appels à propositions sont divisés en thèmes. Un thème définit un sujet ou un domaine spécifique dans le cadre duquel les candidats peuvent soumettre des propositions. La description d’un thème comprend sa portée spécifique et l’impact attendu du projet financé.
Données non disponibles
Les appels à propositions sont divisés en thèmes. Un thème définit un sujet ou un domaine spécifique dans le cadre duquel les candidats peuvent soumettre des propositions. La description d’un thème comprend sa portée spécifique et l’impact attendu du projet financé.
Appel à propositions
Procédure par laquelle les candidats sont invités à soumettre des propositions de projet en vue de bénéficier d’un financement de l’UE.
Données non disponibles
Procédure par laquelle les candidats sont invités à soumettre des propositions de projet en vue de bénéficier d’un financement de l’UE.
Régime de financement
Régime de financement (ou «type d’action») à l’intérieur d’un programme présentant des caractéristiques communes. Le régime de financement précise le champ d’application de ce qui est financé, le taux de remboursement, les critères d’évaluation spécifiques pour bénéficier du financement et les formes simplifiées de couverture des coûts, telles que les montants forfaitaires.
Régime de financement (ou «type d’action») à l’intérieur d’un programme présentant des caractéristiques communes. Le régime de financement précise le champ d’application de ce qui est financé, le taux de remboursement, les critères d’évaluation spécifiques pour bénéficier du financement et les formes simplifiées de couverture des coûts, telles que les montants forfaitaires.
Coordinateur
L69 7ZF LIVERPOOL
Royaume-Uni
Les coûts totaux encourus par l’organisation concernée pour participer au projet, y compris les coûts directs et indirects. Ce montant est un sous-ensemble du budget global du projet.