Sort by
Refine Your Search
-
Listed
-
Country
-
Employer
- Nature Careers
- University of Southern Denmark
- Aalborg University
- Cornell University
- ;
- University of Aveiro
- University of Sheffield
- University of Texas at Austin
- Aalborg Universitet
- CIIMAR - Interdisciplinary Center of Marine and Environmental Research - Uporto
- IRIT, Université de Toulouse
- KINGS COLLEGE LONDON
- Medical Research Council
- North Carolina State University
- Stanford University
- University of Glasgow
- University of Minnesota
- University of Nebraska–Lincoln
- University of Oslo
- XIAN JIAOTONG LIVERPOOL UNIVERSITY (XJTLU)
- Aveiro University
- Carnegie Mellon University
- Cranfield University
- Delft University of Technology (TU Delft)
- Duke University
- Durham University
- Faculty of forestry and wood technology
- Grenoble INP - LCIS
- Gulbenkian Institute for Molecular Medicine
- Imperial College London
- Instituto Português de Oncologia do Porto Francisco Gentil (IPO Porto)
- Jagiellonian University
- King's College London
- Loyola University
- Loyola University Chicago
- NTNU Norwegian University of Science and Technology
- State University of New York University at Albany
- Technical University of Munich
- Texas A&M TVMDL
- Umeå University
- Umeå universitet
- Universidade Católica Portuguesa - Porto
- Universidade de Aveiro
- University of British Columbia
- University of Colorado
- University of Illinois at Urbana Champaign
- University of Luxembourg
- University of Michigan
- University of Nebraska Lincoln
- University of Nevada Las Vegas
- University of Nevada, Reno
- University of New South Wales
- University of Silesia in Katowice
- University of Texas at El Paso
- University of Toronto
- Université de Toulouse
- Washington State University
- 47 more »
- « less
-
Field
-
the Department of Engineering Your profile Education and Scientific Background PhD in Mathematics, Engineering, or a closely related discipline with a focus on modelling, optimization, or data analysis Detailed
-
Validation ; Data Engineering, Science, and Systems ; Distributed Sustainable Software and Systems ; Formal Methods for Security and Privacy ; Foundations for Interacting and Computing Systems ; Human
-
health institutions across Norway. CCN follows the principle of evidence-based education for the training of both future clinical practitioners and researchers. Qualifications Formal requirements A PhD or
-
CIIMAR - Interdisciplinary Center of Marine and Environmental Research - Uporto | Portugal | 9 days ago
techniques. iv) Experience in cyanobacteria culture collections management. v) Knowledge of standard software related to phylogenetic analysis. vi) Excellent scientific and technical writing skills in
-
therefore essential for trustworthy deployment. Current approaches mainly focus on software-level adversarial robustness or high-level fault tolerance. However, few methodologies jointly consider physical
-
Assistant Professor (tenure-track) and Associate Professor (tenured) Positions in Computer Scienc...
for collaboration, personal growth, and mentoring for starting independent research groups. The section’s current research covers a wide range of areas and topics that include symbolic AI and formal methods (logic
-
, threats, and mitigations. Structure assets into a formal ontology usable in software/system engineering tools. Formal Taxonomy of Security Properties Refine high-level security goals into verifiable design
-
/candidatOffres/show/id_offre/133503 Requirements Specific Requirements Master’s students Required skills: machine learning, software engineering, cybersecurity, formal methods Additional Information Work Location
-
Verification and Validation ; Data Engineering, Science, and Systems ; Distributed Sustainable Software and Systems ; Formal Methods for Security and Privacy ; Foundations for Interacting and Computing Systems
-
of Computer Science has the following research groups: Automated System Verification and Validation ; Data Engineering, Science, and Systems ; Distributed Sustainable Software and Systems ; Formal Methods for Security