Thumbnail
Διδακτορικές υποτροφίες στη Βιέννη

The Logical Methods in Computer Science – LogiCS doctoral program is a PhD degree program, funded by the Austrian Science Fund FWF and run jointly by the three Austrian universities TU Wien (Vienna University of Technology), Graz University of Technology and Johannes Kepler University Linz.

Why study Logical Methods in Computer Science?
LogiCS offers an international program characterized by the unique combination of disciplineswhere logical methods decisively impact practical computer science.Logic is a powerful reasoning tool. Originally invented as an aid for sound argumentation, it reached maturity in the form of mathematical logic and analytic philosophy in the early 20th century, with significant contributions from Vienna. LogiCS continoues this tradition, using logic as a tool that enables computer programs to reason about the world.

Successful applicants will work on interdisciplinary research topics covering

computational logic,

databases and artificial intelligence, 

computer-aided verification, and

emerging application domains, such as cyber-physical systems, distributed systems, and security & privacy.

POSITIONS AND FUNDING
We are looking for 16 doctoral students, where 30% of the positions are reserved for highly qualified female candidates. 

The doctoral positions are funded for a period of 4 years according to the funding scheme of the Austrian Science Fund.

Additional positions will be available through other funding.

Καταληκτική ημερομηνία: Παρασκευή 31 Αυγούστου 2018

Για να δείτε περισσότερες πληροφορίες πατήστε ΕΔΩ

Όλες οι σημαντικές και έκτακτες ειδήσεις σήμερα

Voucher 2250 ευρώ σε ανέργους με ΚΑΥΑΣ DYPAHS - ΞΕΚΙΝΗΣΤΕ ΑΜΕΣΑ ΣΤΟ ΕΚΕΚ ΕΔΩ

1750 νέοι εκπαιδευτικοί ξεκινούν έως 30/7 Ειδική Αγωγή, Σχολ. Ψυχολογία, Παιδαγωγική και Ηγεσία

Παν.Πατρών: Tο 1ο στην Ελλάδα Πανεπιστημιακό Πιστοποιητικό Τεχνητής Νοημοσύνης για εκπαιδευτικούς

Πανεπιστήμιο Αιγαίου: Το κορυφαίο πρόγραμμα ειδικής αγωγής στην Ελλάδα - Αιτήσεις έως 29/7

ΕΥΚΟΛΕΣ πιστοποιήσεις ΙΣΠΑΝΙΚΩΝ - ΙΤΑΛΙΚΩΝ για ΑΣΕΠ - Πάρτε τις ΑΜΕΣΑ

Google news logo Ακολουθήστε το Alfavita στo Google News Viber logo Ακολουθήστε το Alfavita στo Viber

σχετικά άρθρα

κουρτίνα
Σοκ από νέα μελέτη: Εισπνέουμε έως και 70.000 μικροπλαστικά την ημέρα μέσα στο ίδιο μας το σπίτι
Η πλειονότητα των μικροσωματιδίων είναι αόρατη και εισχωρεί βαθιά στους πνεύμονες – Τι δείχνει η έρευνα από το Πανεπιστήμιο της Τουλούζης
Σοκ από νέα μελέτη: Εισπνέουμε έως και 70.000 μικροπλαστικά την ημέρα μέσα στο ίδιο μας το σπίτι
ομελέτα
Ομελέτα φούρνου με λαχανικά και φέτα – Εύκολη, θρεπτική και απολαυστική
Μπορείτε να προσθέσετε ποικιλία από λαχανικά και τυριά, ανάλογα με τις προτιμήσεις σας, δημιουργώντας κάθε φορά μια νέα γευστική παραλλαγή
Ομελέτα φούρνου με λαχανικά και φέτα – Εύκολη, θρεπτική και απολαυστική
marouli
Ιδέες για τοστ χωρίς ψωμί: Νόστιμες λύσεις με λιγότερους υδατάνθρακες
Υπάρχουν έξυπνοι και γευστικοί τρόποι να αντικαταστήσεις το ψωμί, διατηρώντας την ευκολία και την απόλαυση ενός τοστ.
Ιδέες για τοστ χωρίς ψωμί: Νόστιμες λύσεις με λιγότερους υδατάνθρακες