LogoFresh Jobs Ahead
Mercor
Mercor
51 – 200 Εργαζόμενοι
Οι διαθέσιμες πληροφορίες για τη Mercor δεν περιλαμβάνουν επαρκή επαληθευμένα στοιχεία σχετικά με τα προϊόντα, τις υπηρεσίες, τους πελάτες, τον κλάδο ή τον προσανατολισμό της στις προσλήψεις, επομένως δεν είναι δυνατή η准确ής παρουσίαση της εταιρείας. Απαιτείται περισσότερο υλικό από πηγές πριν περιγραφούν η δραστηριότητα της επιχείρησης ή οι ευκαιρίες που προσφέρει.
LinkedIn
Θέσεις εργασίας στην εταιρεία

Μηχανικός Τυπικών Μαθηματικών με Lean 4

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

USΗνωμένες Πολιτείες
90 $ – 110 $ / ώρα
Εξ αποστάσεωςΜερική απασχόλησηΜεσαίο επίπεδοSeniorΑπαιτούμενη Γλώσσα: ΑγγλικάΜηχανικός
Haskell

Περιγραφή

  • Σύνταξη ιδιωματικών διατυπώσεων και αποδείξεων σε Lean 4 που μεταγλωττίζονται με την τρέχουσα έκδοση του mathlib.
  • Τυποποίηση μαθηματικών από πηγές φυσικής γλώσσας, όπως προβλήματα διαγωνισμών, αποτελέσματα σχολικών συγγραμμάτων και λήμματα ερευνητικών εργασιών.
  • Αναθεώρηση διατυπώσεων και αποδείξεων που παράγονται από συστήματα τεχνητής νοημοσύνης.
  • Εντοπισμός αποτυχημένων αποδείξεων ή αποδείξεων που θεμελιώνουν εσφαλμένο αποτέλεσμα και παροχή σαφούς γραπτής ανατροφοδότησης.
  • Συμβολή στη δημιουργία προτύπων και κριτηρίων αξιολόγησης για την ποιότητα των αποδείξεων, την πιστότητα των διατυπώσεων και τις συμβάσεις του mathlib.
  • Συνεργασία με μηχανικούς Lean και ερευνητές του εργαστηρίου για τη διατήρηση συνεπών προτύπων.
  • Συμμετοχή σε έργα εκπαίδευσης και βελτίωσης συστημάτων τεχνητής νοημοσύνης.

Απαιτήσεις

  • Πρακτική εμπειρία στη συγγραφή τυπικών αποδείξεων σε Lean 4.
  • Εξοικείωση με το mathlib και τις τακτικές του Lean 4, συμπεριλαμβανομένου του εντοπισμού και της εφαρμογής κατάλληλων λημμάτων.
  • Ισχυρό υπόβαθρο στα μαθηματικά με βάση τις αποδείξεις, στη θεωρητική πληροφορική ή στη λογική, τεκμηριωμένο από πτυχίο ή ερευνητικό έργο.
  • Ικανότητα μετατροπής γραπτών μαθηματικών διατυπώσεων και αποδείξεων σε ορθές τυπικές διατυπώσεις και ελεγμένες αποδείξεις.
  • Διαθεσιμότητα για εργασία τουλάχιστον 20 ωρών την εβδομάδα τις καθημερινές.
  • Ισχυρές δεξιότητες γραπτής επικοινωνίας, συμπεριλαμβανομένης της ικανότητας ακριβούς εξήγησης στρατηγικών απόδειξης και επιλογών τυποποίησης.
  • Επιθυμητή εμπειρία με Coq/Rocq, Isabelle, Agda, Haskell, μεταπρογραμματισμό Lean ή τεχνητή νοημοσύνη για τα μαθηματικά.
  • Δεν είναι δυνατή προς το παρόν η υποστήριξη υποψηφίων με H1-B ή STEM OPT.

Παροχές

  • Απασχόληση με έντυπο W-2 μέσω της Cincinnatus LLC ή κατάλληλης διεθνούς οντότητας.
  • Ο εργοδότης καταγραφής αναλαμβάνει τη μισθοδοσία, τις παροχές και τη συμμόρφωση.
  • Πλήρως εξ αποστάσεως εργασία.
  • Ευέλικτο ωράριο με δυνατότητα καθορισμού του δικού σας προγράμματος.
  • Εβδομαδιαίες πληρωμές μέσω Stripe ή Wise.
  • Ευκαιρία συνεργασίας με κορυφαίους ερευνητές.
  • Αμοιβές παραπομπής έως 1.760 δολάρια για κάθε επιτυχημένη παραπομπή.

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

Cabot Corporation

Ανώτερος/η Υπεύθυνος/η Ψηφιακών Κατηγοριών, Προμήθειες IT

