* Lectureship in Theoretical Computer Science in Birmingham
@ 1999-07-27 17:56 Achim Jung
0 siblings, 0 replies; only message in thread
From: Achim Jung @ 1999-07-27 17:56 UTC (permalink / raw)
To: categories
The University of Birmingham
School of Computer Science
LECTURER IN THEORETICAL COMPUTER SCIENCE
Applications are invited for a permanent lectureship in Theoretical
Computer Science in the School of Computer Science at the University of
Birmingham.
Applications from all areas of Theoretical Computer Science will be
considered but preferential treatment will be given to candidates who
show promise to strengthen existing activities. These encompass
Mathematical Structures in Computer Science, Lambda Calculus, Type
Theory, and Verification of Systems. The School has recently appointed
Uday Reddy to a Chair in Programming Languages and close cooperation
between the existing Theory group and this new strand of activity is
expected.
For further information, please see
ftp://ftp.cs.bham.ac.uk/pub/dist/info/lect.tcs/particulars.htm
Please pass this advert on to any interested individuals in your
department.
Kind regards,
Achim Jung.
-------------------------------------------------------------------------
Prof Achim Jung Tel.: (+44) 121 414 4776
School of Computer Science Sec.: (+44) 121 414 3711
The University of Birmingham Fax.: (+44) 121 414 4281
Edgbaston Email: A.Jung@cs.bham.ac.uk
BIRMINGHAM, B15 2TT Web: http://www.cs.bham.ac.uk
England
-------------------------------------------------------------------------
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~1999-07-27 17:56 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
1999-07-27 17:56 Lectureship in Theoretical Computer Science in Birmingham Achim Jung
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).