coq-club AT inria.fr
Subject: The Coq mailing list
List archive
[Coq-Club] PostDoc Position in Knowledge-based Systems and Artificial Intelligence. Vienna, Austria. Application deadline: July 15, 2020
Chronological Thread
- From: Mihaela Rozman <mihaela.rozman AT tuwien.ac.at>
- To: <coq-club AT inria.fr>
- Subject: [Coq-Club] PostDoc Position in Knowledge-based Systems and Artificial Intelligence. Vienna, Austria. Application deadline: July 15, 2020
- Date: Tue, 9 Jun 2020 17:55:31 +0200
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=mihaela.rozman AT tuwien.ac.at; spf=None smtp.mailfrom=mihaela.rozman AT tuwien.ac.at; spf=None smtp.helo=postmaster AT secgw1.intern.tuwien.ac.at
- Ironport-phdr: 9a23:D6dFLhOvfGYswjKe4Mgl6mtUPXoX/o7sNwtQ0KIMzox0I/r/rarrMEGX3/hxlliBBdydt6sZzbOL7+u/AyQp2tWoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7Ovr6GpLIj8Swyuu+54Dfbx9HiTagYb5+Ngi6oAXeu8UZg4ZuNLs6xwfUrHdPZ+lY335jK0iJnxb76Mew/Zpj/DpVtvk86cNOUrj0crohQ7BAAzsoL2465MvwtRneVgSP/WcTUn8XkhVTHQfI6gzxU4rrvSv7sup93zSaPdHzQLspVzmu87tnRRn1gyoBKjU38nzYitZogaxbvhyhqR5wzZPabo+WO/VxYqTTfc8BSGVbQspRWDRMDp2gY4YNCecKIOZWr5P6p1sLtRawAgisBOP1xTBWgn/5x7Ax3fgmEQDH2QwvBdQOu2nTodXwNacSUfq6w7fMzTrZdf9WwzD96YnNch87p/GBRq5wcdffyEkuCQzFiE+cppb5MD+PzOsNr3GW4ux9Xu2gl2ApsRt+oiSzxsgykInJgJoYx1PF+Ch4wIs4J8O1RUp/bNCkDJZdtz+WOol2TM4hTWxmtyg3xLIFtJO1YiUEyJYqygLeZvKHb4SE/BzuWPuNLTp+mXlrdrW/hxOo/kihzO3xTtK00FdPripGj9nMrWoB1x3V6siJTftx5kOh2TGA1wDS9u5IOFw7lbHBJ5E73r48jp8TvlrZHiDqhkr2lrWaeVkj+uit7ensf7bopoeEOoNplA3zMb4iltGxDOgkKAQDUXSX9f6+2bH+5UH1XatGg/4snqXEvp3WON4XqrOkDwNIyIov9QqzAjOg3d8Fh3cINkhFdwiCj4XxO1HBPvT4DfCnjlS3jjhk2//GP7P8DpnXL3jDlqvhcqhn605a0gYz0c1f5pxVCr4fJvL/QFX+u8DCAhAjLwy42+fnCNNj2YMCQW+DH7GVPaDIvVOV6O8jP/OAaYEJtDrnKfUp+ubijXojll8ceamp04EXaHe9Hvl+JkWZYHrsjc0fHmcOpAUyVvbqiFqDUD5WfXmyWbkx5i0mCIOoDIfMWIatjKab0yinBJFZfHxGBkiWEXj0b4WER+sMaCWKL8B9lTwETKGtRJMl1RGzrwD30KFnL+rR+i0Ar53vztl15+vJlREz7zN4Fcqd03veB11zyzcDQCZz16Riq2R8zE2C2O52maoLO8ZU4qZsUwczOJrVh9Z9GdX7XEqVe9aJQVuiS5O8BiM0R9QZ38IRYkt7XdypyBnfiXn5S4QJnqCGUcRnupnX2GL8cp4kliT2kZI5hlxjefNhcG2rgqklp1rICoXGjBzflqC2eL4amjLQ62aOyyyHtwdRTFwoCPmXbTUkfkLT6O/ByAbaVbb3VeY7LxRAxMjEI6AMY8G71QwXFsemA8zXZieKo0n1AB+Jwr2Wa4+zJzcBwTrcBU5CmgtV9GrUbQU=
A PostDoc position is available at the Database and Artificial Intelligence Group at TU Wien (Vienna University of Technology), Austria.
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 =================
Application Deadline: July 15, 2020
Please send your application to Dr. Mantas Šimkus (simkus AT 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/ [2] http://www.simkus.info/projects/fwf-project-p30873/ [4] https://mobilityexchange.mercer.com/Insights/quality-of-living-rankings
|
- [Coq-Club] PostDoc Position in Knowledge-based Systems and Artificial Intelligence. Vienna, Austria. Application deadline: July 15, 2020, Mihaela Rozman, 06/09/2020
Archive powered by MHonArc 2.6.19+.