Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
- Technical University of Denmark
- University of Southern Denmark
- Nature Careers
- Aarhus University
- Aalborg University
- University of Copenhagen
- Copenhagen Business School
- Technical University Of Denmark
- Aalborg Universitet
- DTU Electro
- COPENHAGEN BUSINESS SCHOOL
- Copenhagen Business School , CBS
- Danmarks Tekniske Universitet
- Roskilde University
- Technical University of Denmark;
- ;
- Aarhus University;
- Imperial College London
- King's College London
- Queen's University Belfast
- Technical University of Denmark (DTU)
- Technical University of Denmark - DTU
- The Danish Cancer Society
- UNIVERSITY OF COPENHAGEN
- University of Groningen
- 15 more »
- « less
-
Field
-
Computer Science, 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
-
The Centre for Machine Learning within the Data Science and Statistics Section of the Department of Mathematics and Computer Science (IMADA) at the University of Southern Denmark invites
-
and embedded cryptography, and quantum programming languages. The section is part of the Department of Mathematics and Computer Science, and other research sections at the department are Algorithms
-
Assistant Professor (tenure-track) and Associate Professor (tenured) Positions in Computer Scienc...
), Constraint Solving, Planning, Answer Set Programming, Model Checking, Symbolic Computation, Knowledge Representation, Reasoning under Uncertainty, Non-monotonic Reasoning, Expert Systems. Programming languages
-
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
-
programme. Academic staff contribute to the teaching. English is the preferred language in the laboratory, at meetings and at seminars. The department employs approx. 500 people from all over the world, and
-
Postdoc Position in Models of Quantum Programming Languages (Sapere Aude: DFF-Research Leader Pro...
models of quantum programming languages. The ideal candidate holds (or is expected to soon hold) a PhD degree in computer science, mathematics, physics, or a more specialised degree in quantum computing
-
publications Relevant research experience Other professional activities Good language skills Principal supervisor is Professor Kristian Thorup-Kristensen, ktk@plen.ku.dk . The PhD programme A three year full
-
Job Description The Centre for Machine Learning within the Data Science and Statistics Section of the Department of Mathematics and Computer Science (IMADA) at the University of Southern Denmark
-
of digital systems, guided by rigorous mathematical foundations. Our current main instrument to pursue this ambition is the Computer Science Library (CSlib) in the Lean programming technology . CSlib is a