Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
-
Field
-
of Geosciences, including mobile flux towers and drone-based observing systems developed in-house. Fieldwork for testing newly developed algorithms is anticipated in mainland Norway, Svalbard, and abroad. Funding
-
: the idea is to explore algorithmic approaches for efficiently exploring the space of possible description logic ontologies approximating the in-formation present in large language models and to provide
-
to complete the final exam. Desired qualifications: Good knowledge in programming language theory, algorithms, distributed systems and logic Experience with language-based techniques for information-flow
-
of Computer Science We are the leading academic IT environment in Norway, and offer a wide range of theoretical and applied IT programmes of study at all levels. Our subject areas include hardware, algorithms, visual
-
represent all relevant wind structures of significant influence. High-resolution modeling (LES and DNS) is currently infeasible at all necessary scales, while existing computationally efficient algorithms
-
the technical vulnerabilities and building the cascading process of specific NATECH events in the offshore industry developing indicators and algorithms for analyzing the frequency and impact of typical NATECH
-
and use them to understand neural algorithms in mammalian brain For postdoctoral candidates Completion (within startup) of a doctoral degree (recognized as the equivalent to a Norwegian PhD) in
-
systems developed in-house. Fieldwork for testing newly developed algorithms is anticipated in mainland Norway, Svalbard, and abroad. Funding is also available for conference attendances and research visits
-
. The section’s research interests span a broad range of areas, including high-dimensional and big data, nonparametric inference, algorithmic methods/machine learning, Bayesian inference, statistical computing
-
qualifications: Good knowledge in programming language theory, algorithms, distributed systems and logic Experience with language-based techniques for information-flow analysis or access control, formal methods