Logic List Mailing Archive

PhD student position or postdoctoral position in SAT testing or modelling human reasoning tasks, Dresden (Germany)

The Chair of Knowledge Representation and Reasoning at the Institute of
Artificial Intelligence offers a position as

Research Associate / PhD Student / Postdoc (Subject to personal
qualification employees are remunerated according to salary group E13 TV-L)

starting at the next possible date. The position is limited for 36 months.
The period of employment is governed by Fixed Term Research Contracts Act
(Wissenschaftszeitvertragsgesetz-WissZeitVG). The position aims at
obtaining further academic qualification (e.g. PhD / habilitation thesis).

Tasks: scientific research preferably in either the area of satisfiability
(SAT) testing or in the area of modelling human reasoning tasks by
appropriate logics; organisation of lectures, especially of excercises and
seminars; supervision of students; organisation of examinations under the
responsibility of the Chair of Knowledge Representation and Reasoning;
participation in administrative processes including organisation of
scientific events; support in applications for third-party funding.

Requirements: university degree in computer science (or related
disciplines); the ability to communicate and to develop projects in a
structured way; good command of the German and the English language.
Applications from women are particularly welcome. The same applies to
people with disabilities.

Please submit your comprehensive application including the usual documents
preferably as a single pdf-document to sh@iccl.tu-dresden.de or by mail to:
TU Dresden, Fakultät Informatik, Institut für Künstliche Intelligenz,
Professur für Wissensverarbeitung, Herrn Prof. Steffen Hölldobler,
Helmholtzstr. 10, 01069 Dresden. Please submit copies only, as your
application will not be returned to you. Expenses incurred in attending
interviews cannot be reimbursed.
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam