Logic List Mailing Archive

Postdoctoral position in description logics and knowledge representation, Vienna (Austria), Deadline: 31 Jul 2020 (TODAY!)

A PostDoc position is available at the Database and Artificial 
Intelligence Group at the TU Wien (Vienna University of Technology), 
Austria (Faculty of Informatics).

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