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

Μηχανικός Lean 4 για τυπικά μαθηματικά

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

Περιγραφή

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

Απαιτήσεις

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

Παροχές

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

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

Salonkee

Ειδικός υποστήριξης πελατών με γνώση γερμανικών

Salonkee

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

Άνοιγμα
Anyone AI

Απομακρυσμένος νομικός εμπειρογνώμονας στην Ουρουγουάη

Anyone AI

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

Άνοιγμα
ValueNet Group

Διευθυντής Εξυπηρέτησης Πελατών

ValueNet Group

Δημιουργήστε μακροχρόνιες σχέσεις με πελάτες και αναπτύξτε προγράμματα παροχών και μπόνους για εργαζομένους στη ValueNet Group, γερμανικό πάροχο παροχών εργαζομένων.

Άνοιγμα
ValueNet Group

Υπεύθυνος Εξυπηρέτησης Πελατών

ValueNet Group

Διαχείριση σχέσεων με πελάτες στον όμιλο ValueNet, πάροχο παροχών εργαζομένων. Ανάπτυξη παροχών και εφαρμογή νέων μοντέλων μπόνους.

Άνοιγμα
ONI

Επιστήμονας εφαρμογών πεδίου, υποστήριξη πελατών

ONI

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

Άνοιγμα
Cabot Corporation

Εκπρόσωπος Εξυπηρέτησης Πελατών – Ρίγα, υβριδική εργασία

Cabot Corporation

Διαχειριστείτε παραγγελίες πελατών από την παραλαβή έως την παράδοση στην Cabot Corporation, μια παγκόσμια επιχείρηση ειδικών χημικών. Συντονίστε αποστολές, επιλύστε ζητήματα παραγγελιών και συμβάλετε στην ικανοποίηση των πελατών ως μέλος της υβριδικής ομάδας της Ρίγας.

Άνοιγμα
East Sussex County Council

Δικηγόρος Ακινήτων – Συμβούλιο Κομητείας Ανατολικού Σάσεξ (Υβριδική εργασία, Λιούις)

East Sussex County Council

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

Άνοιγμα
TDCX

Ειδικός Εξυπηρέτησης Πελατών – Σιγκαπούρη (με φυσική παρουσία)

TDCX

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

Άνοιγμα
Sourcefit

Συντονιστής Λειτουργιών Εμπειρίας Πελατών

Sourcefit

Εξ αποστάσεως θέση στις Φιλιππίνες για τον συντονισμό της υποστήριξης πελατών, των κρατήσεων γηπέδων, των συνδρομών και της συμμετοχής σε αμερικανικό όμιλο μπάντμιντον και πίκλμπολ. Τα καθήκοντα περιλαμβάνουν επίσης προμήθειες, καθαρισμό, κρατήσεις και λειτουργία εγκαταστάσεων.

Άνοιγμα
Ameriprise Financial Services, LLC

Ανώτερος νομικός αναλυτής, αμοιβαία κεφάλαια

Ameriprise Financial Services, LLC

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

Άνοιγμα