Sort by
Refine Your Search
-
: 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
-
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
-
algorithms for its operation. This unique opportunity allows the PhD student to take control theory for grid operation from low TRLs to very high TRLs. The core activity of the ATLAST2 shall support
-
. We are looking for candidates willing to investigate the following topic. Extracting description logic ontologies from large language models: the idea is to explore algorithmic approaches
-
the Norwegian healthcare sector for emerging treatment alternatives. A central part of the project is to develop and validate multimodal prediction algorithms for Alzheimer’s disease using genetics, neuroimaging