دسته بندی: عمومی
2020/07/15
عنوان: پوزیشن دکترا در تحلیل و تأیید سیستم های نرم افزاری متمرکز تغییرپذیر
کارفرما: دانشگاه لوکزامبورگ
محل کار: شهر لوکزامبورگ
تاریخ شروع: سه ماهه آخر سال 2020، با توافق
مدت زمان: 2 سال
نوع شغل: دکترا
تعداد پوزیشن ها: 1
مدت قرارداد: قرارداد اولیه به مدت 36 ماه، در صورت لزوم با تمدید 1 سال بیشتر
نوع شغل: تمام وقت 40 ساعت در هفته
رشته های مرتبط: الگوریتم، سیستم های اطلاعاتی (انفورماتیک)، زبان های برنامه نویسی، مهندسی نرم افزار، تحلیل، ریاضیات کاربردی، نظریه احتمال، ریاضیات محاسباتی، یادگیری ماشین
مرکز میان رشته ای امنیت، قابلیت اطمینان و اعتماد (SnT) از اپلیکیشن های کاندیدا های دکترا در حوزه عمومی تحلیل و تأیید سیستم های نرم افزاری با شدت متغیر دعوت به همکاری می کند. SnT تحقیقاتی بین رشته ای را در سیستم ها و خدمات فناوری اطلاعات و ارتباطات امن، قابل اطمینان و قابل اعتماد، اغلب با همکاری شرکای صنعتی، دولتی یا بین المللی انجام می دهد. این مرکز به سرعت در حال گسترش فعالیت های پژوهشی خود است و به دنبال کاندیداهای دکترای بسیار با انگیزه است که مایلند با همکاری نزدیک، تحقیقات را دنبال کنند. برای اطلاعات بیشتر می توانید دو وبسایت www.securityandtrust.lu و wwwen.uni.lu/snt/research/serval را بررسی کنید.
به عنوان یک کاندیدای موفق، شما به گروه Security، Reasoning and Validation (SeRVal) SnT با نظارت دکتر Maxime Cordy می پیوندید. شما بطور خاص به پروژه BEEHIVE، که توسط صندوق تحقیقات ملی لوکزامبورگ تأمین می شود، کمک خواهید کرد. موضوع این پروژه "پیکربندی ناشی از رفتار سیستم های متمرکز تغییرپذیر" بوده و مربوط به توسعه تئوری ها، تکنیک ها و ابزارهایی برای ارزیابی انواع مختلف تنظیمات سیستم های نرم افزاری پیچیده می باشد. تکنیک های تجزیه و تحلیل درگیر شامل موارد زیر است (اما محدود به آنها نیستند): مدل چکینگ، نمونه گیری هدایت شده، شبیه سازی، پیش بینی مدل ها (یادگیری ماشین). انتظار می رود نتایج این پروژه در موارد استفاده چندگانه، به عنوان مثال سیستم های خودرو، ماهواره، شبکه های هوشمند، کارخانه های هوشمند و غیره با همکاری شرکای گروه اعمال شود. بسته به مشخصات شما، پروژه می تواند بیشتر روی تئوری، توسعه و یا برنامه های کاربردی متمرکز شود. با این حال، انتظار می رود هر سه جنبه در طول پروژه پوشش داده شود.
صلاحیت ها: داوطلب باید دارای مدرک کارشناسی ارشد یا معادل آن در یکی از رشته های علوم کامپیوتر، ریاضیات کاربردی یا یک حوزه مرتبط دیگر باشد.
تجربه ها: کاندیدای ایده آل باید در تعدادی از موضوعات زیر دانش و یا تجربه داشته باشد:
مهارت های زبانی: مهارت های ارتباطی قوی نوشتاری و تسلط به صحبت کردن به زبان انگلیسی لازم است.
هرچه زودتر، اپلیکیشن خود را ارسال کنید، اپلیکیشن ها پس از ارسال (صرف نظر از تاریخ شروع) به ترتیب زمان ارسال آنها بررسی خواهند شد.
برای اطلاعات بیشتر، از طریق ایمیل maxime.cordy@uni.lu با دانشگاه در ارتباط باشید.