Cabot Corporation
1.001 – 5.000 Εργαζόμενοι
Χορηγός βίζας H1BB2BΕπιστήμηΜεταποίηση
LVΛετονία
4.150 € – 6.000 € / μήνα
ΥβριδικάΠλήρης απασχόλησηSeniorΑπαιτούμενη Γλώσσα: ΑγγλικάΠρομήθειες
ΚυβερνοασφάλειαΝέφος

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

Άνοιγμα
SMT

Επικεφαλής στρατηγικών πωλήσεων στη SMT (επιτόπια εργασία, Ηνωμένο Βασίλειο)

SMT
51 – 200 Εργαζόμενοι
Χορηγός βίζας H1BΑυτοκινητοβιομηχανίαΜεταποίησηΣυμβουλευτική
GBΗνωμένο ΒασίλειοΣτον χώρο εργασίαςΠλήρης απασχόλησηΕπικεφαλήςΑπαιτούμενη Γλώσσα: ΑγγλικάΠωλήσεις

Καθοδηγήστε τη στρατηγική πωλήσεων κατασκευαστικού εξοπλισμού της SMT GB σε όλη τη Μεγάλη Βρετανία. Αυξήστε τα έσοδα, το μερίδιο αγοράς και τις συνεργασίες με πελάτες, δημιουργώντας ισχυρές εθνικές ομάδες.

Άνοιγμα
Cabot Corporation

Ανώτερος/η Ψηφιακός/ή Επιχειρηματικός/ή Συνεργάτης/ιδα, Ολοκληρωμένες Λειτουργίες

Cabot Corporation
1.001 – 5.000 Εργαζόμενοι
Χορηγός βίζας H1BB2BΕπιστήμηΜεταποίηση
LVΛετονία
5.150 € – 7.450 € / μήνα
ΥβριδικάΠλήρης απασχόλησηSeniorΑπαιτούμενη Γλώσσα: ΑγγλικάΛειτουργίες
ERPIoT

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

Άνοιγμα
Genpact

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

Genpact
B2BΤεχνητή νοημοσύνη
USΗνωμένες ΠολιτείεςTXΤέξας
80.500 $ – 100.000 $ / έτος
ΥβριδικάΠλήρης απασχόλησηJuniorΜεσαίο επίπεδοΑπαιτούμενη Γλώσσα: ΑγγλικάΓενικάΣυνεργάτης
PMPTableau

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

Άνοιγμα
Cabot Corporation

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

Cabot Corporation
1.001 – 5.000 Εργαζόμενοι
Χορηγός βίζας H1BB2BΕπιστήμηΜεταποίηση
LVΛετονίαΥβριδικάΠλήρης απασχόλησηSeniorΕπικεφαλήςΑπαιτούμενη Γλώσσα: ΑγγλικάΔιευθυντής

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

Άνοιγμα
Expleo Group

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

Expleo Group
ΆμυναΣυμβουλευτικήΥγειονομική περίθαλψη
CHΕλβετίαΥβριδικάΠλήρης απασχόλησηΜεσαίο επίπεδοSeniorΑπαιτούμενη Γλώσσα: ΑγγλικάΗλεκτρολόγος μηχανικός

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

Άνοιγμα
Johnson & Johnson

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

Johnson & Johnson
Χορηγός βίζας H1BΑσφάλιση υγείαςΥγειονομική περίθαλψηΦαρμακευτικά προϊόντα
INΙνδίαΣτον χώρο εργασίαςΠλήρης απασχόλησηΜεσαίο επίπεδοSeniorΑπαιτούμενη Γλώσσα: ΑγγλικάΠωλήσειςΥπεύθυνος πελατών

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

Άνοιγμα
Randstad

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

Randstad
Χορηγός βίζας H1BΕφοδιαστικήΜάρκετινγκΣυμβουλευτική
INΙνδίαΥβριδικάΠλήρης απασχόλησηSeniorΑπαιτούμενη Γλώσσα: ΑγγλικάΓενικά

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

Άνοιγμα
Randstad

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

Randstad
Χορηγός βίζας H1BΕφοδιαστικήΜάρκετινγκΣυμβουλευτική
INΙνδίαΥβριδικάΠλήρης απασχόλησηJuniorΜεσαίο επίπεδοΔεν απαιτείται πτυχίοΑπαιτούμενη Γλώσσα: ΑγγλικάΠροσλήψεις

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

Άνοιγμα
Randstad

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

Randstad
Χορηγός βίζας H1BΕφοδιαστικήΜάρκετινγκΣυμβουλευτική
INΙνδίαΥβριδικάΠλήρης απασχόλησηSeniorΑπαιτούμενη Γλώσσα: ΑγγλικάΠροσλήψεις

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

Άνοιγμα