Job ad: Post-Docs & Senior Researchers

[hr.at at deri.org]

Post-Docs & Senior Researchers

DERI Innsbruck is one of the leading research groups in the area of
Semantic Web technologies with excellent ties to key relevant research
groups worldwide. To strengthen our team we are seeking for a senior
researcher with a strong background in knowledge representation, logics
and formal specification languages. Experience in algorithmic aspects
within these domains are a particular plus for respective candidates.


We expect

** An excellent PhD degree, or equivalent academic degree, in Computer
Science or related disciplines.

** Research interest in at least one of the areas Knowledge
Representation, Logics (e.g. Description Logics, First-order Logics,
Logic Programming), Ontology Languages, or related Semantic Web topics.

** Practical experience in computational aspects of logics and the
construction of respective software systems are a definite plus for
applicants.

** The willingness to combine formal scientific work with
application-oriented research in projects funded by the European
Commission and national Austrian agencies.


We are looking for individuals who will be able to continue their
existing field of research within our ongoing and new research projects.
The senior positions also include management and supervision
responsibilities for a research unit of up to 6 junior researchers.


We offer

** The stimulating environment of a leading research group in this area

** Excellent ties to research groups worldwide and major IT companies

** Up-to-date infrastructure and resources, including funding for
attending international conferences and training and educational events


For further information regarding this position and DERI, please see
http://www.deri.at. We invite you to submit your application to
hr.at at deri.org. Please include a current resume, a list of publications,
and digital versions of your most relevant works.