YosysHQ
YosysHQ
1 – 10 Εργαζόμενοι
Υλικό
Η YosysHQ αναπτύσσει το Yosys και άλλα έργα ανοιχτού κώδικα για την ηλεκτρονική αυτοματοποίηση σχεδιασμού (EDA) στον τομέα της μηχανικής υλικού. Η εταιρεία συνδυάζει εργαλεία ανοιχτού κώδικα με εμπορικά προϊόντα και υπηρεσίες που βοηθούν τις ομάδες ηλεκτρονικών να βελτιώσουν τις ροές εργασίας για τον σχεδιασμό ψηφιακού υλικού, καθιστώντας την relevant για επαγγελματίες που εργάζονται σε διάφορους τομείς ανάπτυξης υλικού και EDA.

Προγραμματιστής Σύνθεσης ή Τυπικής Επαλήθευσης — YosysHQ, Απομακρυσμένη Εργασία από την Αυστρία

Ενταχθείτε στη YosysHQ ως προγραμματιστής εργαλείων EDA ανοιχτού κώδικα, με αντικείμενο εργαλεία σύνθεσης ή τυπικής επαλήθευσης. Ο ρόλος περιλαμβάνει ανεξάρτητη ανάπτυξη σε C++, Rust και Python για έργα σχεδιασμού και επαλήθευσης υλικού.

Περιγραφή

  • Υποστήριξη της εργασίας σύνθεσης ή τυπικής επαλήθευσης της YosysHQ
  • Ανάπτυξη και συντήρηση εργαλείων EDA σε C++, Rust και Python
  • Υλοποίηση ελέγχου μοντέλων υλικού, τυπικών μεθόδων, σύνθεσης RTL/ASIC ή συναφών ροών εργασίας
  • Δημιουργία μηχανικού και επιστημονικού λογισμικού, υλοποίηση αλγορίθμων από την ερευνητική βιβλιογραφία ή συνεισφορά σε έργα μεταγλωττιστών
  • Εκμάθηση και συνεισφορά σε μια σημαντική υπάρχουσα βάση κώδικα ανοιχτού κώδικα
  • Ανάληψη ευθύνης για τις ανατεθειμένες εργασίες και ανεξάρτητη επίλυση τεχνικών προκλήσεων
  • Προώθηση του Yosys και του ευρύτερου οικοσυστήματος EDA ανοιχτού κώδικα
  • Συμμετοχή στα εργαλεία ανοιχτού κώδικα της YosysHQ και πιθανή συνεισφορά σε αυτά

Απαιτήσεις

  • Επάρκεια σε C++ ή Rust για τυπική επαλήθευση, με διάθεση εκμάθησης των άλλων γλωσσών και της Python
  • Η εξοικείωση με την υλοποίηση ελέγχου μοντέλων υλικού θεωρείται επιθυμητή
  • Εναλλακτικά, εμπειρία στην επαλήθευση ή στις τυπικές μεθόδους, συμπεριλαμβανομένης της επίλυσης SAT/SMT, της αυτοματοποιημένης ή διαδραστικής απόδειξης θεωρημάτων, της θεωρίας γλωσσών προγραμματισμού ή της θεωρίας αυτομάτων
  • Κάποια εξοικείωση με τον σχεδιασμό υλικού RTL για τυπική επαλήθευση
  • Επάρκεια σε C++ για εργασία στη σύνθεση
  • Κάποια εμπειρία στον σχεδιασμό υλικού RTL, ιδανικά με ASIC
  • Η σχετική εμπειρία μπορεί να περιλαμβάνει μηχανικό ή επιστημονικό λογισμικό, υλοποίηση ερευνητικών αλγορίθμων ή ανάπτυξη μεταγλωττιστών
  • Εμπειρία στην ένταξη και εργασία σε ένα μεγάλο υπάρχον έργο
  • Ικανότητα ανάληψης ευθύνης για ανατεθειμένες εργασίες και ανεξάρτητης εργασίας με περιορισμένη επίβλεψη
  • Δεν πρέπει να κατοικείτε σε χώρα που υπόκειται σε κυρώσεις ή περιορισμούς εξαγωγών ούτε να απαγορεύεται να εργάζεστε για την κυβέρνηση των ΗΠΑ
  • Η αίτηση απαιτεί βιογραφικό σημείωμα και σύντομη συνοδευτική επιστολή

Παροχές

  • Απομακρυσμένη εργασία με ευέλικτες ρυθμίσεις
  • Ευέλικτο ωράριο εργασίας
  • Δυνατότητα μερικής απασχόλησης από μία έως πέντε ημέρες την εβδομάδα
  • Ενιαία δομή αμοιβών με το ίδιο ποσό για όλα τα μέλη της ομάδας
  • Εργασία από την τοποθεσία που θα επιλέξετε
  • Οι συναντήσεις της ομάδας πραγματοποιούνται συνήθως μεταξύ 15:00 και 18:00 ώρας Βιέννης, με ευελιξία εκτός αυτού του διαστήματος

