Sort by
Refine Your Search
-
will include the development of language features and formal semantics for programming and modeling distributed quantum systems, enabling correct composition, communication, and verification of quantum
-
will include the development of language features and formal semantics for programming and modeling distributed quantum systems, enabling correct composition, communication, and verification of quantum
-
biochemical flux and pathway regulation. The RIBOTICS project involves a team of 3 postdocs and 3 PhD students, who will work on design, characterization, and experimental verification of several RNA systems
-
biochemical flux and pathway regulation. The RIBOTICS project involves a team of 3 postdocs and 3 PhD students, who will work on design, characterization, and experimental verification of several RNA systems
-
biochemical flux and pathway regulation. The RIBOTICS project involves a team of 3 postdocs and 3 PhD students, who will work on design, characterization, and experimental verification of several RNA systems
-
. We advance and apply research techniques from the following areas: Formal methods (e.g. programming languages, formal modelling, formal verification) Process science (e.g. process mining, BPM) and our
-
, emerging technologies (e.g., AI and blockchain), human aspects of security (including cyber-psychology and sociological factors), cyber-defense, privacy and privacy enhancing technologies, formal
-
experimental verification of several RNA systems that can regulate gene expression, control enzyme proximity, sense product yields, and do molecular computations for feedback control. The successful candidate
-
a team of 3 postdocs and 3 PhD students, who will work on design, characterization, and experimental verification of several RNA systems that can regulate gene expression, control enzyme proximity
-
a team of 3 postdocs and 3 PhD students, who will work on design, characterization, and experimental verification of several RNA systems that can regulate gene expression, control enzyme proximity