- 
                
                
                and computer science, connected to MDU’s existing research areas. The PhD project focuses on the development of a large language model (LLM)-based AI agent specialized in energy decision-making 
Searches related to model checking
  Enter an email to receive alerts for model-checking positions