Σχετικές θέσεις εργασίας

Genpact

Ανώτερος Συνεργάτης Διευθυντής, Συμβουλευτική στον Κλάδο Ημιαγωγών

Genpact

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

Άνοιγμα
Cabot Corporation

Ανώτερος διευθυντής τεχνικών υπηρεσιών και εφαρμογών, μελάνια inkjet, περιοχή EMEA

Cabot Corporation

Καθοδηγήστε την τεχνική υποστήριξη πελατών και την επίλυση προβλημάτων εφαρμογών για τα εξειδικευμένα χημικά και τα διασπορικά προϊόντα inkjet της Cabot σε όλη την Ευρώπη. Συνεργαστείτε με τις πωλήσεις και διεπιστημονικές ομάδες για την επίλυση ζητημάτων και τον εντοπισμό ευκαιριών καινοτομίας προϊόντων.

Άνοιγμα
Expleo Group

Μηχανικός Ηλεκτρολογικού Σχεδιασμού

Expleo Group

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

Άνοιγμα
Johnson & Johnson

Περιφερειακός διευθυντής λογαριασμών, κλινικές πωλήσεις

Johnson & Johnson

Καθοδηγήστε πρωτοβουλίες κλινικών πωλήσεων MedTech της Johnson & Johnson, συμβουλεύοντας γιατρούς, υποστηρίζοντας περιστατικά πελατών και αναπτύσσοντας λογαριασμούς στο Rajkot.

Άνοιγμα
Randstad

Ανώτερος/η Ειδικός Ανταμοιβών – Αποδοχές και Παροχές

Randstad

Υποστήριξη αποδοχών, παροχών, συγκριτικής αξιολόγησης και αναφορών HRIS στη Randstad. Συντονισμός των ετήσιων αναθεωρήσεων μισθών, των διαδικασιών μπόνους, των πολιτικών ανταμοιβών και των ερωτημάτων των ενδιαφερόμενων μερών.

Άνοιγμα
Randstad

Συνεργάτης ειδικός, εσωτερική προσέλκυση ταλέντων — Χαϊντεραμπάντ

Randstad

Υποστηρίξτε τις εσωτερικές προσλήψεις της Randstad με έρευνα υποψηφίων, αναζήτηση και κατάρτιση εκτενών καταλόγων υποψηφίων. Βελτιώστε τις διαδικασίες πρόσληψης και προετοιμάστε εισηγήσεις υποψηφίων για τους συναδέλφους του τμήματος προσέλκυσης ταλέντων.

Άνοιγμα
Randstad

Ανώτερος/η ειδικός προσέλκυσης εσωτερικών ταλέντων — Χαϊντεραμπάντ

Randstad

Υποστηρίξτε τις εσωτερικές προσλήψεις της Randstad στο Χαϊντεραμπάντ, εντοπίζοντας, αξιολογώντας και προτείνοντας υποψηφίους. Συμβάλετε στη βελτίωση των διαδικασιών πρόσληψης και στην παροχή θετικής εμπειρίας στους υποψηφίους.

Άνοιγμα
Morgan Advanced Materials

Λογιστής με φυσική παρουσία, λογιστική κόστους παραγωγής

Morgan Advanced Materials
5.001 – 10.000 Εργαζόμενοι
B2BΜεταποίηση

Διαχείριση του γενικού καθολικού, της λογιστικής κόστους και αποθεμάτων, καθώς και των οικονομικών κλεισιμάτων για τον τομέα τεχνικών κεραμικών της Morgan Advanced Materials στο Auburn.

Άνοιγμα
Capital.com

Υπεύθυνος Συμμόρφωσης – Capital.com (Υβριδική εργασία, Κύπρος)

Capital.com

Υποστήριξη της κανονιστικής παρακολούθησης, της διακυβέρνησης βάσει MiFID II, της ταξινόμησης πελατών και των ελέγχων στην ψηφιακή πλατφόρμα συναλλαγών της Capital.com. Η θέση είναι υβριδική και εδρεύει στην Κύπρο.

Άνοιγμα
Growe Talents

Ανώτερος προγραμματιστής παιχνιδιών PixiJS (TypeScript)

Growe Talents

Ανάπτυξη και βελτιστοποίηση παιχνιδιών καζίνο με PixiJS και TypeScript για διεθνή εταιρεία διαδικτυακών παιχνιδιών. Βελτίωση της απόδοσης, των διεπαφών και των κινούμενων γραφικών παιχνιδιών κουλοχέρηδων με ροές εργασίας ανάπτυξης υποβοηθούμενες από AI.

Άνοιγμα