Lectureships in Computer Science

Lectureships in Computer Science

[categories]

Date: Tue, 20 Jan 1998 12:09:26 GMT
From: rlc3@mcs.le.ac.uk


Dear Colleagues,

I would be grateful if you could publicize the following 
lectureship advertisement.

Thank you,
Roy Crole.

---------------------------------------------------------------------

Leicester University UK

DEPARTMENT OF MATHEMATICS & COMPUTER SCIENCE

2 LECTURESHIPS IN COMPUTER SCIENCE

Applications are invited for 2 Lectureships in Computer Science in the
Department of Mathematics and Computer Science at the University of
Leicester.  One lectureship will be in the general area of Software
Engineering and Formal Methods, and there are no restrictions on the
other lectureship.  The posts are tenable from 1st September 1998 or
as soon as possible thereafter.

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.  Initial salary, dependent
upon qualifications and experience, will be on the Lecturer Grade A or
B scale 16,045 to 27,985 GBP p.a.

Candidates who are interested in either of the lectureships are
invited, if they so wish, to contact Professor Iain Stewart (telephone
0116 252 5237, e-mail i.a.stewart@mcs.le.ac.uk) or Professor Rick
Thomas (telephone 0116 252 3411, email rmt@mcs.le.ac.uk), who will be
pleased to discuss the lectureships further.  Information about the
Department is also available on the WWW [http://www.mcs.le.ac.uk].

Further particulars (which are also available on the World Wide Web)
and application forms are available from the Personnel and Planning
Office (Academic Appointments), University of Leicester, University
Road, Leicester LE1 7RH, telephone +44 (0)116 252 2758.

The closing date for applications is 20th March 1998.  
Please quote reference A5167.

Lectureships in Computer Science

[Roy L. Crole]

Dear Colleagues,

I would like to announce three Lectureships in Computer Science, which
may be of interest to CATEGORIES and TYPES readers. 

Leicester has a research group working in Categories and Semantics
which includes Simon Ambler, Neil Ghani, Vincent Schmitt, Nobuko
Yoshida and myself.  Current research areas include Operational
Semantics, Mechanized Reasoning, Categorical Models of Programming
Languages including Concurrency, Categorical Term Rewriting, and
Enriched Category Theory.

These areas are directly or indirectly connected with the theory and
practice of categories and types.

Roy Crole.

--------------------- %< ----------------------------------------

UNIVERSITY OF LEICESTER

DEPARTMENT OF MATHEMATICS & COMPUTER SCIENCE

Lecturer A in Computer Science (3 posts)
Available from 1 September 2000

Ref: A5365/GD

Applications are invited for three open-ended Lectureships in Computer
Science in the Department of Mathematics and Computer Science at the
University of Leicester.  There is no restriction regarding the area
of research and applicants with expertise in any area of Computer
Science are welcomed.  All three lectureships are tenable from 1
September 2000 or as soon as possible thereafter.

The Department of Mathematics and Computer Science is divided into
three groups: Computer Science, Pure Mathematics and Applied
Mathematics.  The Computer Science Group is firmly research oriented
and these lectureships are intended to strengthen the Group with
regard 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.  The new lecturers will be required to
teach at undergraduate and postgraduate level, and to perform
administrative duties as directed by the Head of Department.  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.  Initial salary, dependent upon
qualifications and experience, will be on the Lecturer Grade A scale
UKpounds 17,238 to UK pounds 22,579 p.a.

Candidates who are interested in the lectureships are invited, if they
so wish, to contact

   Professor Iain Stewart,
   Head of Department
   telephone (+44) (0)116 252 3885,
   e-mail i.a.stewart@mcs.le.ac.uk

or

   Professor Rick Thomas,
   Deputy Head of Department
   telephone (+44) (0)116 252 3411,
   email rmt@mcs.le.ac.uk,

who will be pleased to discuss the Lectureships further.

Information about all aspects of the Department is available from its
World Wide Web pages [http://www.mcs.le.ac.uk].

Further particulars and application forms are available, by quoting
the reference A5365/GD, from

  Personnel Office,
  University of Leicester,
  University Road,
  Leicester LE1 7RH,
  U.K

  telephone (+44) (0)116 252 2439
  email jobs@le.ac.uk,

or via http://www.le.ac.uk/personnel/jobs

The closing date for applications is 16 June 2000.

Lectureships in Computer Science

[Roy L. Crole]

LEICESTER UNIVERSITY

DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCE

LECTURESHIPS (GRADE A/B) IN COMPUTER SCIENCE (2 POSTS)

Applications are invited for 2 permanent Lectureships in Computer Science
in the Department of Mathematics and Computer Science at the University of
Leicester.  There is no restriction regarding the area of research and
applicants with expertise in any area of Computer Science are welcomed.
Both lectureships are tenable from 1 April 1999 or as soon as possible
thereafter.

The Department of Mathematics and Computer Science is divided into three
groups: Computer Science, Pure Mathematics and Applicable Mathematics.  The
lectureships are intended to strengthen the Computer Science Group with
regard to both teaching and research.  The Computer Science Group is firmly
research oriented and current activities are concentrated within three
research areas: Logic, Algebra and Complexity; Theory of Distributed
Systems; and Semantics.

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.  The new lecturers will be required to teach at
undergraduate and postgraduate level, and to perform administrative duties
as directed by the Head of Department.  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.
Initial salary, dependent upon qualifications and experience, will be on
the Lecturer Grade A or B scale UK pounds 16,655 to UK pounds 29,048 p.a.

Candidates who are interested in the lectureships are invited, if they so
wish, to contact Professor Iain Stewart, Head of Computer Science and Head
of Department (telephone (+44) 116 252 3885, e-mail
i.a.stewart@mcs.le.ac.uk) or Professor Rick Thomas, Deputy Head of
Department (telephone (+44) 116 252 3411, email r.thomas@mcs.le.ac.uk), who
will be pleased to discuss the Lectureships further.  Information about all
aspects of the Department is available from its World Wide Web pages
[http://www.mcs.le.ac.uk].

Further particulars (which are also available on the World Wide Web) and
application forms are available from the Personnel Office (Academic
Appointments), University of Leicester, University Road, Leicester LE1 7RH,
telephone (+44) 116 252 2758.

The closing date for applications is 19 February 1999.