[DL] Postdoctoral researcher position in Dresden: logic & databases (fully funded, up to 5 years)

[Markus Kroetzsch]

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 at 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 at tu-dresden.de

or alternatively by post to:

	Dr. Markus Kroetzsch
	Technische Universität Dresden
	Faculty of Computer Science
	01062 Dresden
	Germany

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