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