AISB opportunities Bulletin Item
Post-Docs & Senior ResearchersDERI Innsbruck
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 email@example.com. Please include a current resume, a list of publications, and digital versions of your most relevant works.