Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Employer
- Aarhus University
- University of Oslo
- University of Luxembourg
- University of Manchester
- Universidade de Coimbra
- University of Texas at Austin
- Technical University of Munich
- University of Glasgow
- University of Kansas Medical Center
- University of Nevada Las Vegas
- University of Porto
- University of South-Eastern Norway
- Aalborg University
- Cornell University
- NTNU - Norwegian University of Science and Technology
- Nanyang Technological University
- University of Sheffield
- University of Twente (UT)
- AGH University of Krakow
- Birkbeck University of London
- Indiana University
- University of Amsterdam (UvA)
- University of Colorado
- University of Warwick
- Universty of Aveiro
- Cardinal Stefan Wyszynski University in Warsaw
- Delft University of Technology (TU Delft)
- Durham University
- FEUP
- INESC ID
- Imperial College London
- KU LEUVEN
- Luxembourg Institute of Science and Technology
- NEW YORK UNIVERSITY ABU DHABI
- NTNU Norwegian University of Science and Technology
- Nova School of Business and Economics
- Texas A&M University
- UNIVERSIDADE DE ÉVORA
- Universidade da Madeira
- University of Aveiro
- University of Bergen
- University of British Columbia
- University of Copenhagen
- University of Kansas
- University of Maryland, Baltimore
- University of Michigan
- University of Nottingham
- University of Texas at El Paso
- Aarhus University (AU)
- Argonne
- Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID
- California State University, San Bernardino
- Chalmers University of Technology
- EPFL
- Eindhoven University of Technology (TU/e)
- Faculty of Sciences of the University of Porto
- Hungarian Research Network
- Instituto Politécnico de Bragança
- Instituto de Ciência e Inovação em Engenharia Mecânica e Engenharia Industrial
- Jagiellonian University
- McGill University
- National University of Singapore
- SUNY University at Buffalo
- Stanford University
- University of Birmingham
- University of California, San Diego
- University of Minho
- University of Münster •
- University of Utah
- University of Warsaw: Faculty of Mathematics, Informatics and Mechanics
- jobs.ac.uk
- Adam Mickiewicz University, Poznań
- BI Norwegian Business School
- CNRS
- Carnegie Mellon University
- Hanken School of Economics
- Harvard University
- Heriot Watt University
- Imperial College London;
- Instituto Superior de Engenharia do Porto
- Instituto de Engenharia Mecânica
- King's College London;
- Lublin University of Technology
- Luxembourg Institute of Science and Technology (LIST)
- Malopolska Centre of Biotechnology
- NOVA.id.FCT- Associação para a Inovação de Desenvolvimento da FCT
- New York University
- Northeastern University
- Oak Ridge National Laboratory
- Technical University of Denmark (DTU)
- The Norwegian School of Sport Sciences
- The University of Alabama
- The University of Chicago
- Tilburg University
- Universidade do Minho
- University of Bristol
- University of Florida
- University of Lund
- University of Minnesota
- University of Oregon
- 90 more »
- « less
-
Field
- Computer Science
- Economics
- Medical Sciences
- Biology
- Science
- Engineering
- Mathematics
- Materials Science
- Chemistry
- Social Sciences
- Linguistics
- Psychology
- Arts and Literature
- Business
- Education
- Law
- Humanities
- Earth Sciences
- Electrical Engineering
- Sports and Recreation
- Environment
- Design
- Statistics
- 13 more »
- « less
-
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
-
for 3-year PhD positions in computer science with emphasis on formal methods. Possible topics include (but are not limited to) computational complexity, distributed systems, human factors, logic
-
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
-
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
-
, 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
-
, 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
-
Location: South Kensington Campus About the role: We are looking for motivated individuals to Join the Formal Methods in AI (FMAI) lab at Imperial College London, led by Dr. Francesco Belardinelli
-
for finite element methods, or the AI-assisted discovery of new discretization paradigms for classes of PDEs where standard methods struggle, with their properties then verified formally. You will publish and
-
rigorous quantitative methods and state-of-the-art empirical approaches. Experience with the latest AI methods is desirable and a keen interest to apply economic research to policy questions is advantageous
-
From electric vehicles to grid-scale energy storage, the future of clean energy relies on breakthroughs in battery technology. This PhD will develop cutting-edge terahertz spectroscopy methods