Two Postdocs in Programming Languages
CHALMERS TEKNISKA HÖGSKOLA AKTIEBOLAG · Göteborg, Sverige
Не откликайтесь вслепую. Сначала проверьте, насколько ваше резюме подходит на роль Разработчик ПО — бесплатно, за 30 секунд.
Вы перейдёте к оригинальному объявлению работодателя.
- Компания
- CHALMERS TEKNISKA HÖGSKOLA AKTIEBOLAG
- Локация
- Göteborg, Sverige
- Тип занятости
- Полная занятость
- Опубликовано
- 18 июня 2026 г.
Об этой вакансии
Do you want to use functional programming to find new ways to develop, test and formally verify software or hardware? Chalmers, with its world leading groups in functional programming and formal methods, provides the ideal environment for research on programming with formal guarantees — a topic of increasing practical importance. About us The https://www.chalmers.se/en/departments/cse/, a joint department of Chalmers and the University of Gothenburg, spans the breadth of computing disciplines. Our internationally visible research, strong industry links and diverse environment create a collaborative setting where ideas grow into real impact. At the https://www.chalmers.se/en/departments/cse/our-research/computing-science/, we advance secure and trustworthy software and systems, spanning fou…
Это краткое описание. Хотите узнать, подходите ли вы? Проверьте резюме под эту роль — бесплатно, за 30 секунд.
Узнайте, подходит ли ваше резюме под эту вакансию
Вставьте резюме и получите мгновенную оценку соответствия этой роли — плюс персональное сопроводительное письмо в один клик.
- Мгновенная оценка соответствия этой роли
- Персональное сопроводительное письмо в один клик
- Бесплатно — без карты