Objective
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
Fields of science (EuroSciVoc)
CORDIS classifies projects with EuroSciVoc, a multilingual taxonomy of fields of science, through a semi-automatic process based on NLP techniques. See: The European Science Vocabulary.
CORDIS classifies projects with EuroSciVoc, a multilingual taxonomy of fields of science, through a semi-automatic process based on NLP techniques. See: The European Science Vocabulary.
You need to log in or register to use this function
Programme(s)
Multi-annual funding programmes that define the EU’s priorities for research and innovation.
Multi-annual funding programmes that define the EU’s priorities for research and innovation.
Topic(s)
Calls for proposals are divided into topics. A topic defines a specific subject or area for which applicants can submit proposals. The description of a topic comprises its specific scope and the expected impact of the funded project.
Data not available
Calls for proposals are divided into topics. A topic defines a specific subject or area for which applicants can submit proposals. The description of a topic comprises its specific scope and the expected impact of the funded project.
Call for proposal
Procedure for inviting applicants to submit project proposals, with the aim of receiving EU funding.
Data not available
Procedure for inviting applicants to submit project proposals, with the aim of receiving EU funding.
Funding Scheme
Funding scheme (or “Type of Action”) inside a programme with common features. It specifies: the scope of what is funded; the reimbursement rate; specific evaluation criteria to qualify for funding; and the use of simplified forms of costs like lump sums.
Funding scheme (or “Type of Action”) inside a programme with common features. It specifies: the scope of what is funded; the reimbursement rate; specific evaluation criteria to qualify for funding; and the use of simplified forms of costs like lump sums.
Coordinator
L69 7ZF LIVERPOOL
United Kingdom
The total costs incurred by this organisation to participate in the project, including direct and indirect costs. This amount is a subset of the overall project budget.