Database Architecture Engineer, LLiDA

Ο ρόλος

Η LLiDA (Low Level integrated Database Architecture) καταγράφει δεδομένα πραγματικού χρόνου, όπως τα δεδομένα των αεροηλεκτρονικών ενός αεροσκάφους, ως χρονοσειρές. Λειτουργεί στη μνήμη RAM, στον δίσκο και σε επίπεδο επεξεργαστή, και κρατά κάθε συνδεδεμένο κόμβο συγχρονισμένο ζωντανά. Η αρχιτεκτονική της είναι δική σας ευθύνη: η μηχανή αποθήκευσης, οι μηχανισμοί συγχρονισμού και οι εγγυήσεις που δίνουν.

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

Τι θα κάνετε

• Σχεδιασμός της μηχανής αποθήκευσης της LLiDA: δομές key-value και χρονοσειρών στη RAM και στον δίσκο, με χρονισμό γνωστό εκ των προτέρων.
• Ανάπτυξη των μηχανισμών συγχρονισμού που κρατούν τους κόμβους συνεπείς, ζωντανά, σε ασφαλή και σε κοινά δίκτυα, μαζί με την ανάκαμψη μετά από απώλεια σύνδεσης.
• Μεταφορά της LLiDA σε ενσωματωμένους στόχους: μικροελεγκτές, επεξεργαστές RISC-V και ARM, και υλικό βασισμένο σε FPGA.
• Κώδικας σε C, C++ και Rust με κανόνες για λογισμικό κρίσιμο για την ασφάλεια, όπως MISRA C και MISRA C++, και με ιχνηλασιμότητα από τις απαιτήσεις ως τις δοκιμές, σύμφωνα με τους στόχους του DO-178C.
• Ορισμός των εγγυήσεων ανθεκτικότητας, συνέπειας και χρονισμού της βάσης, και απόδειξή τους με δοκιμές, έγχυση σφαλμάτων και μετρήσεις.
• Διαχείριση δεδομένων σε υψηλούς ρυθμούς και μεγάλους όγκους: εισαγωγή, συμπίεση, διατήρηση και ερωτήματα πάνω σε χρονοσειρές.
• Ανάπτυξη των εργαλείων Python για δοκιμές, ανάλυση και μετρήσεις επιδόσεων.
• Τεκμηρίωση της αρχιτεκτονικής και έλεγχος των σχεδίων άλλων μηχανικών.

Τι φέρνετε

• 8 ή περισσότερα έτη επαγγελματικής εμπειρίας σε τεχνολογίες βάσεων δεδομένων, μαζί με key-value stores.
• Εσωτερική δομή μηχανών αποθήκευσης: LSM trees, B-trees, write-ahead logging, δομές στη μνήμη και memory-mapped δομές.
• Συγχρονισμός και αναπαραγωγή δεδομένων: μοντέλα συνέπειας, επίλυση συγκρούσεων, διάταξη και ρολόγια.
• Προγραμματισμός ενσωματωμένων συστημάτων σε C και C++, σε μικροελεγκτές ή λειτουργικά συστήματα πραγματικού χρόνου.
• Πολύ καλή γνώση C++ και Rust, και καλή γνώση Python.
• Εμπειρία με FPGA: VHDL, Verilog ή SystemVerilog, ή συσχεδιασμός υλικού και λογισμικού δίπλα σε ομάδα FPGA.
• Εμπειρία με μεγάλα δεδομένα (big data): χρονοσειρές ή ροές δεδομένων σε μεγάλο όγκο.
• Εμπειρία σε πεδίο κρίσιμο για την ασφάλεια, όπως η αεροπορία, η άμυνα, το διάστημα, η αυτοκινητοβιομηχανία, οι σιδηρόδρομοι ή τα ιατροτεχνολογικά προϊόντα.
• Εξοικείωση με το DO-178C και με τα MISRA C και MISRA C++.
• Μεταπτυχιακό δίπλωμα (Master) στην επιστήμη υπολογιστών, στην ηλεκτρολογία ή τη μηχανική υπολογιστών, στα μαθηματικά, στη φυσική ή σε συναφές πεδίο.
• Ελληνικά, άριστη γνώση (απαραίτητη).
• Αγγλικά, άριστη γνώση (απαραίτητη).

Πρόσθετα προσόντα

• Διδακτορικό στις βάσεις δεδομένων, στα κατανεμημένα συστήματα ή στα ενσωματωμένα συστήματα.
• Τεχνολογίες διαδικτύου (TypeScript, WebAssembly, web APIs) για τα εργαλεία και τις κονσόλες που διαβάζουν τη LLiDA.
• DO-254 για το αερομεταφερόμενο ηλεκτρονικό υλικό και DO-330 για την πιστοποίηση εργαλείων.
• Δίαυλοι δεδομένων αεροηλεκτρονικών: ARINC 429, ARINC 664, MIL-STD-1553 ή CAN.
• Τυπικές μέθοδοι ή στατική ανάλυση, για παράδειγμα model checking ενός πρωτοκόλλου αναπαραγωγής.
• Κρυπτογράφηση δεδομένων σε αποθήκευση και σε μεταφορά, σε υλικό με περιορισμένους πόρους.
• Δημοσιεύσεις, διπλώματα ευρεσιτεχνίας ή έργο ανοιχτού κώδικα σε μηχανές αποθήκευσης ή βάσεις χρονοσειρών.

Προϋποθέσεις

• Δικαίωμα εργασίας στην Ευρωπαϊκή Ένωση.
• Εκπληρωμένες στρατιωτικές υποχρεώσεις ή νόμιμη απαλλαγή, όπου αυτές ισχύουν για εσάς.