Τελευταίες θέσεις εργασίας στη Code Metal

Η Code Metal είναι εταιρεία λογισμικού B2B που αναπτύσσει επαληθεύσιμη μετάφραση κώδικα και αυτοματοποιημένες αλυσίδες εργαλείων για συστήματα κρίσιμης σημασίας. Η πλατφόρμα της μετατρέπει κώδικα έρευνας και τεχνητής νοημοσύνης υψηλού επιπέδου σε λογισμικό έτοιμο για παραγωγή και συμβατό με τα πρότυπα, για γλώσσες και τεχνολογίες όπως οι C/C++, Rust, VHDL, CUDA και OpenCL. Η μετάφραση με καθοδήγηση από τεχνητή νοημοσύνη, η στατική ανάλυση, η αυτοματοποιημένη δημιουργία δοκιμών, η τυπική επαλήθευση και η βελτιστοποίηση για συγκεκριμένους στόχους συμβάλλουν στην παραγωγή ανιχνεύσιμου κώδικα, με ελέγχους λειτουργικής ισοδυναμίας, ασφάλειας και συμμόρφωσης. Η Code Metal εξυπηρετεί οργανισμούς στους κλάδους της αεροδιαστημικής, της άμυνας, της αυτοκινητοβιομηχανίας, των ημιαγωγών και της ρομποτικής, οι οποίοι χρειάζονται να αναπτύσσουν λογισμικό σε τσιπ και ενσωματωμένες πλατφόρμες διατηρώντας τη φορητότητα και την αξιοπιστία.