[DL] PhD/PostDoc position at TU Dresden

[Franz Baader]

Dear colleagues,

please find below a call for applicants for a research position within
my group. The main topic of the project is to use temporal variants of
ontology-based data access (OBDA) to achieve situation awareness.

f you are looking for a position and satisfy the requirements, please
apply (see below for deadline and application procedure). Otherwise,
please forward this call to possible candidates.

If you have questions regarding the position, please do not hesitate
to send me an Email.

Best regards,

-Franz Baader

-------------------------------------
The Collaborative Research Center (CRC) 912 “HAEC – Highly Adaptive
Energy-Efficient Computing” at Technische Universität Dresden (one of
eleven German universities that have been identified as an "excellence
university"), offers a position as a

       Postdoc / PhD student (TV-L E13)

for the research project 'Semantic Technology for Context Awareness' (B02)
to start on July 1, 2013. This full-time position is available for 24
months and may be extendable for further 48 months. The period of
employment is governed by the Fixed Term Research Contracts Act
(Wissenschafts-zeitvertragsgesetz - WissZeitVG).

The successful candidate will be associated with the Chair of Automata
Theory (headed by Prof. Baader), with her or his work focusing on
logic-based knowledge representation, description-, modal- or temporal
logics, ontological reasoning, query languages for ontology-based data
access or related areas. For more information on the CRC and the project
B02 see:
http://tu-dresden.de/forschung/forschungskompetenz/sonderforschungsbereiche/sfb912/index_html

Requirements:
• Candidates must have a degree in computer science, mathematics or a
related field (diploma, MSc or Ph.D.)
• Ideally, candidates have a good understanding of logics, e.g.,
first-order, description-, modal- or temporal logics
• Very good knowledge of written and spoken English
• Programming experience, e.g., with Java, is an advantage

As the Technische Universität Dresden intends to increase the proportion
of female employees in science, women are particularly encouraged to
apply. The same applies to disabled people.

Complete applications (including a letter of motivation, Curriculum Vitae,
and certificates) must be submitted by e-mail preferably as a single PDF
document quoting the reference number PhD-HAEC-B02 in the subject header
to sfb912 at tu-dresden.de (Please note: We are currently not able to receive
electronically signed and encrypted data). The closing date for
applications is 20 April 2013, but applications will be considered until
the position is filled.


--------------------------------
Prof. Dr.-Ing. Franz Baader
Technische Universität Dresden
Fakultät Informatik
Institut für Theoretische Informatik
Lehrstuhl für Automatentheorie
01062 Dresden
Tel.: +49 (351) 463-39160
Fax: +49 (351) 463-37959
E-Mail: baader at tcs.inf.tu-dresden.de
--------------------------------