-
/ Deep Learning (particularly Computer Vision or 3D perception) Verification & Validation (V&V) of advanced algorithms, software or systems Formal Methods Safety Engineering / Safety-Critical Systems
-
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