Sort by
Refine Your Search
-
the Computer Science study program. The stipend is open for appointment from August 1st 2025 or soon thereafter. The PhD students will be working on topics within the general areas of formal methods, model checking and
-
, tbrems@ps.au.dk, 40 17 21 90 Place of work Bartholins Allé 7, 8000 Aarhus C Formal requirements You can read more about how to apply in the application guide and find the rules and regulations of the PhD
-
verification and formal verification. runtime analysis and reconfiguration of in-vehicle TSN networks. Co-supervise students. Optionally contribute to teaching. Required qualifications: Hardware design in a
-
Proficiency in Danish is required due to collaboration with Danish Industry. Proficiency in English, either demonstrated through formal education or a Master's degree conducted in English. Preferred
-
, Fuglesangs Allé 4, DK-8210 Aarhus V Formal requirements You can read more about how to apply in the application guide and find the rules and regulations of the PhD education here . The following criteria
-
process, don't hesitate to get in touch with HR supporter Ulla Prisholm Bjørn Email: upb@au.dk. Place of work Fuglesangs Allé 4, 8210 Aarhus V Formal requirements You can read more about how to apply in
-
Formal requirements You can read more about how to apply in the application guide and find the rules and regulations of the PhD education here . The following criteria are decisive in the assessment