-
datasets for single nucleotide variants, structural variants, and tandem repeats relevant to FTLD Use cutting-edge bioinformatics software and methods, or develop novel tools when appropriate
-
) Willingness to work in a highly interdisciplinary context and develop a set of interdisciplinary methods (i.e., dealing with both qualitative and quantitative data) Interest in engaging with stakeholders active
-
the following activities: Conduct highly innovative research in the intersection of cybersecurity and safety-critical systems, in dependability methods and solutions and in architectures and systems that support
Searches related to formal methods
Enter an email to receive alerts for formal-methods positions