Https://Lfuonline.Uibk.Ac.At/Public/Karriereportal.Details?Asg_id_in=14526 PhD in Computational Logic in the Innsbruck University Main tasks: - Dissertation

Question

Https://Lfuonline.Uibk.Ac.At/Public/Karriereportal.Details?Asg_id_in=14526 PhD in Computational Logic in the Innsbruck University Main tasks: - Dissertation

in the field of term rewriting and automatic deduction
- Independent research in the areas of term rewriting and automatic deduction
- Independent teaching; student supervision and scientific publications
- Organizational and administrative tasks
- Training and further education.

😏