Logic List Mailing Archive

Several postdoctoral positions in logic and databases, Dresden (Germany)

Dear all,

TU Dresden has several positions to fill in the area of logic and 
databases (including ontology-based data access and "semantic" data 
management). Below is the detailed description of a postdoc position. 
Please forward to anyone who might be interested.

There is also an option to create fully funded PhD positions in the same 
topic area; interested students are welcome to contact me.

Best regards,

Markus

P.S. Apologies for posting this to several lists at once. I have tried to 
minimize the channels to directly relevant lists.


======================================================================== 
At TU Dresden, the Department of Computer Science offers a full, 
fixed-term

Postdoctoral researcher position (salary grade E 13 TV-L)

in project ?Data Integration and Access by Merging Ontologies and 
Databases? (DIAMOND).

*Topics:* How can modern data management take advantage of new 
developments in logic, AI, and the semantic web? Project DIAMOND tackles 
this question by exploring the use of knowledge representation 
technologies (e.g., ontologies) in data management (e.g., for querying 
graph data). Both areas have seen exciting developments recently: data 
management has grown beyond traditional database systems by considering 
new data models and application contexts, while knowledge representation 
has grown beyond traditional AI systems to address challenges in 
ontological modelling and data integration. The intersection of both areas 
offers a wide range of fascinating and highly relevant research topics.

*Prerequisites:* We aim at attracting talented researchers both in logic 
and in data management, with a keen interest in bringing foundational and 
applied research together. We expect: a (soon to be) completed Ph.D. 
thesis in computer science, mathematics, or similar; strong academic 
performance, witnessed by publications or implementations; the ability to 
work independently; an integrative and cooperative personality with 
excellent communication and social skills; fluency in English, written and 
oral. German language skills are not required, as the research and 
teaching environment is international.

*What we offer:* The position is offered for 36 months, 100% of full-time 
weekly hours. The total project duration is 60 months, pending mid-term 
evaluation. The DIAMOND group is embedded in an inspiring research 
environment that offers many exciting opportunities. The International 
Center of Computational Logic with its eight full professors and more than 
50 researchers and Ph.D. students is one of the biggest research centres 
for formal methods, logic, and artificial intelligence. The DIAMOND group 
will closely co-operate with the research groups of Professors Baader 
(automata theory), Rudolph (computational logic), and Lehner (databases). 
TU Dresden is one of the leading universities in Germany, and one of the 
eleven German universities that have been awarded excellence status in the 
national Excellence Initiative.

Dresden is a beautiful city with a very high standard of living. The city 
is exceptionally family friendly, with the highest birth rates of all big 
German cities in recent years. It is one of the top cultural centres in 
Germany, featuring fascinating museums, impressive historic buildings, and 
a rich event calendar throughout the year.

*Application:* Informal enquiries can be submitted to Dr. Markus Kroetzsch 
(+49 351 463 38486; markus.kroetzsch@tu-dresden.de). Applications from 
women are particularly welcome. The same applies to disabled people. 
Complete applications should be submitted, preferably by e-mail as a 
single PDF document, to:

markus.kroetzsch@tu-dresden.de

or alternatively by post to:

 	Dr. Markus Kroetzsch
 	Technische Universitt Dresden
 	Faculty of Computer Science
 	01062 Dresden
 	Germany

Please only include copies of official documents, since application
documents can not be returned.
"""