پژوهشگر پسادکتری در بررسی اثبات موازی داده برای نظریه‌های مونوییدال
به UCL بپیوندید تا سیستم‌های پیشرفته بررسی اثبات و اثبات قضیه یادگیری تقویتی را برای هوش مصنوعی محافظت‌شده توسعه دهید.
مناسب برای:مناسب برای پژوهشگرانی با مدرک دکترا در علوم کامپیوتر یا ریاضیات، تخصص قوی در نظریه رده‌ها و تسلط بر توسعه نرم‌افزارهای راستی‌آزمایی در سطح پژوهشی.
مرور کلی
دانشکده علوم کامپیوتر در UCL به دنبال یک پژوهشگر برای فعالیت در گروه پژوهشی اصول برنامه‌نویسی، منطق و راستی‌آزمایی (PPLV) است. این موقعیت از پروژه برنامه هوش مصنوعی محافظت‌شده ARIA با عنوان «بررسی اثبات موازی داده برای نظریه‌های مونوییدال»، به سرپرستی پروفسور فابیو زانازی پشتیبانی می‌کند. نامزد موفق هسته بررسی اثبات Metacat را ارتقا خواهد داد، یک نمونه اولیه اثبات قضیه مبتنی بر یادگیری تقویتی ایجاد خواهد کرد و پژوهش در زمینه نظریه‌های مونوییدال و سیستم‌های اثبات نموداری را پیش خواهد برد. این نقش شامل مشارکت هم در خروجی‌های نرم‌افزاری و هم در مبانی نظری پلتفرم گسترده‌تر هوش مصنوعی محافظت‌شده است.
نحوهٔ درخواست
برای دیدن امتیاز تطابق شخصی، نیازمندی‌ها، جزئیات بودجه و نحوهٔ درخواست — به انگلیسی یا فارسی — حساب کاربری رایگان بساز.