99 programming-language-"St"-"University-of-St"-"St"-"FEMTO-ST" 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
-
The Department of Mathematics and Computer Science (IMADA) at the University of Southern Denmark, Odense, invites applications for a PhD position in quantum programming languages. The position has
-
Postdoc Position in Models of Quantum Programming Languages (Sapere Aude: DFF-Research Leader Pro...
, and Programming Languages (ACP ), the section on Topology, Algebra, Analysis and Geometry (TAAG ) and the Centre for Quantum Mathematics (QM ). The proposed starting time is Winter 2026, with some room
-
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
-
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
-
, 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...
, and Programming Languages (ACP) . We encourage applications from researchers that can complement or strengthen the competences of the group. Examples of interesting research areas include, but are not
-
languages: Danish and English. You are expected to be fluent in at least one of these languages, and in time are expected to master both. As formal qualification you must hold a PhD degree (or equivalent
-
DTU Tenure Track Researcher in Low-Noise Supercontinuum Lasers and Supercontinuum Laser based Opt...
publications. You must contribute to the teaching of courses. DTU employs two working languages: Danish and English. You are expected to be fluent in at least one of these languages, and in time are expected