caml-list - the Caml user's mailing list
 help / Atom feed
* [Caml-list] PhD Position in Artificial Intelligence at TU Wien, Vienna, Austria. Application deadline: July 15, 2020
@ 2020-06-09 14:23 Mihaela Rozman
  0 siblings, 0 replies; 1+ messages in thread
From: Mihaela Rozman @ 2020-06-09 14:23 UTC (permalink / raw)
  To: caml-list

[-- Attachment #1: Type: text/plain, Size: 3644 bytes --]

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

 

=====================      

WEBSITE 

=====================      

 

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

 


[-- Attachment #2: Type: text/html, Size: 19508 bytes --]

^ permalink raw reply	[flat|nested] 1+ messages in thread

only message in thread, back to index

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2020-06-09 14:23 [Caml-list] PhD Position in Artificial Intelligence at TU Wien, Vienna, Austria. Application deadline: July 15, 2020 Mihaela Rozman

caml-list - the Caml user's mailing list

Archives are clonable: git clone --mirror https://inbox.ocaml.org/caml-list

AGPL code for this site: git clone https://public-inbox.org/ public-inbox