طالب دكتوراه في علوم الكمبيوتر مع التركيز على التحليل الرسمي لبرامج الأجهزة الآمنة والأجهزة المضمنة

تفاصيل الفرصة

المكافأة الإجمالية

0 $

جامعة حكومية

جامعة أوميا

المنطقة

أوروبا الوسطى والشرقية

البلد المضيف

السويد

آخر موعد للتقديم

01 ماي 2021

المستوى التعليمي

الدكتوراه

نوع الفرصة

الدكتوراه

التخصصات

تكنولوجيا المعلومات وعلوم الحاسوب

تمويل الفرصة

غير ممولة

الدول المؤهلة

هذه الفرصة متوفرة لجميع البلدان

المنطقة المؤهلة

جميع المناطق

تبحث جامعة أوميا ، قسم علوم الحوسبة (www.cs.umu.se) ، عن طالب دكتوراه في علوم الكمبيوتر مع التركيز على التحليل الرسمي لبرامج الأجهزة الآمنة والأجهزة المدمجة. يعد قسم علوم الحوسبة بيئة ديناميكية تضم حوالي 130 موظفًا من أكثر من 20 دولة حول العالم. آخر موعد للتقديم هو 1 مايو 2021.

تمتلك مجموعة هندسة البرمجيات الآلية (ASE) مجموعة واسعة من الاهتمامات البحثية ، بدءًا من تطوير الرياضيات الجديدة للسلوك الحسابي لأنظمة البرمجيات إلى جميع جوانب المنطق من خلال دراسة وتطوير تصميم النظام وطرق التحقق. تتمتع المجموعة بقوة خاصة في أتمتة التفكير لبناء أنظمة برمجية موثوقة تم التحقق منها لضمان السرية والنزاهة والتوافر. يتمتع أعضاء ASE بسمعة عالمية رائدة في المنطق الحسابي والتحقق ، خاصة في التحقق من البرامج والاستدلال الآلي. تشمل مجالات الاهتمام الأخرى التحقق من وقت التشغيل ، وتوليف البرامج ، واختبار البرامج ، والأنظمة الفيزيائية السيبرانية ، والأمن. تقوم ASE بتطوير أداتين من أدوات التحقق والاختبار الحائزتين على جوائز ، بما في ذلك ESBMC و JBMC ، اللتان فازتا باستمرار بالمسابقات الدولية في التحقق من البرامج واختبارها على مدى السنوات العشر الماضية. قدمت المجموعة مساهمات كبيرة في التحقق من البرامج والاستدلال الآلي: تقنيات النظرية والتنفيذ. تمتلك ASE أيضًا روابط قوية بالصناعة ، بما في ذلك التعاون مع ARM و AWS و Intel و Nokia.

دبور

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

تتمثل رؤية WASP في البحث الممتاز والكفاءة في مجال الذكاء الاصطناعي والأنظمة المستقلة والبرمجيات لصالح الصناعة السويدية ".

اقرأ المزيد على: https://wasp-sweden.org/

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

وصف المشروع

يجري المشروع بحثًا في مجال فحص نماذج البرامج ، والاختبار الآلي ، وتوليف البرنامج ، والأنظمة المدمجة والفيزيائية الإلكترونية ، والأمن.

متطلبات القبول

متطلبات القبول العامة لدراسات الدكتوراه هي درجة من المستوى الثاني ، أو متطلبات الدورة الكاملة لما لا يقل عن 240 نقطة دراسية حسب نظام ECTS ، منها 60 وحدة دراسية بنظام ECTS على الأقل في مستوى الدورة الثانية ، أو لديك تعليم معادل من الخارج ، أو ما يعادلها مؤهلات. للوفاء بمتطلبات القبول المحددة لدراسات الدكتوراه في علوم الحوسبة ، يجب على مقدم الطلب أن يكون قد أكمل ما لا يقل عن 90 ساعة معتمدة من ECTS في علوم الحوسبة ، أو في موضوع يعتبر ذا صلة مباشرة بالتخصص المعني. المتقدمون الذين اكتسبوا مهارات تعتبر معادلة مؤهلون أيضًا.

من المتوقع أن يكون لدى المرشحين معرفة جيدة جدًا في واحد على الأقل من المجالات التالية:

الصفات الشخصية الهامة هي:

المؤهلات المرغوبة الأخرى:

شروط التوظيف

يستهدف المنصب دراسات وأبحاث الدكتوراه خلال ما يعادل أربع سنوات بدوام كامل ، مما يؤدي إلى امتحان الدكتوراه. وهي مخصصة بشكل أساسي للدراسات العليا (على الأقل 80٪ من الوقت) ، ولكنها قد تشمل ما يصل إلى 20٪ من خدمات القسم (التدريس عادة). إذا كان الأمر كذلك ، فسيتم تمديد الوقت الإجمالي للوظيفة وفقًا لذلك (بحد أقصى خمس سنوات). تاريخ البدء المتوقع هو 1 يونيو 2021 أو كما هو متفق عليه.

يتوافق إجراء التعيين في الوظيفة مع قانون التعليم العالي (الفصل 12 ، 2 ،) ولا يمكن استئناف القرار المتعلق بالوظيفة.

تطبيق

يجب تقديم الطلبات إلكترونيًا باستخدام نظام التوظيف الإلكتروني لجامعة أوميو.

يجب أن يحتوي الطلب الكامل على المستندات التالية:

يجب أن يكون الطلب مكتوبًا باللغة الإنجليزية أو السويدية. يجب أن تكون المستندات المرفقة بتنسيق Word أو pdf. يجب تقديم الطلبات إلكترونيًا باستخدام نظام التوظيف الإلكتروني لجامعة Umeå ، ويتم استلامها في موعد أقصاه 1 مايو 2021.

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

ونحن نتطلع إلى تلقي طلبك!