Sort by
Refine Your Search
-
Country
-
Program
-
Employer
- Aarhus University
- University of Oslo
- University of Luxembourg
- Cornell University
- University of Manchester
- University of Kansas Medical Center
- University of South-Eastern Norway
- Durham University
- EPFL
- Imperial College London
- Indiana University
- Instituto de Ciência e Inovação em Engenharia Mecânica e Engenharia Industrial
- NEW YORK UNIVERSITY ABU DHABI
- Nanyang Technological University
- Stanford University
- University of Minho
- University of Nevada Las Vegas
- Argonne
- Chalmers University of Technology
- FEUP
- Hanken School of Economics
- National University of Singapore
- The University of Alabama
- Tilburg University
- UCL;
- Universidade de Coimbra
- Universidade do Minho
- University of Glasgow
- University of Nottingham
- University of Porto
- University of Sheffield
- University of Texas at Austin
- University of Twente (UT)
- AGH University of Krakow
- ASSOCIAÇÃO BIOPOLIS
- Aalborg University
- Aix-Marseille Université
- Birkbeck University of London
- Bournemouth University;
- CNRS
- Delft University of Technology (TU Delft)
- Duke University
- Fields Institute
- Hanyang University
- Harvard University
- INESC ID
- Imperial College London;
- Instituto de Educação da Universidade de Lisboa
- Instituto de Tecnologia Química e Biológica António Xavier ITQB NOVA
- International Iberian Nanotechnology Laboratory (INL)
- Itä-Suomen yliopisto
- Jagiellonian University
- KTH Royal Institute of Technology
- KU LEUVEN
- Karolinska Institutet (KI)
- NOVA.id.FCT- Associação para a Inovação de Desenvolvimento da FCT
- National Aeronautics and Space Administration (NASA)
- New York University
- Nord University
- Northeastern University
- Nova School of Business and Economics
- Politécnico de Leiria
- Queen's University Belfast
- REQUIMTE - Rede de Quimica e Tecnologia
- Ryerson University
- Texas A&M University
- The University of South Dakota
- UNIVERSIDAD DE LAS PALMAS DE GRAN CANARIA
- Umeå University
- Universidade Nova de Lisboa
- Universidade de Leiria e Oeste
- University of A Coruña
- University of Agder (UiA)
- University of Aveiro
- University of Beira Interior
- University of Bergen
- University of Birmingham
- University of Bristol
- University of Colorado
- University of Florida
- University of Jyväskylä
- University of Kansas
- University of London
- University of Maryland, Baltimore
- University of Michigan
- University of Minnesota
- University of North Texas at Dallas
- University of Oregon
- University of Oxford;
- University of Southampton;
- University of Southern California
- University of Texas at Dallas
- University of Warsaw, Faculty of Biology
- Universität für Bodenkultur
- Virginia Tech
- Warsaw University of Technology
- Wayne State University
- Western Norway University of Applied Sciences
- bicc - Bonn International Centre for Conflict Studies gGmbH
- Łukasiewicz Research Network - Krakow Institute of Technology
- 90 more »
- « less
-
Field
-
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
-
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
-
, Operations Management, Economics, Computer Science, or a related discipline. If the PhD has not been formally awarded before the employment start date, the post holder will be appointed at the Research
-
experience in one or more of the following areas: hybrid systems and/or discrete event systems; systems and control; reachability analysis and/or set-based methods; formal methods; optimisation and
-
PhD will also be considered. Essential Application Strong research expertise in at least one of the following areas: interactive theorem proving / formal verification; information-flow security
-
completing a PhD will also be considered. Essential Application Strong research expertise in at least one of the following areas: interactive theorem proving / formal verification; information-flow security
-
wall. The senior postdoctoral assistant will also assist another postdoctoral researcher in the day-to-day supervisorial activities for Eichhorn’s wider group of diverse PhD and MSc students, including
-
these people live. Basic Qualifications The postdoctoral fellow position requires a PhD in environmental health, environmental engineering, environmental science, microbiology, or a related scientific field by