20 software-formal-method-phd Postdoctoral research jobs at University of Amsterdam (UvA) in Netherlands
Sort by
Refine Your Search
-
they form a permanent reality of how we experience our cities. These barriers signify an “informal” layer of inaccessibility superimposed on more structural or “formal” accessibility problems in the city
-
programme Is the Job related to staff position within a Research Infrastructure? No Offer Description Do you have a PhD on the topic of Bayes factor hypothesis testing? The Psychological Methods Unit at the
-
that need it most. The postdoc will develop formal theory designed to inform research and interventions conducted by the consortium, as described next. There is striking variation in stress responses within
-
Are you interested in developing AI methods that can make physics simulations orders of magnitude faster? If the answer is yes, please continue reading! Join our team! The University of Amsterdam (UvA) is
-
an integrated understanding of the topic. Use both qualitative and quantitative research methods. Be motivated to adopt inclusive, participatory approaches that actively involve marginalized emerging adults in
-
learning, with a focus on novel optimization techniques and memory architectures. Advancing the reasoning capabilities of large language models (LLMs). Developing methods to improve the safety and robustness
-
on the project outline, the Postdoc is encouraged to shape the project according to his or her own ideas. Also, other methods (e.g., document or content analysis of digital communication) are possible depending
-
profile: A PhD in AI, preferably at the interface of information retrieval and machine learning; Research background in generative information retrieval, with publications in the leading venues relevant
-
researchers. What do you have to offer Your experience and profile: A PhD degree in communication science, journalism, or related social science field; A strong affinity with digital / computational science
-
methodologies; You will characterise the materials using spectroscopic and surface characterisation techniques; You will identify and implement optimal methods for the integration and testing of materials in real