102 programming-language-"Prof"-"Foundation-for-Research-and-Technology-Hellas"-"Prof" positions at Nature Careers in Denmark
Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
-
for postdoctoral fellowships in formal methods and programming languages, with emphasis on theorem proving. The positions can have a duration of up to 4 years. The targeted starting period is after Summer 2026, with
-
Postdoc Position in Models of Quantum Programming Languages (Sapere Aude: DFF-Research Leader Pro...
by Assoc. Prof. Robin Kaarsgaard . The project aims at introducing new abstractions, models, and programming languages that radically change how we can reason about and develop quantum programs
-
Programming Beyond the Circuit Model” led by Assoc. Prof. Robin Kaarsgaard . The project aims at introducing new abstractions, models, and programming languages that radically change how we can reason about and
-
scalable methods for understanding the inner workings of large language models (LLMs) and LLM agents, with a focus on identifying causal mechanisms underlying tool use, reasoning, and multi-agent
-
Post Doctoral Researcher in Human-centred Large Language Models for Software Engineering, Departm...
. Required qualifications: A Ph.D. degree in Computer Science, Data Science, Software Engineering or related field. Solid research experience with using Large Language Models. Solid programming expertise in
-
written English. Willingness to contribute to the Biology teaching program at BSc and MSc levels, in particular in the area of Animal Physiology and Zoology. Interest in working in an interdisciplinary
-
applications for postdoctoral research fellowship position(s) within the field of machine learning, natural language processing, and AI safety. The proposed starting date is 1 February 2026 or soon thereafter
-
, reaction kinetics and dynamics, and theory/simulation of ultrafast time-resolved experiments. will be a part of the Physical Chemistry section at DTU Chemistry (https://www.kemi.dtu.dk/english/research
-
Intelligence, Cybersecurity, and Programming Languages (ACP) , an elite cluster of research groups that fosters collaboration, research excellence, and quality education. FORM and ACP offer ample opportunities
-
Assistant Professor (tenure-track) and Associate Professor (tenured) Positions in Computer Scienc...
, with focus on Automated Reasoning, Logic, or Programming Languages. Successful candidates will join the Section of Artificial Intelligence, Cybersecurity, and Programming Languages (ACP) and the new SDU