Sort by
Refine Your Search
-
, encryption/decryption and compression; use of microelectronics devices (including COTS); implementation, inference, verification and validation of algorithms** on processing hardware platforms for space
-
methods for eliciting and aggregating safety specifications and risk thresh-olds for AI systems, with a particular focus on mechanisms that provide axiomatic guarantees, are algorithmically tractable, and
-
. Qualifications PhD in Computer Science, Economics, Mathematics, or a closely related dis-cipline. Strong background in computational social choice, algorithmic game theory, or AI safety. Excellent research track
-
knowledge of extracting (event) data from text, documents, and/or media articles or implementing large-N analytics and algorithms, preferably LLMs and/or NLP. Conduct collaborative and independent research
-
this position will be to provide in vitro biochemical, biophysical and structural data from novel mutants of the EGFR kinase domain to drive and validate algorithmic development. Organisation The vacancy is
-
investigate how machine-learning based algorithms can be used to personalize the user experience. The goal of this personalized user experience is to enable each individual user to discover their own
-
, ballistocardiography, and bio-radar) in combination with machine learning based algorithms for time series analysis into the whole OSA diagnosis and treatment pathway. During diagnosis unobtrusive sensors that can be
-
on the resulting algorithms and pipelines. As an emerging paradigm, differentiable programming builds upon several areas of computer science and applied mathematics, including automatic differentiation, graphical
-
studies independently, working with diverse datasets, developing algorithms and decision rules, and contributing to the refinement of data-driven intervention strategies. Tasks As a postdoctoral researcher
-
profile, experience and research proposal. Planning and autonomy: The objective is to study the state of the art of planning algorithms that would support onboard autonomous operations of a rover system on