Sort by
Refine Your Search
-
on recent advances in Higher-Order Mathematical Operational Semantics, a pivotal generalization of Turi and Plotkin's seminal approach to structural operational semantics. We seek an apt and motivated PhD
-
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 Department of Electronic Systems at the Technical Faculty of IT and Design invites applications for one or more PhD stipends in the field of 6G wireless communication systems: intelligence
-
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
-
, control theory. Excellent spoken and written communication skills in English are expected. Application An application must contain: 1. A cover letter of max. 2 pages (excl. references), including (i
-
on recent advances in Higher-Order Mathematical Operational Semantics, a pivotal generalization of Turi and Plotkin's seminal approach to structural operational semantics. We seek an apt and motivated PhD
-
) 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
-
simulation/theory of 2D materials and devices, within electronics, photonics and mass transport. Biophysics and Fluids with a focus on fluid and soft-matter dynamics on small length scales, often with life
-
of fifteen (15) 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
-
interdisciplinary competences in: communication theory, networking, information theory, physics, mathematics, computer science, and statistics. This PhD project falls under Research Thrust RT3 on representation