6 formal-method-phd PhD scholarships in Denmark

PhD Position in Algorithmic Cheminformatics

Nature Careers | Odense C, Region Syddanmark | Denmark | 2 months ago

for use in health science. The goal of this PhD project is to expand on these computational methods and their formal foundations and to create efficient algorithms and implementations of them. We

PhD Position in Algorithmic Cheminformatics

University of Southern Denmark | Denmark | 2 months ago

for use in health science. The goal of this PhD project is to expand on these computational methods and their formal foundations and to create efficient algorithms and implementations of them. We

PhD scholarship in multiscale operando characterization of operating zinc-based batteries - DTU Energy

Danmarks Tekniske Universitet | Denmark | about 1 month ago

of the PhD project is to develop and 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

PhD scholarship in multiscale operando characterization of operating zinc-based batteries - DTU Energy PhD Position in Algorithmic Cheminformatics

University of Southern Denmark | Denmark | about 2 months ago

, ultimately for use in health science. The goal of this PhD project is to expand on these computational methods and their formal foundations and to create efficient algorithms and implementations of them. We