منسق التسويق الرقمي
Amer Sports
نسّق التسويق الرقمي لعلامة أركتريكس في أستراليا ونيوزيلندا، لدعم أعمالها في الملابس الخارجية. أدر إدارة علاقات العملاء والتجارة الإلكترونية والإعلانات المدفوعة والبريد الإلكتروني وغيرها من الحملات الرقمية.
فتح
مهندس رياضيات صورية باستخدام Lean 4
اكتب براهين Lean 4 وراجعها لصالح مختبر للذكاء الاصطناعي، مع صياغة الرياضيات بصيغة صورية وتقييم أعمال البرهنة التي ينتجها الذكاء الاصطناعي.
الوصف
- اكتب عبارات وبراهين بلغة 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 دولارًا عن كل إحالة ناجحة.
وظائف ذات صلة
شريك ضمان الأعمال، عقد محدد لمدة 9 أشهر — ويلينغتون بنظام هجين
New Zealand Trade and Enterprise
قد قيادة أعمال التدقيق الداخلي والاستشارات المتعلقة بالمخاطر في هيئة التجارة والمؤسسات النيوزيلندية، لدعم العمليات الآمنة والنمو الدولي. قدّم المشورة لكبار القادة وساهم في تعزيز نضج إدارة المخاطر في المؤسسة.
فتح
مدير أعمال الشركاء، HPE Compute — القطاع العام في شرق الولايات المتحدة
Hewlett Packard Enterprise
الولايات المتحدة
ماريلاند
نيوجيرسي
نيويورك
بنسلفانيا
فرجينيا67,800 US$ – 155,700 US$ / سنة
عن بُعددوام كاملمتوسطخبيراللغة المطلوبة: الإنجليزيةمديرتنمية أعمال HPE Compute عبر شركاء القطاع العام في أنحاء شرق الولايات المتحدة. يشمل الدور تخطيط المبيعات المشترك، وتطوير مسار الفرص، والبيع المشترك، وتمكين الشركاء.
فتح
مدير أعمال الشركاء، حوسبة HPE — شرق الولايات المتحدة
Hewlett Packard Enterpriseالولايات المتحدةماريلاندنيوجيرسينيويوركبنسلفانيافرجينيا67,800 US$ – 155,700 US$ / سنة
عن بُعددوام كاملمتوسطخبيراللغة المطلوبة: الإنجليزيةمديرقيادة نمو مبيعات حوسبة HPE عبر شركاء القطاع العام في شرق الولايات المتحدة. بناء خطط مشتركة وتعزيز قدرات الشركاء وتوسيع فرص المبيعات ودفع الصفقات بالتعاون مع فرق HPE.
فتح
مدير تطوير الأعمال الدولي، التصوير الطبي
Hunt St
قيادة نمو مبيعات التصدير لدى شركة أسترالية لتصنيع أجهزة التصوير الطبي، من خلال تطوير شبكات الموزعين واستقطاب أعمال الشركات في الشرق الأوسط وشمال أفريقيا ورابطة دول جنوب شرق آسيا والأسواق الناشئة.
فتح
مدير حسابات رئيسية عن بُعد – الولايات المتحدة
Inizio Engageقيادة اعتماد البدائل الحيوية في أقسام الرعاية الثانوية التابعة لـNHS من خلال تخطيط الحسابات والتواصل مع أصحاب المصلحة المتخصصين. بناء العلاقات والتأثير في قرارات وصف الأدوية عبر مجالات علاجية متعددة.
فتح
مدير الحسابات الرئيسية، مشاريع الإضاءة — طوكيو
Signify
إدارة حسابات العملاء الاستراتيجية ومشاريع الإضاءة المعقدة لدى Signify في اليابان. دفع نمو المبيعات والمناقصات والشراكات مع العملاء وحلول الإضاءة المستدامة.
فتح
مدير مشارك لخدمات العملاء، في الموقع بالصين
Nomura
دعم العملاء من ذوي الملاءة المالية العالية في خدمات الحسابات والمعاملات وإدارة العلاقات. تقديم الخدمات المصرفية الخاصة عبر الأسواق العالمية لدى نومورا.
فتح
أخصائي إدارة المخاطر عن بُعد — أستراليا
Centorrino Technologiesتنفيذ نظام لإدارة المخاطر لدى المؤسسات الأسترالية الخاضعة للتنظيم، وتحويل احتياجات الحوكمة إلى إعدادات واختبارات وتقارير واعتماد للنظام. العمل مع أصحاب المصلحة خلال مراحل التنفيذ كافة على بيانات المخاطر والضوابط والتقارير التنفيذية.
فتح
محلل مخاطر مبتدئ
Koin
راجع طلبات الائتمان وتحقق من المعاملات المشبوهة والاحتيال في Koin. طبّق سياسات المخاطر، وتحقق من معلومات العملاء، وساعد في أتمتة العمليات التشغيلية.
فتح