[Prev][Next][Index][Thread]
Five Positions in Computer Science
Dear Colleagues,
I would like to announce five positions in Computer Science.
Leicester has a research group working in semantics and types, which
includes Simon Ambler, Neil Ghani, Vincent Schmitt, and myself.
Current research areas include Operational Semantics, Mechanized
Reasoning, Categorical Models of Programming Languages, and
Categorical Term Rewriting.
These areas are directly or indirectly connected with the theory and
practice of types.
Roy Crole.
* * * * *
UNIVERSITY OF LEICESTER
DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCE
The Department of Mathematics and Computer Science invites applications
for five positions in Computer Science. One position is at the professorial
level and the others are lectureships, which are at a similar level to
assistant professor positions in North America.
The Department is divided into three groups: Computer Science, Pure
Mathematics and Applied Mathematics. The current research interests of
the Computer Science group are in Logic, Algorithms & Complexity, Theory
of Distributed & Reactive Systems and Semantics. The appointments are
intended to diversify and strengthen the Computer Science group with
regards to both teaching and research.
The successful applicants will be ambitious, able to develop their own
research within a multi-faceted environment, and have a strong research
record and potential. This is a superb opportunity for persons of energy,
drive and ambition to assume rewarding roles and to establish themselves in
a young, dynamic and rapidly developing department.
Information about all aspects of the Department is available from its
web pages [http://www.mcs.le.ac.uk].
/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\
CHAIR IN COMPUTER SCIENCE (Ref: P9044)
We are looking for a person of drive and enthusiasm to create a leading
research group. Candidates whose research interests are complementary to
the existing research groups are particularly encouraged to apply.
Nevertheless, applications are welcomed from individuals with an
outstanding research record in any area of Computer Science.
The appointment will commence on a date to be agreed. The salary will be
within the professorial range.
Further particulars are available from:
Personnel Office (Professorial Appointments),
University of Leicester,
University Road, Leicester,
LE1 7RH, U.K.
Tel: (+44) (0)116 252 2422, Fax: (+44) (0)116 252 5140,
email: pt31@le.ac.uk, web: www.le.ac.uk/personnel/jobs.
Candidates should submit one unbound copy of their application to the
Personnel Office (Professorial Appointments).
Closing date: 21st June 2002
/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\
LECTURERS A/B IN COMPUTER SCIENCE (Ref: A5485)
20,470 to 32,537 pounds pa (March 2002 pay scales)
Available from 1st September 2002
LECTURER A IN COMPUTER SCIENCE (Ref: A5504)
20,470 to 24,435 pounds pa (March 2002 pay scales)
Available for 2 years from 1st September 2002
Applications are invited for three lectureships (to start 1st September
2002 or as soon as possible thereafter) and a two-year lectureship in
Computer Science (to start 1st September 2002). There is no restriction
regarding the area of research and applicants with expertise in any area of
Computer Science are welcomed.
Application forms and further particulars are available (by quoting the
reference) from
Personnel Office,
University of Leicester,
University Road, Leicester,
LE1 7RH, U.K.
Tel: (+44) (0)116 252 5114, Fax: (+44) (0)116 252 5140,
email: jobs@le.ac.uk, web: www.le.ac.uk/personnel/jobs.
Closing date: 10th June 2002
/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\
Candidates who are interested in any of these positions are invited, if
they so wish, to contact either of:
Prof Rajeev Raman Professor Rick Thomas,
Head of Computer Science Head of Department,
telephone (+44) (0)116 252 3894 telephone (+44) (0)116 252 3885
email rr29@mcs.le.ac.uk e-mail rmt@mcs.le.ac.uk
who will be pleased to discuss the positions further.