/جزئیات
علوم کامپیوتر● بازپژوهشگر⏰ ۱ روز ماندهPreview
همکار تحقیقاتی در اتریوم
به یک تیم پویا بپیوندید تا تأیید توافق اتریوم را پیش ببرید.
مناسب برای:بهترین برای محققانی با پیشینه قوی در علوم کامپیوتر و تأیید رسمی.
دانشگاه منچستر · شمال انگلستان, بریتانیا
استادان بیشتر در دانشگاه منچستراتریومتأیید رسمیعوامل هوش مصنوعیآزمایش نرم‌افزاربررسی مدل
این یک موقعیت پژوهشگر است — نه پذیرش دکترا.
مهلت
۱۵ اکتبر ۲۰۲۶
۱ روز
بودجه
حقوقی
شروع
—
مکان
شمال انگلستان
بریتانیا
مرور کلی
دانشگاه منچستر به دنبال یک همکار تحقیقاتی است تا به تحقیقات نوآورانه در اتریوم کمک کند. این نقش شامل طراحی و توسعه عوامل هوش مصنوعی و موتورهای تأیید برای تأیید رسمی و آزمایش خودکار مشخصات توافق اتریوم است. نامزد موفق در گروه تحقیقاتی امنیت سیستم‌ها و نرم‌افزار کار خواهد کرد و به‌طور نزدیک با دکتر لوکاس کوردیرو همکاری خواهد کرد. متقاضیان باید انگیزه‌دار و آماده برای شرکت در یک محیط تحقیقاتی همکاری باشند.
اتریومعوامل هوش مصنوعیتأیید رسمیمهندسی نرم‌افزارپایتونC++بررسی مدلبلاک‌چین
نحوهٔ درخواست
آزمایشگاه
گروه تحقیقاتی امنیت سیستم‌ها و نرم‌افزار
دانشگاه منچستر
بریتانیا
موقعیت کامل را ببین
برای دیدن امتیاز تطابق شخصی، نیازمندی‌ها، جزئیات بودجه و نحوهٔ درخواست — به انگلیسی یا فارسی — حساب کاربری رایگان بساز.
بدون نیاز به کارت بانکی · ۱۰ امتیاز تطابق AI رایگان