Agent Employment Opportunities
<![CDATA[
Date: Mon, 9 Jun 97 09:54:56 BST
From: Michael Fisher <M.Fisher@doc.mmu.ac.uk>
Subject: Research Lectureships: Department of Computing, MMU, UK
RESEARCH LECTURESHIPS AVAILABLE (agents, logics, languages)
LOGIC & COMPUTATION GROUP
Department of Computing, Manchester Metropolitan University
Manchester, United Kingdom
Three Research Lectureships are now available within the Department of
Computing at Manchester Metropolitan University. (For general details of
these posts, see http://www.doc.mmu.ac.uk/STAFF/S.Oakey/jobs.html)
The department has a developing and expanding research base, and is
recognised as one of the leading centres of research within the
university. The posts available are fixed term (four year) lecturing
posts, with only a small amount of teaching associated with them; hence
the term "Research Lectureships". Successful applicants will be expected
to have research interests relevent to at least one of the Department's
six Research groups.
The Logic and Computation group is well known for work in logic
(automated reasoning, formal methods and non-classical logics),
agent-based systems (theories of agency, agent languages and formal
development), and programming languages (executable logics and
concurrent languages), and we would be particularly interested in
applicants with a strong research background in these areas.
For further details on the group's work, together with an indication
of the research published this year, access the WWW page
http://www.doc.mmu.ac.uk/RESEARCH/LoCo/rladvert/rladvert.html
Michael Fisher http://www.doc.mmu.ac.uk/STAFF/M.Fisher
Department of Computing M.Fisher@doc.mmu.ac.uk
Manchester Metropolitan University tel: (+44) 161 247 1488
Manchester M1 5GD, United Kingdom fax: (+44) 161 247 1483
]]>