STI Innsbruck is a research group at the University of Innsbruck engaged in research and development to bring information and communication technologies of the future into today's world.

Post-Docs and Senior Researchers

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 offer:

    • The stimulating environment of a leading research group in this area
    • Excellent ties to research groups worldwide
    • Up-to-date infrastructure and resources, including funding for attending international conferences
    • The annual gross salary for a Postdoctoral researcher (full time position) at our institute (depending on the specific qualification): from € 55.818

      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 will also include management responsibility for a research cluster of 3 – 6 junior researchers. We invite you to submit your application to hr@sti2.at

      Please include a current resume, a list of publications, and digital versions of your most relevant works. In case of any questions regarding this position please contact Anna Fensel.