Θέσεις μεταδιδακτορικού ερευνητή και υποψηφίων διδακτόρων για το πρόγραμμα RELEASE

Η Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών (ΣΗΜΜΥ) του Εθνικού Μετσόβιου Πολυτεχνείου (ΕΜΠ) σε συνεργασία με το Ερευνητικό Πανεπιστημιακό Ινστιτούτο Συστημάτων Επικοινωνιών και Υπολογιστών (ΕΠΙΣΕΥ) προσκαλούν τους ενδιαφερόμενους να υποβάλουν αιτήσεις για:

μία θέση μεταδιδακτορικού ερευνητή (μέγιστος προϋπολογισμός: 21K€/έτος), και
μέχρι τρεις θέσεις υποψηφίων διδακτόρων (μέγιστος προϋπολογισμός: 17K€/έτος).

Προτεραιότητα θα δοθεί για την κάλυψη της θέσης του μεταδιδακτορικού ερευνητή. Η κάλυψη όλων των θέσεων των υποψηφίων διδακτόρων θα εξαρτηθεί από τα προσόντα των υποψηφίων.

Όλες οι θέσεις θα χρηματοδοτηθούν από το τριετές ερευνητικό έργο FP7-ICT-2011-7 "RELEASE: A High-level Paradigm for Reliable Large-scale Server Software". Οι υποψήφιοι που θα επιλεγούν θα ενταχθούν στην ερευνητική ομάδα του Εργαστηρίου Τεχνολογίας Λογισμικού, υπό την επίβλεψη του Επίκ. Καθ. Νικόλαου Παπασπύρου και του Αν. Καθ. Κωνσταντίνου Σαγώνα. Ο μεταδιδακτορικός ερευνητής δε θα έχει διδακτικές υποχρεώσεις.

Η ημερομηνία έναρξης μπορεί να είναι το νωρίτερο τον Οκτώβριο του 2011.

Απαιτήσεις:

Οι υποψήφιοι πρέπει να έχουν πανεπιστημιακό τίτλο σπουδών και, στην περίπτωση του μεταδιδακτορικού ερευνητή, πρόσφατο διδακτορικό στην Πληροφορική ή σε άλλη στενά συνδεδεμένη επιστήμη. Πρέπει να έχουν ισχυρό υπόβαθρο στις γλώσσες προγραμματισμού και στα λειτουργικά συστήματα, με έμφαση στις ακόλουθες περιοχές: συναρτησιακός προγραμματισμός, κατασκευή μεταγλωττιστών, εικονικές μηχανές, ταυτοχρονισμός, παραλληλισμός, ανάλυση προγραμμάτων. Η γνώση της ελληνικής γλώσσας είναι επιθυμητή αλλά όχι απαραίτητη. Η γνώση της αγγλικής γλώσσας είναι απαραίτητη.

Τρόπος υποβολής αιτήσεων:

Οι ενδιαφερόμενοι υποψήφιοι πρέπει να στείλουν ένα email προς τον Επίκ. Καθ. Νικόλαο Παπασπύρου , το οποίο να περιέχει μία σύντομη επιστολή ενδιαφέροντος, ένα βιογραφικό σημείωμα και αναφορές για συστάσεις. Στην ίδια διεύθυνση επίσης μπορούν να απευθύνονται οποιεσδήποτε ερωτήσεις για αυτές τις θέσεις. Αιτήσεις θα γίνονται δεκτές μέχρι να καλυφθούν οι θέσεις.

Επιπρόσθετα, οι θέσεις υποψηφίων διδακτόρων εντάσσονται στο μεταπτυχιακό πρόγραμμα σπουδών της ΣΗΜΜΥ/ΕΜΠ και προκηρύσσονται από τη Γραμματεία Μεταπτυχιακών Σπουδών. Οι υποψήφιοι πρέπει επιπλέον να υποβάλουν αίτηση για το πρόγραμμα μεταπτυχιακών σπουδών της ΣΗΜΜΥ/ΕΜΠ. Η προθεσμία για αιτήσεις λήγει την 23η Σεπτεμβρίου 2011. Λεπτομέρειες και φόρμες αιτήσεων είναι διαθέσιμες από τη σχετική ιστοσελίδα της ΣΗΜΜΥ..

Περιγραφή του έργου (στα αγγλικά):

The exponential growth in the number of cores requires radically new software development technologies. Many expect 100,000-core platforms to become commonplace, and the best predictions are that core failures on such an architecture will be common, perhaps one an hour. Hence we require programming models that are not only highly scalable but also reliable. The project aim is to scale the radical concurrency-oriented programming paradigm to build reliable general-purpose software, such as server-based systems, on massively parallel machines. The trend-setting language we will use is Erlang/OTP which has concurrency and robustness designed in.

Currently Erlang/OTP has inherently scalable computation and reliability models, but in practice scalability is constrained by aspects of the language and virtual machine. Moreover existing profiling & debugging tools don't scale.

The RELEASE consortium is uniquely qualified to tackle these challenges and we propose to work at three levels:

evolving the Erlang virtual machine so that it can work effectively on large scale multicore systems;
evolving the language to Scalable Distributed (SD) Erlang, and adapting the OTP framework to provide both constructs like locality control, and reusable coordination patterns to allow SD Erlang to effectively describe computations on large platforms, while preserving performance portability;
developing a scalable Erlang infrastructure to integrate multiple, heterogeneous clusters.

We will develop state of the art tools that allow programmers to understand the behaviour of massively parallel SD Erlang programs. We will demonstrate the effectiveness of the RELEASE approach using demonstrators and two large case studies on a Blue Gene.

Erlang is a beacon language for distributed computing, influencing both other languages and actor libraries and frameworks. Hence we expect the project to make a strong and enduring impact on computing practice in the two decades.