categories - Category Theory list
 help / color / mirror / Atom feed
From: Achim Jung <A.Jung@cs.bham.ac.uk>
To: categories@mta.ca
Subject: Lectureship in Theoretical Computer Science in Birmingham
Date: Tue, 27 Jul 1999 18:56:16 +0100 (BST)	[thread overview]
Message-ID: <Pine.SOL.3.96.990727184646.5741T-100000@preston> (raw)


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






                 reply	other threads:[~1999-07-27 17:56 UTC|newest]

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=Pine.SOL.3.96.990727184646.5741T-100000@preston \
    --to=a.jung@cs.bham.ac.uk \
    --cc=categories@mta.ca \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
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).