מהנדס Lean 4 למתמטיקה פורמלית
Mercor51 – 200 עובדים
כתיבה וסקירה של הוכחות ב-Lean 4 עבור מעבדת בינה מלאכותית. פורמליזציה של מתמטיקה והערכת עבודת הוכחת משפטים שנוצרה בבינה מלאכותית.
פתח
180,000+ משרות שנוספו לאינדקס
הוגשו מועמדויות ל-300,000+ משרות
חיפוש משרות Haskell
גלו הזדמנויות חדשות שבהן המומחיות שלכם ב-Haskell יכולה להשפיע באמת.
המשרות האחרונות
מסננים
מהנדס מתמטיקה פורמלית ב-Lean 4
Mercor51 – 200 עובדים
כתיבה וסקירה של הוכחות ב-Lean 4 עבור מעבדת בינה מלאכותית, תוך פורמליזציה של מתמטיקה והערכת עבודת הוכחה שנוצרה בידי מערכות AI.
פתח
מנהל הנדסה, חשבונות בנק — עבודה מרחוק (ארצות הברית)
Mercury
קנדה
ארצות הברית
קליפורניה
ניו יורק
אורגון200,700 $ – 250,900 $ / שנה
מרחוקמשרה מלאהרמת בינייםסניורשפה נדרשת: אנגליתמנהל הנדסההובלת צוות ההנדסה של Mercury בתחום חשבונות הבנק ובניית מערכות אמינות לניהול חשבונות לקוחות ולהעברת כספים. הנחיית מהנדסים בכירים תוך שיפור האמינות, קצב האספקה והמוכנות התפעולית.
פתח
מתמחה בהנדסת תוכנה ב-Mercury מרחוק
Mercuryקנדהארצות הבריתקליפורניהניו יורקאורגון55 $ / שעה
מרחוקהתמחותרמת כניסהאין צורך בתוארשפה נדרשת: אנגליתמהנדס Full Stackמהנדס תוכנההצטרפו ל-Mercury כמתמחים בהנדסת תוכנה מרחוק, ועבדו על מוצרי פינטק ב-TypeScript וב-Haskell. תרמו לפיתוח תכונות בצד הלקוח, בצד השרת או במשרה מלאה, המשמשות יותר מ-300,000 עסקים.
פתח