Sort by
Refine Your Search
-
. Appointment is conditional on documentary verification of these conditions and fulfilment of BI’s admission requirements. See the official MSCA Doctoral Networks guidance for further information. How to apply
-
refugee status under the Geneva Convention are excluded. Be enrolled in, or meet the conditions for timely enrolment in, BI’s doctoral programme. Appointment is conditional on documentary verification
-
documented relevant activities, where applicable. Signed Verification Document Applicants who do not hold a qualifying master's degree from a Nordic institution and whose qualifying degree was not taught in
-
(maximum 18 ECTS). A complete list of publications and other documented relevant activities, where applicable. Signed Verification Document Applicants who do not hold a qualifying master's degree from a
-
relevant activities, where applicable. Signed Verification Document Applicants who do not hold a qualifying master's degree from a Nordic institution and whose qualifying degree was not taught in English
-
complete the following form (maximum 18 ECTS). A complete list of publications and other documented relevant activities, where applicable. Signed Verification Document Applicants who do not hold a
-
and research, in and outside academia. The Software Engineering group conducts research in a wide range of topics related to design, development, verification, and operation of complex software systems
-
outside academia. The Software Engineering group conducts research in a wide range of topics related to design, development, verification, and operation of complex software systems, including emerging
-
Supplement or a similar document describing in detail the study and grade system associated with the obtained degree. Signed transcript verification document (to be found here ). (Please note that this
-
to teaching, supervision and administrative tasks at the Department. The PhD project is situated within the research area of logics for multi-agent systems, and their applications to formal verification