105 programming-"the"-"DAAD"-"IMPRS-ML"-"IDAEA-CSIC"-"EURAXESS"-"U"-"UCL" 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...
The Department of Mathematics and Computer Science at the University of Southern Denmark, Odense, invites applications for a postdoctoral research fellowship in models of quantum programming
-
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
-
competitive salary and will follow the PhD study program at the Faculty of Science . Candidate Profile An ideal candidate has a background in/or experience with one or more of the following topics: Data Mining
-
Chips Act, and other similar programs. The position is open from March 2025, and the specific start date will be agreed with the successful candidates. What we offer A stimulating research environment
-
DIAS Assistant Professor in Cognitive psychology, Clinical psychology, or Health psychology ved I...
established over the last 15 years and forms the research basis for the bachelor’s and master’s degree programs in psychology on Campus Odense (130+ students per cohort) and Campus Esbjerg (75 students per
-
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
-
. Our current main instrument to pursue this ambition is the Computer Science Library (CSlib) in the Lean programming technology . CSlib is a global effort carried out in collaboration with world-leading
-
Programming experience (e.g., Fortran, Python, shell scripting) and HPC workflows Experience working with operational forecasting systems and advisory tasks We are looking for a researcher with a strong