-
methods to predict the origin and dispersal patterns of genomic sequences, with applications ranging from biogeographical mapping to paleogenetic reconstructions. The candidate will work jointly with Dr
-
different data processing and analysis methods relevant to time-resolved crystallography. This will involve working with automatic data processing pipelines as well as implementing and/or developing post
Searches related to formal methods
Enter an email to receive alerts for formal-methods positions