26 September: fyi -- research fellowships, UK

Index of September 2002 | Index of year: 2002 | Full index



** TWO RESEARCH FELLOWSHIPS IN MODEL CHECKING

** Department of Computer Science
** University of Liverpool, U.K.

Applications are invited for two EU-funded Marie-Curie fellowships,
each of two years duration, available within the Department of
Computer Science at the University of Liverpool.

The successful fellows will work on extending and refining the model
checking approach, investigating deductive, lightweight or multi-agent
aspects of model-checking. Competence is sought in a range of areas
and so candidates should possess some background in software
engineering,
ideally with expertise in programming languages, algorithmics, logical
techniques or multi-agent systems.

The appointments will be on 24 month fixed term contracts with an
allowance in accordance with the EU reference rate, currently total
subsistence of 3128 Euros per month and mobility allowance of 400 Euros
per month. The EU requirements for these fellowships are that:
(1) all fellows must be nationals of an EU Member or Associated State,
or have resided in the EU for at least five years immediately prior to
their selection;
(2) fellows must not undertake their fellowship in the country of their
nationality or recent centre of activity (nationals from an Associated
State can only carry out their fellowship in a Member State);
(3) at the time of selection the fellow must be 35 years old or less;
and
(4) researchers must have a doctoral degree or at least four years of
full-time research experience at postgraduate level other than doctoral
studies.

Specific details of funding can be found at
http://www.cordis.lu/improving/fellowships/mcf_devhost_contr.htm
and the EU requirements for these fellowships can be found at
http://www.cordis.lu/improving/fellowships/mcf_devhost.htm
Some details of the project can be found at
http://www.csc.liv.ac.uk/research/logics/MCM/

Further particulars and details of the application procedure should be
requested from Director of Personnel, The University of Liverpool,
Liverpool L69 3BX, UK [ tel (+44 151) 794 2210 (24 hr answerphone),
jobs@liv.ac.uk, http://www.liv.ac.uk ] and informal enquiries may be
made directly to Prof. Michael Fisher [ M.Fisher@csc.liv.ac.uk ].

** Closing date for applications: 15th October 2002
** PLEASE QUOTE REF: B/MC/FIS
** COMMITTED TO EQUAL OPPORTUNITIES

Index of September 2002 | Index of year: 2002 | Full index