Logic List Mailing Archive

PhD student position in theoretical computer science, Innsbruck (Austria), Deadline: 20 Mar 2020

Kindly note that the official link

https://orawww.uibk.ac.at/public/karriereportal.details?asg_id_in=11112

will only be available from February 13.

------------------------------------------------------------

4-year PhD position  at the  University of Innsbruck
======================================================================

Within the  Theoretical Computer  Science Group  of the  Department of
Computer Science at  the University of Innsbruck, Austria  there is an
opening for a 4 year PhD student position.

We are  looking for a  strong candidate  interested in one  (ideally a
combination) of  the following  areas (i)  automation; (ii)  logic and
type  theory;   (iii)  programming  languages;  (iv)   static  program
analysis. Kindly  see https://tcs-informatik.uibk.ac.at/vacancies/ for
further details.

Applications (including  CV, letter  of motivation,  three references)
may be submitted via the following link

https://orawww.uibk.ac.at/public/karriereportal.details?asg_id_in=11112

no  later than  March  20, 2020.  Informal inquiries  may  be sent  to
georg.moser@uibk.ac.at.

The  city   of  Innsbruck  is   superbly  located  in   the  beautiful
surroundings  of the  Tyrolean  Alps. The  combination  of the  Alpine
environment  and urban  life in  this  historic town  provides a  high
quality of living.

Further information is available from the following links:

- Theoretical Computer Science Group
   https://tcs-informatik.uibk.ac.at/
- Department of Computer Science
   https://www.uibk.ac.at/informatik/
- University of Innsbruck
   https://www.uibk.ac.at/


--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam