מהנדס/ת בכיר/ה לחזית, מסחר (הודו, עבודה מרחוק)
HighLevel
הובלת ארכיטקטורת חזית המסחר ב־HighLevel, מערכת הפעלה עסקית מבוססת בינה מלאכותית לסוכנויות ולעסקים קטנים. שיפור הביצועים, הנגישות, הסטנדרטים ההנדסיים וחוויות מסחר שניתן להרחיב.
פתח
מהנדס מתמטיקה פורמלית ב-Lean 4
כתיבה וסקירה של הוכחות ב-Lean 4 עבור מעבדת בינה מלאכותית, תוך פורמליזציה של מתמטיקה והערכת עבודת הוכחה שנוצרה בידי מערכות AI.
תיאור
- כתיבת טענות והוכחות ב-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 דולר עבור כל הפניה מוצלחת.
משרות קשורות
בודק תרגומים ממנדרינית ומקוריאנית
Chemin AI
הונג קונג (אזור מנהלי מיוחד של סין)
אינדונזיה
מלזיה
הפיליפינים
טייוואן0 $ / שעה
מרחוקמשרה חלקיתרמת בינייםסניורשפה נדרשת: אנגליתשפה נדרשת: קוריאניתשפה נדרשת: סיניתמתרגםבדיקת תוכן מסחר אלקטרוני בקוריאנית מול תרגומיו לסינית מסורתית עבור Kaya by Chemin, תוך בחינת דיוק, שטף ומשמעות לפי הנחיות האיכות.
פתח
מומחה/ית לחשבונאות מרחוק – אירוח
Delegate CXניהול חשבונות זכאים וחייבים, חיוב לקוחות, גבייה ורישומים כספיים עבור לקוחות בתחום האירוח בארה״ב. משרה מלאה מהבית בפיליפינים, הכוללת שימוש ב־QuickBooks, ב־Excel ובמערכות חשבונאיות נוספות.
פתח
מנהל/ת חיוב מרחוק בדרום אפריקה
Remote Recruitment
ניהול חשבוניות, פניות בנושא חיוב, התאמות ודיווחי סוף חודש עבור עסק בריטי, בעבודה מרחוק מדרום אפריקה.
פתח
מהנדס שירות שטח, ניהול ביצועי נכסים — יפן
Agilent Technologies
התקנה, תחזוקה ותיקון של חומרה, תוכנה ופתרונות רשת של Agilent. מתן תמיכה ללקוחות באתריהם ונסיעות ברחבי יפן לאורך כל הזמן.
פתח
מהנדס שירות שטח, ניהול ביצועי נכסים (יפן)
Agilent Technologiesהתקנה, תחזוקה ואיתור תקלות במערכות לניהול ביצועי נכסים ארגוניים עבור לקוחות Agilent. התפקיד כולל אספקת פתרונות משולבים, הדרכה טכנית ונסיעות בהיקף של 100%.
פתח
ארכיטקט טכני בכיר למכירות מקדימות בערוצים, קנדה
Hewlett Packard Enterprise
הדרכת שותפי ערוץ בתכנון ובמכירה של פתרונות אחסון והגנת נתונים של HPE. בניית תמיכה טכנית, הרחבת צבר ההזדמנויות ותמיכה במפגשים עם לקוחות.
פתח
ארכיטקט טכני בכיר למכירות קדם־מכירתיות בערוצים, אחסון — HPE קנדה, עבודה מרחוק
Hewlett Packard Enterpriseעזור לשותפי הערוצים של HPE למצב, לתכנן ולמכור פתרונות אחסון והגנה על נתונים. תמוך בארכיטקטורת פתרונות, בהדגמות, בהוכחות היתכנות, בפיתוח צבר הזדמנויות ובקידום התמיכה הטכנית של השותפים.
פתח
ארכיטקט טכני למכירות מקדימות בערוצים, קנדה
Hewlett Packard Enterpriseהדרכת שותפי הערוצים של HPE במיצוב, בתכנון ובאספקה של פתרונות אחסון והגנת נתונים. פיתוח היכולת הטכנית של השותפים, קידום הזדמנויות וסיוע בזכייה בעסקאות תחרותיות.
פתח
אנליסט נתונים לחוויית לקוח
Xero
הכנת דוחות ותובנות על כוח האדם עבור צוותי חוויית הלקוח ותפעול התשלומים של Xero. שימוש ב־Tableau וב־Zendesk Explore לתמיכה בסקירות עסקיות, בתכנון מצבת כוח האדם ובהחלטות הנהלה בכירה.
פתח