Research positions in pure and applied logic

Research Fellowships (approximately 30 positions)

National ICT Australia is a newly formed Australian research institute
in Information and Communications Technology. The Centre will be based
in Sydney and Canberra, building on the research strengths of the
partner universities, the University of New South Wales and the
Australian National University. Details of the centre can be found on
its website http://nicta.com.au.

We are now hiring researchers in a broad range of research areas, 
  Logic and Computation (Canberra)
    contact John Slaney (John.Slaney@anu.edu.au)
    or Rajeev Gore (Rajeev.Gore@anu.edu.au)
  Formal Methods (Sydney) 
    contact Ron van der Meyden (meyden@cse.unsw.edu.au)
  Knowledge Representation and Reasoning (Sydney)
    contact Norman Foo (norman@cse.unsw.edu.au)

These are 3-5 year positions. The formal advertisement, which
contains details on how to apply, can be found at
http://nicta.com.au/jobs/postdoc.pdf. The fellowships are referred to
there as "postdoctoral fellowships" but it should be noted that these
are substantial research positions of several years duration and are
not restricted to immediately postdoctoral applicants.

There is no closing date. Assessment of applications will commence on
18 November 2002. We expect to move to a first round of appointments
very soon after that.