Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Employer
- University of Oslo
- Nature Careers
- Technical University of Denmark
- University of Aveiro
- University of Luxembourg
- University of Glasgow
- California State University, San Bernardino
- KINGS COLLEGE LONDON
- University of Sheffield
- University of Texas at Austin
- Université catholique de Louvain
- Cornell University
- Duke University
- Stanford University
- Umeå University
- University of Bergen
- ;
- Aarhus University
- Aveiro University
- CNRS
- Delft University of Technology (TU Delft)
- IRIT, Université de Toulouse
- King's College London
- Nanyang Technological University
- Northeastern University
- Oak Ridge National Laboratory
- State University of New York University at Albany
- Technical University of Munich
- UiT The Arctic University of Norway
- Universidad de Alicante
- Universidade de Aveiro
- Universidade de Coimbra
- University of British Columbia
- University of Maryland
- Adam Mickiewicz University, Poznań
- Argonne
- CNR
- Canadian Association for Neuroscience
- Carnegie Mellon University
- Centro de Computação Grafica
- Chalmers University of Technology
- Delft University of Technology (TU Delft); Delft
- Delft University of Technology (TU Delft); today published
- Delft University of Technology (TU Delft); yesterday published
- Eindhoven University of Technology (TU/e)
- Eindhoven University of Technology (TU/e); yesterday published
- Faculdade de Ciências e Tecnologia
- Faculdade de Medicina da Universidade do Porto
- Faculty of Sciences of the University of Porto
- Faculty of forestry and wood technology
- Gulbenkian Institute for Molecular Medicine
- Heriot Watt University
- INESC ID
- Imperial College London
- Institute of Public Health University of Porto
- Institute of Systems and Robotics-Faculty of Sciences and Technology of the University of Coimbra
- Instituto Superior de Engenharia do Porto
- Instituto de Ciência e Inovação em Engenharia Mecânica e Engenharia Industrial
- Leibniz
- Linköpings universitet
- Ludwig-Maximilians-Universität München •
- Medical Research Council
- NEW YORK UNIVERSITY ABU DHABI
- NORCE
- North Carolina State University
- Nova School of Business and Economics
- Texas A&M TVMDL
- The Open Universiteit (OU)
- The Open Universiteit (OU); today published
- The University of Chicago
- Télécom Paris
- UNIVERSIDADE DE ÉVORA
- UNIVERSITY OF SYDNEY
- Umeå universitet
- University of Birmingham
- University of California, Berkeley
- University of Cambridge
- University of Colorado
- University of Iceland
- University of Kansas Medical Center
- University of Minnesota
- University of Nebraska–Lincoln
- University of Nevada, Reno
- University of Newcastle
- University of Porto
- University of Salford;
- University of Southern Denmark
- University of Sydney
- University of Texas at El Paso
- Università degli Studi di Trieste
- Université de Toulouse
- VIB
- Washington State University
- Western Norway University of Applied Sciences
- 84 more »
- « less
-
Field
-
about tackling both deep research challenges and real-world software problems, this project is for you. Seeking a PhD student who values the strengths of formal reasoning while recognizing its current
-
strong expertise in the application of artificial intelligence for cybersecurity (prof. dr. Harald Vranken and dr. Mina Sheikhalishahi) as well as formal methods and software testing (prof. dr. Tanja Vos
-
. dr. Harald Vranken and dr. Mina Sheikhalishahi) as well as formal methods and software testing (prof. dr. Tanja Vos and dr. Tim Steenvoorden). The PhD project will be carried out in close cooperation
-
/ 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
-
models in the form of prototypical software. About the position The position provides you with the opportunity to pursue PhD studies in Computing Science for four years, with the goal of achieving
-
of the research are: AI-assisted Bond Issuance, Causal Methods for Enhanced Market Intelligence, Automated Market Research Summaries via RAG-enabled AI. Successful PhD candidates will extensively explore and
-
must enrol in the PhD programme in Computer Science: Software Engineering, Sensor Networks and Engineering Computing at Western Norway University of Applied Sciences, and must meet the formal admission
-
, 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
-
methods. The successful Research Assistant will support the team and develop and conduct a PhD project within the remit of the workstream. Research priorities and questions will be co-produced with the NHS