Logic List Mailing Archive

PostDoc position in Logic in CS at UC Cork (Ireland)

A PostDoctoral Research Fellowship will shortly become available in the
Boole Centre for Research in Informatics at University College Cork (see
http://www.bcri.ucc.ie/about.html). It will be tenable from March, 2004
onwards for a period of up to two years, and can be offered either at
Level I (worth Euro 23,500 per annum plus PRSI) or at level II (worth Euro
33,500 per annum plus PRSI) depending on the qualifications and experience
of the successful candidate. Ideally, it should be taken up before June,
2004. In addition, both levels have some associated travel funds.

The fellowship is being offered in an area related to the Theory of
Computation/Mathematical Foundations of Computation including: 
(i) the interaction between neural networks and logic programming, 
(ii) non-monotonic reasoning, 
(iii) the semantics of (probabilistic) logic programs and uncertainty,
(iv) mathematical analysis in the semantics of programming languages,
(v) the interaction between continuous and discrete models of computation.

For full details please contact  a.seda@ucc.ie

Tony Seda