Sort by
Refine Your Search
-
Category
-
Country
-
Program
-
Employer
-
Field
-
techniques that ensure trustworthiness and to develop methods and tools to analyse and quantify the various performance parameters of the software on this platform such as degree of privacy, reliability and
-
, and formal methods for the robustness, performance, correctness, and security of code generated by AI or interacting with AI. Areas of interest include the coordination and validation of concurrent AI
-
Requirements: PhD in Computer Science, Software Engineering, Artificial Intelligence or a closely related discipline. Demonstrated ability to conduct independent research and develop novel research methods
-
principles problem formulations, algorithm development, systems designs, software implementations, and collection methods for specialized engineering applications, employing expertise in electrical and/or
-
educational activities on different levels and using a variety of teaching methods. An ability to supervise doctoral students to achieve a PhD. An ability to collaborate with wider society and communicate his
-
methods), system security (hardware, software, platforms) across a wide range of systems, network and wireless security, AI security, human factors in security, and privacy. Successful candidates will have
-
. The role You will contribute to the design and implementation of the ABLE platform, including software development, possibly some hardware prototyping, and evaluation with users. A key focus will be
-
and algorithms, formal methods, probability and measure theory. For senior research fellow role, candidates must hold a relevant PhD with significant track record of research excellence and substantial
-
Validation; Data Engineering, Science, and Systems; Distributed Sustainable Software and Systems; Formal Methods for Security and Privacy; Foundations for Interacting and Computing Systems; Human Augmentation
-
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 and