-
apply operando methods for studies of zinc-based batteries, mainly rechargeable zinc-air batteries. A combination of diffraction and tomography will be applied, using in-house facilities as
-
degrees in either the natural sciences (chemistry, physics, mathematical/computational biology) or in the formal sciences (statistics, computer science, mathematics), but must have a serious interest in
-
processing power of a novel photonic integrated circuit architecture [Heuck2023]. This includes studying the effects of optical loss and decoherence and methods to overcome these by error detection and
Searches related to formal methods
Enter an email to receive alerts for formal-methods positions