Logic List Mailing Archive

Ten PhD student positions in logic-related CS, Vienna (Austria), Deadline: 30 Apr 2022

*Second Call for Applications*

Ten Doctoral Candidates (University Assistants, Pre-Doc)
40 hours/week, for 4 years

The novel interdisciplinary Marie Skłodowska-Curie COFUND doctoral 
training programme

LogiCS@TUWien - Logics for Computer Science

is offering a further 10 full-time PhD positions. The program is co-funded 
by the European Commission and hosted by TU Wien, one of the most 
successful technical universities in Europe and the largest one in 
Austria. The Faculty of Informatics of TU Wien is a leading research and 
teaching institution which consistently ranks among the top 100 computer 
science faculties in the global Times Higher Education ranking. In the 
heart of Europe, Vienna has a distinguished history in mathematics, 
computer science, and logic-related research and offers one of the highest 
living standards in the world.

The doctoral positions are open to international high-potential 
early-stage researchers with an interest in working on Logical Methods in 
Computer Science and their applications, including: * Artificial 
Intelligence * Databases * Verification * Algorithms

The programme provides a 4-year long doctoral training for international 
PhD candidates within an English-language curriculum. LogiCS@TUWien will 
run for 60 months and foresees the recruitment of a further 10 PhD 
candidates in addition to the 10 candidates recruited in the first call. 
These new PhD candidates will each pursue research on one of the available 
projects (see http://www.vcla.at/msca/topics/) and be supervised by:

* Agata Ciabattoni
* Thomas Eiter
* Georg Gottlob
* Magdalena Ortiz
* Stefan Szeider
* Georg Weissenbacher
* Stefan Woltran
* Florian Zuleger

This is the second call for applications, after filling 10 positions in 
the first call. The application deadline for this call is April 30, 2022.

For details on how to apply, see http://www.vcla.at/msca/apply or watch 
the video

at https://youtu.be/Aq0JGJ9eqzQ
[LOGIC] mailing list
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