8 model-checking research jobs at NTNU Norwegian University of Science and Technology
Sort by
Refine Your Search
-
Program
-
Field
-
focused on digital tools and methods for urban planning and decision-making. Develop and apply computational urban models, simulations, and data-driven frameworks to support urban policy and planning
-
, machine learning, database systems, or data mining. Experience with different generative AI approaches such as transformer, or diffusion models. Very good programming skills in either Python, Julia, or R
-
environments, including but not limited to Generative AI and multi-agent ecosystems. The Postdoc fellow will engage with developing and finetuning models from the provided by the partners data (e.g., small
-
learning, including designing, developing and evaluating systems and models to enhance learning through AI technology. The Postdoc fellow will engage with developing models, frameworks and technologies
-
should be used to transform today's linear business models into future business models with the principles of a circular economy, and finally to investigate how such technologies can be integrated in
-
Hardware-in-the-loop testing) and control-in-the-loop testing will be an advantage. Experience with stability studies based on state-state modeling of power systems will be merited. Personal characteristics
-
quantum information/cavity physics will be advantageous. Competence in numerical modelling will be needed. Personal characteristics We are seeking a candidate who is independent, takes initiative and excels
-
(iBT) — iBT enhanced score reporting is required. Your proficiency level for the overall test should correspond to a score in the range 101 - 79. Your proficiency level for each test section should