95 programming-"the"-"DAAD"-"IMPRS-ML"-"U.S"-"FEMTO-ST"-"UCL"-"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...
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
-
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
-
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
-
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
-
. Starting date is as soon as possible. The position is a full-time position The position is part of DTU’s Tenure Track program. Read more about the program and the recruitment process here . You can read more