AI Engineer, Foundational AI Technologies

Ο ρόλος

Η SkyDynamics αναπτύσσει τις δικές της τεχνολογίες τεχνητής νοημοσύνης για την αεροδιαστημική και την άμυνα. Ανάμεσά τους είναι μια μηχανή ανάκτησης γραμμένη σε Rust και το Assurance Small Language Model, ένα μικρό μοντέλο σχεδιασμένο ώστε κάθε πρόταση που παράγει να ανάγεται στα τεκμήρια που του δόθηκαν.

Η θέση αυτή εργάζεται κάτω από το επίπεδο των συνηθισμένων frameworks. Παράγετε τη μέθοδο, γράφετε τον αριθμητικό κώδικα σε C++ και τον κάνετε να τρέχει σε πραγματικό χρόνο στο διαθέσιμο υλικό, με συμπεριφορά που μπορεί να μετρηθεί και να εξηγηθεί.

Τι θα κάνετε

• Σχεδιασμός και εκπαίδευση μικρών μοντέλων για ανάκτηση, γλώσσα και δεδομένα χρονοσειρών.
• Πυρήνες συμπερασμού και εκπαίδευσης σε C++: πράξεις τανυστών, attention, κβάντιση και διάταξη μνήμης.
• Άμεση εφαρμογή γραμμικής άλγεβρας και αριθμητικών μεθόδων: παραγοντοποιήσεις, βελτιστοποίηση και έλεγχος του αριθμητικού σφάλματος.
• Εκτέλεση των μοντέλων σε πραγματικό χρόνο στο άκρο του δικτύου, σε CPU και ενσωματωμένους επεξεργαστές, μέσα σε σταθερό όριο χρόνου και μνήμης.
• Ανάπτυξη της αξιολόγησης: σύνολα δοκιμών, μετρικές και ιχνηλασιμότητα από κάθε έξοδο ως τα τεκμήριά της.
• Συνεργασία με τους μηχανικούς της βάσης δεδομένων και του λογισμικού κρίσιμου για την ασφάλεια στις διεπαφές με τη LLiDA και τη μηχανή ανάκτησης.
• Μελέτη της έρευνας, αναπαραγωγή όσων έχουν σημασία και δημοσίευση όπου βοηθά.

Τι φέρνετε

• 8 ή περισσότερα έτη επαγγελματικής ή ερευνητικής εμπειρίας στη μηχανική μάθηση ή στο αριθμητικό λογισμικό.
• Προγραμματισμός C++ χαμηλού επιπέδου: διαχείριση μνήμης, SIMD, συμπεριφορά της cache, ταυτοχρονισμός και profiling.
• Εφαρμοσμένα μαθηματικά: γραμμική άλγεβρα, πιθανότητες, βελτιστοποίηση και αριθμητική ανάλυση.
• Καλή κατανόηση της εσωτερικής λειτουργίας των νευρωνικών δικτύων, πέρα από τη χρήση ενός framework: μπορείτε να υλοποιήσετε έναν transformer χωρίς framework.
• Python για πειράματα, με PyTorch ή αντίστοιχο framework.
• Εμπειρία στη μεταφορά ενός μοντέλου από την έρευνα σε λογισμικό που τρέχει με πραγματικούς περιορισμούς.
• Μεταπτυχιακό δίπλωμα (Master) στην επιστήμη υπολογιστών, στην ηλεκτρολογία ή τη μηχανική υπολογιστών, στα μαθηματικά, στη φυσική ή σε συναφές πεδίο.
• Ελληνικά, άριστη γνώση (απαραίτητη).
• Αγγλικά, άριστη γνώση (απαραίτητη).

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

• Διδακτορικό στη μηχανική μάθηση, στα εφαρμοσμένα μαθηματικά, στην υπολογιστική επιστήμη ή σε συναφές πεδίο.
• Rust, για εργασία στη μηχανή ανάκτησης.
• Μικρά γλωσσικά μοντέλα, retrieval-augmented generation και συμπίεση μοντέλων (κβάντιση, distillation, pruning).
• Συμπερασμός σε ενσωματωμένους επεξεργαστές, GPU ή FPGA.
• Εμπειρία σε πεδίο κρίσιμο για την ασφάλεια, και εξοικείωση με το DO-178C, το MISRA C++ και τις κατευθύνσεις του EASA για την τεχνητή νοημοσύνη.
• Επεξεργασία σήματος ή μοντελοποίηση χρονοσειρών.
• Δημοσιεύσεις σε περιοδικά ή συνέδρια με κριτές.

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

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