Three Postdoctoral Research Fellowships in Model Checking

Applications are invited for three EU-funded Marie-Curie postdoctoral fellowships, each of two years duration, 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 and 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. Specific details can be found at http://www.cordis.lu/improving/fellowships/mcf_devhost_contr.htm .

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. These details can also be found at http://www.cordis.lu/improving/fellowships/mcf_devhost.htm

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 at liv.ac.uk, http://www.liv.ac.uk ] and informal enquiries may be made directly to Prof M. Fisher [M.Fisher at csc.liv.ac.uk ].

Closing date for applications: 15th February 2002
Please Quote Ref: B/758/EMAIL.

Details of the both the research group and Department can be found via http://www.csc.liv.ac.uk/research/logics Logic and Computation Group, Department of Computer Science University of Liverpool, Liverpool L69 7ZF, U.K.