Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Employer
- University of Oslo
- Aarhus University
- University of Manchester
- University of Luxembourg
- Technical University of Munich
- University of Texas at Austin
- Universidade de Coimbra
- University of Twente (UT)
- University of Glasgow
- BI Norwegian Business School
- Birkbeck University of London
- Cornell University
- University of Nevada Las Vegas
- Aalborg University
- Indiana University
- NTNU - Norwegian University of Science and Technology
- University of Kansas Medical Center
- University of Porto
- University of Sheffield
- University of Birmingham
- University of Colorado
- University of Michigan
- University of Warwick
- AGH University of Krakow
- Faculty of Sciences of the University of Porto
- KU LEUVEN
- NEW YORK UNIVERSITY ABU DHABI
- Nanyang Technological University
- Nova School of Business and Economics
- Universidade da Madeira
- University of Amsterdam (UvA)
- University of British Columbia
- University of Nottingham
- University of Texas at El Paso
- Argonne
- California State University, San Bernardino
- Chalmers University of Technology
- Duke University
- EPFL
- INESC ID
- Imperial College London
- Instituto Politécnico de Bragança
- McGill University
- Northeastern University
- Stanford University
- UNIVERSIDADE DE ÉVORA
- University of Bergen
- University of California, San Diego
- University of Kansas
- University of Maryland, Baltimore
- University of Minho
- University of Minnesota
- University of Münster •
- Universty of Aveiro
- jobs.ac.uk
- Adam Mickiewicz University
- Birkbeck, University of London;
- Carnegie Mellon University
- Delft University of Technology (TU Delft)
- Durham University
- Eindhoven University of Technology (TU/e)
- FEUP
- Hanken School of Economics
- Harvard University
- Hungarian Research Network
- Imperial College London;
- Instituto Português de Oncologia do Porto Francisco Gentil (IPO Porto)
- Instituto Superior de Engenharia do Porto
- Jagiellonian University
- King's College London;
- Luxembourg Institute of Science and Technology (LIST)
- Maastricht University (UM)
- Malopolska Centre of Biotechnology
- Monash University
- NOVA.id.FCT- Associação para a Inovação de Desenvolvimento da FCT
- Newcastle University
- Oak Ridge National Laboratory
- SUNY University at Buffalo
- Texas A&M University
- The California State University
- The Norwegian School of Sport Sciences
- The University of Alabama
- The University of Arizona
- Tilburg University
- UNIVERSITY OF HELSINKI
- University of Aveiro
- University of Bristol
- University of Copenhagen
- University of Lund
- University of Oregon
- University of Ottawa, Ontario CANADA
- University of Oxford
- University of South-Eastern Norway
- University of Southern California
- University of Toronto
- University of Utah
- University of Vermont
- University of Warsaw
- Warsaw University of Technology
- Western Norway University of Applied Sciences
- 90 more »
- « less
-
Field
- Computer Science
- Economics
- Medical Sciences
- Biology
- Science
- Chemistry
- Engineering
- Mathematics
- Materials Science
- Social Sciences
- Linguistics
- Arts and Literature
- Education
- Business
- Psychology
- Humanities
- Law
- Earth Sciences
- Environment
- Design
- Electrical Engineering
- Sports and Recreation
- Statistics
- 13 more »
- « less
-
Department of Computer Science The Department of Computer Science at Vrije Universiteit Amsterdam is an internationally recognised centre of excellence, advancing the full spectrum of Computer Science in both research and education. It comprises approximately 230 staff members and is organised...
-
are looking for a motivated and talented PhD candidate to join a unique interdisciplinary project at the intersection of machine learning and formal methods. Information Machine learning models deployed in real
-
English English PhD Research Fellow in Formal Methods and Knowledge Representation for Engineering Information Apply for this job See advertisement About the position We invite applications for a PhD
-
. You should demonstrate: Essential Criteria: PhD in computer science or a closely related field, in formal verification, software testing, programming languages, or AI agents Strong programming skills in
-
combination of qualitative, quantitative and analytical methods. Two PhD candidates will join the research team and contribute to the broader Australian Research Council Future Fellowship project while
-
, numerical systems designs. The project builds on complementary developments from both teams: TRAITOR for experimental fault injection and µArchiFI for formal securi Applicants should hold a PhD in computer
-
trustworthiness of news in the media and forensic processes in criminal investigations. Therefore, development of reliable methods to detect manipulations and distinguish bonafide from synthesised data is of utmost
-
candidates working in formal methods and/or computer systems with interests in one or more of the following areas: machine-checked verification of systems software, GPU kernel semantics and verification, and
-
well as to develop entirely new methods in study of low-dimensional higher category theory. Responsibilities and (foreseen) tasks: The student’s primary responsibility is research on this PhD project. The student may
-
, formal methods, and/or networking, with interests in one or more of the following areas: NetKAT and its extensions, symbolic automata, routing algebras, packet scheduling, and AI-based cybersecurity. Main