Sort by
Refine Your Search
-
(industry, grid operators, regulators) and an interest in societal impact pathways As a formal qualification, you must hold a PhD degree (or equivalent). You will be assessed against the responsibilities and
-
memorization in LLMs Analysis of vulnerabilities in low-resource language settings, and the effect of typological diversity on the security landscape in multilingual settings Formal semantic or symbolic methods
-
both. As formal qualification you must hold a PhD degree (or equivalent) as well as academic qualifications equivalent to those obtained by holding an assistant professorship and documented didactic
-
of Computer Science has the following research groups: Automated System Verification and Validation ; Data Engineering, Science, and Systems ; Distributed Sustainable Software and Systems ; Formal Methods for Security
-
, microservices), Dev(Sec)Ops, information security, formal methods (concurrency theory, theorem proving, type systems, etc.), logic and knowledge representation, optimisation, and post-quantum and embedded