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 PhD degree in Computer Science, Mathematics, or other closely related field
- Excellent academic record
- High motivation to succeed in academia
- Very good English writing skills
=================
WE OFFER
=================
- Employment at TU Wien from 2 years to 3.5 years, depending on research tasks
- Gross salary of approx. 54.453 EUR per year (approx. 35.463 EUR per year after taxes in basic circumstances)
- A department that offers top research expertise, and a stimulating and supportive environment
- 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
=================
Extended Application Deadline: July 31, 2020
Please send your application to Dr. Mantas Šimkus (simkus@dbai.tuwien.ac.at <mailto:simkus@dbai.tuwien.ac.at> )
Application Documents:
- Curriculum Vitae
- PhD thesis and/or the list of publications
- At least 2 names of referees
=================
LINKS
=================
[1] <http://www.simkus.info/projects/fwf-project-p30360/> http://www.simkus.info/projects/fwf-project-p30360/
[2] <http://www.simkus.info/projects/fwf-project-p30873/> 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> https://mobilityexchange.mercer.com/Insights/quality-of-living-rankings
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
