73 computer-science-programming-languages-"the"-"UCL"-"O.P"-"U.S"-"Prof"-"UNESP"-"St" positions at Nature Careers in Denmark
Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
-
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
-
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 global effort carried
-
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
-
call. This programme is open to early-career researchers from all disciplines, including Humanities, Social Sciences, Natural Sciences, Health Sciences, and Engineering. Based at the University
-
The Computational Protein Engineering (CPE) group at The Novo Nordisk Foundation Centre for Biosustainability (DTU Biosustain) is developing novel methods to engineer proteins more effectively using
-
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
-
Assistant Professor (tenure-track) and Associate Professor (tenured) Positions in Computer Scienc...
computing, and Internet of Things, including software and operation techniques such as microservices, serverless and web technologies. LLM-assisted Software Engineering. System programming, including embedded
-
. 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