Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
-
Field
-
fundamental and applied research within verification and model checking, embedded and cyber-physical systems, data-intensive systems, AI, planning, networks, programming theory, and security. Applications span
-
the fields of control theory, artificial intelligence, and robotics. You will work alongside leading experts in the field, collaborate with national and international partners, and access state-of-the-art
-
, games and synthesis, machine learning, logic-oriented artificial intelligence, tool development and implementation, as well as applications of the above to complex systems. Outstanding spoken and written
-
candidate, who will contribute to the development and implementation of the theory, and to applications in secure compilation. Further details on the planned research are summarized in the technical part of
-
quantum systems and quantum networking theory. Experience with numerical modeling of open photonic quantum systems. Experience with scientific computing using Python and/or Julia. Desired qualifications
-
wireless systems. This includes emerging 6G technologies, but also more general problems in communication theory. The group's research activities are organized in focused subgroups covering topics such as
-
digitalization and a keen interest in pushing the theories of Information Systems are a requirement for this scholarship. Domain knowledge of financial services, strategy, organization, and innovation will be
-
. The ideal candidate will have some of the following skills such as: Robotics and control: Solid understanding of control theory and robotic systems. Experience with autonomous navigation, path planning
-
mechanics (nonlinear beam theory, fluid-structure interaction) Desire to develop interdisciplinary expertise across hydrodynamics and structural mechanics. Experience with or willingness to learn: Programming
-
) highly interlinked PhD projects, of which this particular call is for project DC 3: From formal behavioral specifications of chemical systems to their chemical implementation. Systems theory defines a