Logic List Mailing Archive

Postdoctoral positions in Computer Science, Aberdeen (Scotland), Deadline: 29/28 June 2012

A number of postdoctoral positions are becoming available at the Computing 
Science department of the University of Aberdeen (Scotland). The jobs are 
advertised at http://www.jobs.ac.uk/ (look under Computer Science) and 
http://www.abdn.ac.uk/jobs/index.php (external applicants). These 
vacancies are associated with two projects that were recently funded by 
the EPSRC. They could be filled by a computationally oriented logician 
interested in natural language. If you wish to apply, you should do so via 
http://www.abdn.ac.uk/jobs/index.php (external applicants)

-- One project is named SASSY (Scrutable Autonomous Systems). The project 
will investigate argumentation-based techniques for distributed planning, 
coupled with Natural Language Generation techniques for presenting and 
explaining computer-generated plans. The project is still looking for 
candidates to fill two of the postdoctoral positions on this project, one 
of which will work on the mapping from logical formulas and proofs to 
English text. For information, send email to Kees van Deemter at 
k.vdeemter@abdn.ac.uk<mailto:k.vdeemter@abdn.ac.uk>. The reference number 
of the job is NCS017R, closing date 29 June. There is a possibility that 
this deadline may be extended slightly.

-- The other project is named WhatIf. The project links formal ontologies 
in Description Logic with dialogue, aiming to give users who are not 
logicians an understanding of the effects that possible changes to the 
ontologies (e.g., the addition of a concept or an axiom) would have (e.g., 
a contradiction may arise). We are interested in recruiting someone with 
interests in dialogue and/or NLG. If you'd like to talk about the project, 
send email to Chris Mellish at 
c.mellish@abdn.ac.uk<mailto:c.mellish@abdn.ac.uk> or Jeff Pan at 
jeff.z.pan@abdn.ac.uk<mailto:jeff.z.pan@abdn.ac.uk> or Kees van Deemter at 
k.vdeemter@abdn.ac.uk<mailto:k.vdeemter@abdn.ac.uk>. The reference number 
of the job is NCS14R, closing date 28 June.