Five Lectureships at King's College London Department Of Computer Science School Of Physical Science And Engineering As part of a major new initiative, the Department of Computer Science is seeking to fill FIVE new lectureships. Candidates who are able to show a strong research orientation and a commitment to teaching are invited to apply for these positions. The Department currently has four strong research groups: Algorithm Design: design, analysis and engineering of algorithms in a variety of combinatorical settings including bioinformatics, musicology and operations research. Software Engineering: including analysis of programming languages, object-orientated notations and tools, semantics, specifications, logic, artificial intelligence.Applications within legal-reasoning, business processing, e-commerce. Logic and Computation: logics, artificial intelligence, reasoning and deduction, proof systems. Natural Language Processing: logical foundations of computational semantics, computational syntax and grammar development, dialogue interpretations and management systems. The appointments will be made on an appropriate point of either the Lecturer A scale (currently £ 19,585 to £ 26,327 per annum) or Lecturer B scale (currently £ 27,337 to £ 34,349 per annum), which includes £ 2,134 London Allowance. For an applicaton form and further details, please contact Ebony Kenton, Personnel Department, King?s College London, Strand, London WC2R 2LS or email ebony.kenton@kcl.ac.uk quoting reference A1/CCS/86/01. The closing date for receipt of applications is 31 January 2002. For further information please contact Professor Tom Maibaum by email only at tom@dcs.kcl.ac.uk Equality of opportunity is College policy -- _______________________________________________________ David Clark, room 9DA, Department of Computer Science, King's College London, The Strand, London, WC2R 2LS, UK. ph: +44 20 7848 2472 19-Jan-2002 09:31:38 -0400,902;000000000000-00000000