[ Please would you forward to anyone you think may be interested. Thanks ] -------------------------------------------------------------------------- Chair in Computer Science (Logic and Computation) Department of Computer Science University of Liverpool Liverpool, UK [ Closing date for applications: 14-JUN-02. Salary negotiable ] Applications are invited for a Chair in the Department of Computer Science at the University of Liverpool, to be attached to the Logic and Computation research group. The group carries out research in formal methods, including algebraic methods, contextual reasoning, modal and temporal theorem-proving and verification, databases, and programming languages. The successful candidate will have an excellent track record of research leadership, and will be expected to contribute to research and research leadership in both the Logic and Computation group and Department generally. For further details of the Group, Department and University, see http://www.csc.liv.ac.uk/research/logics/ http://www.csc.liv.ac.uk/ http://www.liv.ac.uk/ Informal enquiries are welcome, and should be directed to Professor Michael Fisher, Head of Logic and Computation Group, email: M.Fisher@csc.liv.ac.uk Further particulars and details of the application procedure should be requested from The Director of Personnel, The University of Liverpool, Liverpool L69 3BX 0151 794 2210 (24 hr answerphone) or via email:jobs@liv.ac.uk Job reference number: B/844 --------------------------------------------------------------------- | Michael Fisher M.Fisher@csc.liv.ac.uk | | Department of Computer Science tel: (+44) 151 794 6701 | | University of Liverpool fax: (+44) 151 794 3715 | | Liverpool L69 7ZF, U.K. http://www.csc.liv.ac.uk/~michael | --------------------------------------------------------------------- **************************************************************** Peter McBurney Department of Computer Science University of Liverpool Liverpool L69 7ZF U.K. Tel: + 44 151 794 6760 Email: P.J.McBurney@csc.liv.ac.uk Web page: www.csc.liv.ac.uk/~peter/ ****************************************************************