There are two (related) positions. One succesful candidate will focus on *proof logging*, the other candidate on *explanations*; some details can be found below.
The field of combinatorial optimization is concerned with developing generic tools that take a declarative problem description and automatically compute an optimal solution to it. Often, users specify their problem in a high-level, human-understandable formal language. This specification is first translated into a low-level specification a solver understands and subsequently solved. Thanks to tremendous progress in solving technology, we can now solve a wide variety of NP-hard (or worse) problems in practice. Moreover, these tools are increasingly used in real-life applications, including high-value and life-affecting decisions.
Κοινοποιήστε τις θέσεις εργασίας σας συμπληρώνοντας την φόρμα υποβολής αγγελιών.
Ενημερωθείτε για άρθρα που αφορούν σε άτομα με αναπηρία.
Συμπληρώστε το e-mail σας και θα λαμβάνετε περιοδικά το Δελτίο Τύπου της Ραδιοφωνικής Εκπομπής "Διασυνδεθείτε".
Παρακαλώ, όσοι διαθέτετε λογαριασμό e-mail του Δ.Π.Θ μην τον χρησιμοποιείτε για την εγγραφή σας στο newsletter της Δομής Απασχόλησης & Σταδιοδρομίας του Δ.Π.Θ.
Βρείτε πληροφορίες για Προπτυχιακές Σπουδές στο Δ.Π.Θ.
Αναζητήστε μεταπτυχιακά προγράμματα στη βάση δεδομένων του Δ.Π.Θ.
Αναζητήστε φορείς για Erasmus Placement
Βοηθήστε μας να γίνουμε καλύτεροι. Συμμετοχή στη δημοσκόπηση του Γραφείου Διασύνδεσης
