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.
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 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.