23 software-formal-method-phd Postdoctoral positions at University of Amsterdam (UvA) in Netherlands
Sort by
Refine Your Search
-
interdisciplinary and brings together methods and techniques from philosophy, logic and linguistics. You will be conducting research within the Provability work package. The overall goal of this work package is to
-
together methods and techniques from philosophy, logic and linguistics. You will be conducting research within the Propositions work package. The overall goal of this work package is to develop an account of
-
Is the job funded through the EU Research Framework Programme? Not funded by a EU programme Is the Job related to staff position within a Research Infrastructure? No Offer Description Are you a PhD in
-
of interaction and urban design, where your research can shape the vision of open and accessible cities! Join Us! This postdoctoral position integrates data-driven and human-centered research methods first to
-
qualitative research methods, and are interested in investigating the emotional and bodily dimensions of media work. As a Postdoctoral Researcher, you will conduct research within a larger project examining the
-
daily with researchers at Toyota Motor Europe and the Toyota Research Institute, and co-supervise PhD students within the VISLab . Tasks and responsibilities: designing and developing compositional robot
-
participatory mapping, interviews, ecological fieldwork, ethnography, arts-based methods and relation-based simulation modelling in transdisciplinary processes in order to examine ecological and socio-spatial
-
seek to form a team of dedicated researchers who are committed to exploring the generative possibilities of engaged scholarship. The research team – consisting of three PhD candidates, one postdoctoral
-
, extending them to perform pluralistic alignment. To enhance model interpretability, we will also develop methods to better understand the mechanisms of cross-lingual transfer in LLMs and their cultural
-
of Psychology, working as part of a unique interdisciplinary team spanning Psychology, Informatics, and Digital History. By applying computational social science or computational humanities methods to large-scale