9 formal-semantics PhD positions at NTNU Norwegian University of Science and Technology
Sort by
Refine Your Search
-
the semantic foundation that enables AI systems to reason more coherently about ship designs, reducing ambiguity in the data available to machine‑learning systems, and supports explainability by grounding AI
-
Knowledge of or experience with semantic modeling, knowledge representation and automated reasoning Knowledge of or experience with knowledge-based engineering and system engineering Knowledge
-
Python, MATLAB, or Julia for control applications, and knowledge of standard optimization tools. Strong skills in mathematics, excellent capacity for mathematical formalism, and ability to grasp new
-
) CAE/CPE: grade B or A In extraordinary circumstances, formal documentation of language skills can be relinquished. In such cases, the candidate’s language skills will be assessed in a personal interview
-
development work at the Norwegian University of Science and Technology (NTNU) for general criteria for the position. Preferred selection criteria Formal skills (completed master level courses, publications etc
-
gatherings such as professional meetings within the research group, weekly research colloquia, shared lunches, and “Friday coffee” sessions to wrap up the week. Formal and informal gatherings provide
-
” sessions to wrap up the week. These formal and informal occasions provide opportunities to exchange ideas, celebrate milestones, and strengthen connections. PhD candidates also arrange social activities
-
. Written and oral fluency in English. Applicants with MSc degrees from institutions outside Europe are expected to document language proficiency. In extraordinary circumstances, formal documentation
-
fluency in English. Applicants with MSc degrees from institutions outside Europe are expected to document language proficiency. In extraordinary circumstances, formal documentation of language skills can be