Sort by
Refine Your Search
-
Employer
-
Field
-
of their behavior. A particular focus of the thesis will be on the design and monitoring of collective systems populated by AI generative agents, and on improving their theory of mind, lifelong learning and social
-
specific focus on symbolic model checking methods using satisfiability and satisfiability modulo theories solvers as symbolic reasoning engines. Importantly, in addition to researching novel theoretical
-
theory, contributing to the understanding and design of novel materials for extreme environments and to improved modelling of nuclear processes. Expected outcomes include validated computational tools, new
-
. Expected Work: The selected candidate will conduct research at the intersection of wireless communications, signal processing, and control theory, aiming to develop cutting-edge algorithms for joint
-
Science, Telecommunications, Applied Mathematics, or related fields; Solid background in probabilistic modeling, Bayesian inference, information theory, and/or machine learning; Experience with signal processing or decision