Sort by
Refine Your Search
-
domains and formal methods Applying the developed research ideas and approaches to improve the software engineering process in Continental, especially requirement engineering and testing Conducting
-
Fellow in areas related to formal-method-based automatic analysis and design of robotic operational specifications to take on a position of Research Fellow to support the project entitled " Universal
-
new models of examining the data To provide teaching to junior staff in the lab in neuroscience-related research methods, especially in pre-processing and processing of EEG data from infants/children
-
or Mathematics or Statistics with a strong background in one or more of the following: AI, machine learning, Bayesian statistics, programming languages, logic and algorithms, formal methods, probability and