تدريب مدفوع لطلاب الدكتوراه في أمريكا من أمازون: (المنطق الآلي وأنظمة التخزين)

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

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

سيعمل المتدرب عن كثب مع علماء أمازون والمتدربين الآخرين في مجال العلوم لتطوير الحلول ونشرها إنتاجيًا، حيث يجب أن يتمتع العالم المثالي بالقدرة على العمل مع مجموعات متنوعة من الأفراد والفرق متعددة الوظائف لحل مشكلات الأعمال المعقدة. وسيكون المرشح الناجح هو من يملك الحافز الذاتي ومستعد للتعامل مع الغموض مع الاهتمام الشديد بالتفاصيل والقدرة على النجاح في بيئة سريعة ودائمة التغير.

1. طالب حالي في برنامج الدكتوراه أو ما يعادلها في علم الحاسوب أو الموضوعات ذات الصلة.
2. خبرة في واحد على الأقل مما يلي: المواصفات الرسمية، والدلالات الرسمية، والمنطق المقترح (وحل SAT) والمنطق من المرتبة الأولى (وحل SMT)، والمنطق عالي المستوى، والمنطق الزمني.
3. خبرة في فهم والقدرة على تنفيذ الخوارزميات باستخدام كل من مجموعات الأدوات والتعليمات البرمجية المطورة ذاتيًا.
4. خبرة في Java أو Rust  أو O'Caml أو C/C++ أو لغة برمجة أخرى، وكذلك في Python أو لغة برمجة نصية مماثلة.

مؤهلات يفضل امتلاكها:

1. الدراية بمناهج مرحلة البكالوريوس الأساسية لعلم الحاسوب.
2. خبرة في واحد على الأقل مما يلي: التحقق الاستنتاجي (Dafny و Boogie و OpenJML و Frama-C و VCC)، وإثبات النظرية التفاعلية (Coq و HOL-light و Isabelle)، والتحقق من النموذج (1) من البروتوكولات (2) من التعليمات البرمجية . والتحقق من الحالة الصريحة في مقابل النموذج الرمزي، وإنشاء الاختبار الرمزي / التجميعي، والاختبار القائم على النموذج، والتحقق من المطابقة / الصقل، والبرمجة الوظيفية، والأنواع، والوحدات الأحادية، والتحقق المستند إلى الثوابت، والتوليف، والتحقق من وقت التشغيل / المراقبة، واللغات المستندة إلى Solver ، والتحليل الثابت .
3. الطلاقة الفنية والتعود على استيعاب ومناقشة المفاهيم والخوارزميات المعمارية وجدول المقايضات والفرص الجديدة مع أعضاء الفريق الفني.
4. منشورات في مؤتمرات أو مجلات محكمة.
5. مهارات ممتازة في التفكير النقدي مع القدرة على تقديم معتقداته بشكل واضح ومقنع في كل من أشكال التحدث والكتابة.

حول أمازون:

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

اطّلع على المزيد من فرص التدريب العملي        

اطّلع أيضًا على فرص سفر إلى أستراليا المتاحة على فرصة 

اقرأ أيضًا: 10 تصرفات لن تراها في الأشخاص الناجحين