143 proof-checking-postdoc-computer-science-logic positions at University of Oslo in Norway
Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
-
generation machine learning. We do this by combining the mathematical and computational cultures, and the methodologies and theories, of statistics, logic, language technology, ethics and machine learning, in
-
, laying the foundations of next generation machine learning. We do this by combining the mathematical and computational cultures, and the methodologies and theories, of statistics, logic, language
-
Languages English English English Researcher in Computational Chemistry Apply for this job See advertisement About the position Applicants are invited for a two-year position as Researcher in Computational
-
properly. Please turn on JavaScript in your browser and try again. UiO/Anders Lien 2nd June 2025 Languages English English English Researcher position in chemistry related to computations-based design for C
-
environment. Qualifications requirements Applicants must hold a degree corresponding to a Norwegian doctoral degree in biostatistics, statistics, machine learning, mathematics, data science, computer science
-
learning, mathematics, data science, computer science or another relevant field. Doctoral dissertation must be submitted for evaluation by the closing date. Appointment is dependent on the public defence of
-
- MSCA Postdoctoral Fellowships in Computational and Natural Sciences – up to 18 positions Apply for this job See advertisement About the position DSTrain is a 5-year postdoctoral programme launched and
-
will work in a multidisciplinary team with clinicians as well as with experts in statistics, applied mathematics, big data analysis, and computer science. The main purpose of the fellowship is to qualify
-
computer science. The main purpose of the fellowship is to qualify researchers for work in higher academic positions within their disciplines. The duration of appointment is 3 years. Your main tasks will be
-
characterization including NMR spectroscopy, organometallic chemistry, homogeneous catalysis, reaction mechanisms, computational approaches, and catalytic reactions. The candidate must be able to supervise students