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.

* * * * * 


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].



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


20,470 to 32,537 pounds pa (March 2002 pay scales)
Available from 1st September 2002

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.