-
/ 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
-
contact both, and Your profile PhD in Information Systems, Computer/Data Science, Software Engineering, Applied Mathematics, or a related field Experience in publishing high-quality research, as
-
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