4 software-formal-method-phd positions at NTNU Norwegian University of Science and Technology

PhD Candidate in Human-AI Interaction and Learning

NTNU Norwegian University of Science and Technology | Norway | 8 days ago

over the next five years  (regjeringen.no ) (in Norwegian). Your immediate leader will be the leader of the Software Engineering unit . About the project This PhD fellowship is part of the national AI

PhD Candidate in Mutli-Agent Communication to Enhance Human Learning

NTNU Norwegian University of Science and Technology | Norway | 8 days ago

over the next five years  (regjeringen.no ) (in Norwegian). Your immediate leader will be the leader of the Software Engineering unit . About the project This PhD fellowship is part of the national AI

PhD Candidate in AI Enhancement of Game-Based Learning

NTNU Norwegian University of Science and Technology | Norway | 8 days ago

artificial intelligence over the next five years  (regjeringen.no ) (in Norwegian). Your immediate leader will be the leader of the Software Engineering unit. About the project This PhD fellowship is part of

Adjunct Associate Professor in digital systems design and verification

NTNU Norwegian University of Science and Technology | Norway | 10 days ago

students. Expertise in advanced testbench design and formal verification. Expertise in power- and energy efficient digital hardware systems design. Expertise in embedded hardware/software systems design and