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 دولارًا لكل إحالة ناجحة، مع مراعاة الحدود

وظائف ذات صلة

Hillenbrand

مدير عمليات التصنيع

Hillenbrand

قد العمليات الإنتاجية وسلسلة الإمداد في شركة SHICK ESTEVE المتخصصة في تصنيع معدات معالجة الأغذية حسب الطلب. طبّق التصنيع الرشيق وارفع مستوى الأداء الصناعي.

فتح
Northern Trust

منسق تقني، محاسبة الصناديق

Northern Trust

نسّق أعمال محاسبة الصناديق المعقدة، بما يشمل المطابقات والتقييمات اليومية ومراجعة صافي قيمة الأصول. ادعم العمليات العالمية لشركة نورثرن ترست ضمن فريقها الموجود في بونه.

فتح
Warner Bros. Discovery

منسق إنتاج مؤقت للرسوم الرياضية

Warner Bros. Discovery

أنشئ رسوماً رياضية ورسومًا متحركة ومحتوى متعدد الوسائط لمنصات وارنر براذرز ديسكفري التلفزيونية والرقمية. وظّف معرفتك بكرة القدم في مشاريع وسائل التواصل الاجتماعي والويب.

فتح
Grupo A365

موظف مركز اتصال عن بُعد لخدمة العملاء والمبيعات

Grupo A365

قدّم خدمة العملاء عن بُعد لشركة Entel للاتصالات. عالج الاستفسارات وبِع المنتجات عبر الهاتف والقنوات الرقمية.

فتح
IFM Investors

محلل خدمات العملاء – آي إف إم إنفستورز

IFM Investors

ادعم إعداد تقارير العملاء والمعاملات الرأسمالية والاستفسارات التشغيلية لدى آي إف إم إنفستورز، وهي شركة عالمية لإدارة الأصول. ساهم في تحسين دقة التقارير وكفاءة العمليات وتجربة العملاء.

فتح
Sourcefit

أخصائي دعم تقنية المعلومات عن بُعد (برمجيات الرعاية الصحية) — الفلبين

Sourcefit

قدّم دعمًا هاتفيًا من المستوى الأول لمستخدمي تقنيات الرعاية الصحية في Windows والبرمجيات. عالج استفسارات التطبيقات، وسجّل التذاكر في CRM، وصعّد المشكلات التقنية.

فتح
Remote Recruitment

موظف دعم فني عن بُعد في جنوب أفريقيا

Remote Recruitment

قدّم الدعم الفني من المستوى الأول عن بُعد من جنوب أفريقيا، مع معالجة التذاكر ومشكلات الوصول إلى الحسابات والأجهزة. انضم إلى فريق مقره المملكة المتحدة واعمل وفق ساعات العمل البريطانية.

فتح
Grupo A365

ممثل مبيعات وخدمة عملاء لمركز اتصال عن بُعد

Grupo A365

وظيفة مبيعات عن بُعد تشمل البيع المتقاطع وخدمة عملاء شركة إنتل تشيلي عبر الهاتف. إدارة المكالمات والفرص البيعية، وتحقيق أهداف الأداء، وحضور جلسات تدريبية قصيرة.

فتح
Grupo A365

ممثل مبيعات مركز اتصال عن بُعد – ترقيات Claro

Grupo A365

اعمل عن بُعد من بيرو لتقديم المشورة لعملاء Claro وبيع ترقيات الخدمات. لا تُشترط خبرة سابقة في مراكز الاتصال؛ يتوفر تدريب مدفوع وعمولات غير محدودة.

فتح
Grupo A365

ممثل مبيعات تأمين عن بُعد في مركز اتصالات

Grupo A365

توظف A365 ممثلي مبيعات عن بُعد للعمل في مركز اتصالات للتأمين على الأسنان. تشمل المهام التواصل مع العملاء وشرح التغطية وتقديم المشورة وإتمام المبيعات، مع عمولات غير محدودة.

فتح