موقعیت دکتری در منطق و هوش مصنوعی
به گروه تحقیقاتی منطق و هوش مصنوعی بپیوندید تا سیستم‌های چندعاملی، تایید صوری و استدلال هنجاری را بررسی کنید.
مناسب برای:مناسب برای پژوهشگرانی با پیشینه قوی در منطق صوری، سیستم‌های چندعاملی یا تایید محاسباتی.
مرور کلی
گروه علوم اطلاعات و مطالعات رسانه در دانشگاه برگن از متقاضیان برای یک موقعیت دکتری چهار ساله با تمرکز بر تقاطع منطق و هوش مصنوعی دعوت به عمل می‌آورد. داوطلب پذیرفته‌شده در گروه منطق و هوش مصنوعی (LAI) به تحقیق در زمینه‌هایی مانند سیستم‌های چندعاملی، تایید صوری و طراحی مکانیسم خواهد پرداخت. این موقعیت شامل ۲۵٪ فعالیت آموزشی و اداری است که تجربه‌ای متعادل از توسعه آکادمیک را فراهم می‌کند. از متقاضیان انتظار می‌رود پروژه‌ای تحقیقاتی پیشنهاد دهند که با تخصص گروه در منطق صوری و استدلال محاسباتی همسو باشد. این نقش در برگن مستقر است و نیازمند حضور فیزیکی در گروه است.
نحوهٔ درخواست
برای دیدن امتیاز تطابق شخصی، نیازمندی‌ها، جزئیات بودجه و نحوهٔ درخواست — به انگلیسی یا فارسی — حساب کاربری رایگان بساز.