Жильё
Не предоставляется
🇸🇪🇸🇪Швеция·Göteborg·#5232ab·3 мест
Исследователь в области типовой теории
Проверенный работодатель ✓
Условия оплаты
По договорённости
Hot
Проверяем контакты работодателя
Контакты ещё не проверены. Сохраните вакансию — мы уведомим вас после проверки.
Вакансия по существу
Условия, требования и поддержка
Есть условия для уточнения
Показываем только подтверждённые сведения. Неизвестное отмечаем честно.
Мест
3
Что будете делать
- Institutionen för data- och informationsteknik har en internationell prägel med cirka 300 anställda från över 50 olika länder.
- Institutionen är en integrerad institution med både Verified employer och Chalmers tekniska högskola som huvudmän.
- Institutionen för data- och informationsteknik söker nu en forskare.
- Anställningen är placerad vid forskargruppen i Logik och typer, avdelningen för Computing science vid institutionen, med Verified employer som arbetsgivare.
- Projektet handlar om studiet av beroendetypteori utökad med univalens, med tillämpningar inom syntetisk matematik.
- Primära exempel inkluderar syntetisk algebraisk geometri och syntetisk Stone-dualitet, men det kan också röra sig om andra former av syntetisk matematik, såsom studiet av högre kategorier.
- Projektet omfattar även metateorin för beroendetyper, med målet att utforma bättre bevisassistenter.
- Arbetsuppgifter Positionen är en 360 dagar heltidstjänst inom forskargruppen i Logik och typer vid institutionen för data- och informationsteknik.
- Du förväntas bedriva forskning av hög kvalitet och publicera dina resultat i ledande internationella tidskrifter och konferensproceedings.
- Du ska kunna arbeta både självständigt och som en del av ett team och kommunicera resultaten muntligt och skriftligt.
- Tjänsten kan omfatta undervisning vid institutionen, inklusive handledning av kandidat- och masterarbeten.
- Undervisningen utgör i så fall högst 20 % av arbetstiden.
- Du kan även komma att medverka som bihandledare för doktorander.
- Kvalifikationer Behörig att anställas som forskare är den som har avlagt doktorsexamen i relevant ämnesområde, till exempel inom datavetenskap eller matematik eller som har en utländsk examen som bedöms motsvara doktorsexamen.
- Anställning Anställningsform: Tidsbegränsad anställning, 360 dagar Omfattning: 100% av heltid Placering: Institutionen för data- och informationsteknik, avdelningen för Computing Science, enheten för Logik och typer Tillträde: 2026-08-17 eller enligt överenskommelse Tillsättningsförfarande Du förväntas ha en stark
- bakgrund, med en utmärkt publikationslista och erfarenhet av arbete med beroende typteori och univalens, liksom goda kunskaper i de teoretiska modellerna inom typteori.
Кого ищет работодатель
- докторская степень, опыт в области типовой теории, навыки командной работы
- Forskare, IT
- Опыт от 1 лет
Условия работы
- Vanlig anställning
Документы и легализация
- Работодатель помогает с разрешением на работу
Что предоставляет работодатель
Жильё
Не предоставляется
Визовая поддержка
Не предоставляется
Что важно уточнить перед откликом
Мы не подменяем отсутствующие сведения догадками. Задайте вопрос — он сохранится у этой вакансии и будет виден работодателю и администратору.
ОплатаГрафикТранспортПитаниеСпецодежда
Вопрос работодателю
Что хотите уточнить до отклика?
Спросите о графике, жилье, документах или условиях. Ответ будет привязан к этой вакансии.
Вопрос видите вы, работодатель и администратор ERIAR.
Здесь появятся ваши вопросы и ответы по этой вакансии.
Нужна помощь с подбором вакансии?
Консультант подберёт лучший вариант: резюме, документы, проверка работодателя. Консультация 30 мин входит в стоимость.
Подобрать с консультантомЗарплата
По договорённости