Sort by
Refine Your Search
-
part of the Software Technology group . Research in this group focuses on using and improving functional programming languages such as Haskell and Agda, in particular for parallel computing, software
-
whenever needed. An important additional aspect of this project is the creation of samples with defined microstructures to validate the results of parallel PhD projects on modelling. The successful candidate
-
parallel, it produces new, high-resolution computer models of the warm Last Interglacial period. Finally, PAST creates new knowledge by synthesising these two approaches through advanced statistics. This PhD
-
through participatory design sessions with nurses, integrating the computational models (developed by another PhD candidate working in parallel on sound modelling) with user experience requirements, while
-
on cell-state diversity within tumours. In parallel, you will collaborate closely with a postdoctoral researcher to develop and apply novel proximity-labelling strategies to chart dynamic protein–protein
-
techniques); giving mathematical proofs of their correctness and efficiency; building state-of-the-art implementations of these new techniques (e.g., by leveraging data-parallel functional array programming
-
answer such questions, you will conduct archival research in several relevant cities while also comparing your findings to contemporary governance practices. To investigate parallels between past and
-
technology. Your main focus will be the improvement and development of solid electrolytes to achieve better (electro)chemical stability with silicon anodes. In parallel, you will investigate strategies