Logic List Mailing Archive

PhD student position in databases and AI, Vienna (Austria), Deadline: 15 Jul 2020

A PhD position is available at the Database and Artificial Intelligence 
Group at TU Wien, Austria (under the supervision of Dr. Mantas ?imkus).

We invite highly motivated applicants interested both in the theory and 
practice of

- Description Logics

- Answer Set Programming

- Knowledge Representation and Reasoning

- Reasoning about Actions and Change

- Database Theory

In particular, we are seeking to strengthen our research teams in two 
foundational research projects ?Ontology-mediated Queries for Graph 
Databases?[1] and ?KtoAPP: Compiling Knowledge into Applications?[2] 
funded by the Austrian Science Fund (FWF).


=====================
YOUR PROFILE
=====================

- A degree in Computer Science, Mathematics, or other closely related 
field

- A very strong study record, especially in foundational topics (like 
discrete mathematics, logic, logic programming, algebra, theory of 
computation, computational complexity, combinatorics, graph theory, 
automata theory, data structures and algorithms)

- Very good English writing skills

=====================
WE OFFER
=====================

- Employment at TU Wien for up to 3.5 years, with Dr. Mantas ?imkus as PhD 
advisor

- Gross salary of approx. 30.754 EUR per year (approx. 22.506 EUR per year 
after taxes in basic circumstances)

- The candidate student would join the LogiCS doctoral program [3] which 
offers top research expertise, and a stimulating and supportive 
environment

- A research and study environment that is friendly and gender-balanced

- TU Wien is a great place for professional growth (e.g., the Austrian 
Science Fund offers multiple funding opportunities for young researchers 
to advance their independent scientific careers).

- Vienna is a beautiful city that offers excellent quality of life [4]


=====================
APPLICATION PROCESS
=====================


Application Deadline: July 15, 2020

Please send your application to Dr. Mantas ?imkus 
(simkus@dbai.tuwien.ac.at<mailto:simkus@dbai.tuwien.ac.at>)

=====================
APPLICATION DOCUMENTS
=====================

-A motivation letter, which should make a connection to one of the 
research projects mentioned above

-Curriculum Vitae

-Transcripts (academic record) showing high performance in prior studies

-Abstract of the Master thesis

-2 letters of recommendation

=====================
QUALITY OF LIFE
=====================

Vienna, the city features a vibrant and excellence-driven research 
landscape, with several leading research institutes (e.g., University of 
Vienna, IST, AIT, SBA) and universities continuously establishing 
collaborations in various fields. Finally, Vienna has been consistently 
ranked by Mercer over the last years the best city for quality of life 
worldwide.


=====================
LINKS
=====================


[1] http://www.simkus.info/projects/fwf-project-p30360/

[2] http://www.simkus.info/projects/fwf-project-p30873/

[3] https://logic-cs.at<https://logic-cs.at/>
[4] https://mobilityexchange.mercer.com/Insights/quality-of-living-rankings

=====================
WEBSITE
=====================

www.vcla.at/positions/<http://www.vcla.at/positions/>

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