Sort by
Refine Your Search
-
Listed
-
Country
- Australia
- Germany
- Netherlands
- United Kingdom
- Portugal
- United States
- Canada
- Belgium
- France
- Denmark
- Sweden
- Norway
- New Zealand
- Switzerland
- Spain
- Austria
- Luxembourg
- Italy
- Poland
- Singapore
- Estonia
- Czech
- Ireland
- Romania
- Israel
- Greece
- Croatia
- Finland
- Hong Kong
- Bulgaria
- Europe
- Argentina
- Brasil
- China
- Iceland
- Slovenia
- Worldwide
- Armenia
- Deutschland
- Latvia
- Lithuania
- Nancy - France
- Slovakia
- South Africa
- USA
- 35 more »
- « less
-
Program
-
Employer
- Curtin University
- DAAD
- University of Melbourne
- CNRS
- University of British Columbia
- Nature Careers
- Bowling Green State University
- Technical University of Denmark
- The University of Auckland
- Technical University of Munich
- Forschungszentrum Jülich
- Monash University
- University of Manchester
- University of Groningen
- University of New South Wales
- Queensland University of Technology
- University of Antwerp
- INESC TEC
- Swinburne University of Technology
- Cranfield University
- University of Adelaide
- University of Basel
- University of Luxembourg
- Universidade de Coimbra
- University of Southern Queensland
- ;
- Leibniz
- University of East Anglia
- University of Nottingham
- FEUP
- Ghent University
- Delft University of Technology (TU Delft)
- NTNU - Norwegian University of Science and Technology
- National Research Council Canada
- Charles Sturt University
- La Trobe University
- University of Aveiro
- KU LEUVEN
- Leiden University
- Ludwig-Maximilians-Universität München •
- Radboud University
- UiT The Arctic University of Norway
- Eindhoven University of Technology (TU/e)
- University of Cambridge
- Umeå University
- Utrecht University
- Flinders University
- Massey University
- Murdoch University
- University of Amsterdam (UvA)
- University of Southern Denmark
- ; Swansea University
- Delft University of Technology (TU Delft); Delft
- Delft University of Technology (TU Delft); yesterday published
- INESC ID
- Empa
- University of East Anglia;
- University of Oxford
- VIB
- Vrije Universiteit Brussel
- Maastricht University (UM)
- Tallinn University of Technology
- The University of Manchester
- Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID
- ETH Zürich
- Instituto Superior Técnico
- Instituto de Telecomunicações
- Princeton University
- University of Göttingen •
- University of Twente (UT)
- Fraunhofer-Gesellschaft
- Istituto Nazionale di Fisica Nucleare
- Lincoln University
- Linköping University
- University of Innsbruck
- Newcastle University
- University of Bonn •
- University of Sheffield
- University of Warwick
- Wageningen University & Research
- NTNU Norwegian University of Science and Technology
- SINGAPORE INSTITUTE OF TECHNOLOGY (SIT)
- Swansea University
- University of Amsterdam (UvA); Amsterdam
- University of Porto
- University of Twente
- Wageningen University and Research Center
- CSIRO
- Eindhoven University of Technology (TU/e); Eindhoven
- Heidelberg University
- Instituto Politécnico de Bragança
- University of Oslo
- University of Trás-os-Montes and Alto Douro
- Chalmers University of Technology
- Max Planck Institutes
- Swansea University;
- Swedish University of Agricultural Sciences
- University of Bergen
- University of Twente (UT); Enschede
- University of Vienna
- 90 more »
- « less
-
Field
- Computer Science
- Biology
- Economics
- Medical Sciences
- Engineering
- Science
- Chemistry
- Materials Science
- Linguistics
- Mathematics
- Business
- Arts and Literature
- Education
- Humanities
- Social Sciences
- Environment
- Physics
- Psychology
- Law
- Electrical Engineering
- Earth Sciences
- Philosophy
- Sports and Recreation
- Design
- Statistics
- 15 more »
- « less
-
space explosion involved in complex systems. The aim of this PhD project is to develop distributed supervisory controller synthesis techniques that are scalable to practical systems. Current decomposition
-
application of the approach is limited by the fact that tools for synthesis cannot always deal with the state space explosion involved in complex systems. The aim of this PhD project is to develop distributed
-
Engineering, a 4-years PhD position is available at the Bernoulli Institute for Mathematics, Computer Science and Artificial Intelligence with the topic of formal verification of distributed systems
-
on logic to precisely describe the system in question and check desired properties, with both academia and industry recognising its importance. Distribution is an integral part of innumerous computer systems
-
and Engineering, a 4-years PhD position is available at the Bernoulli Institute for Mathematics, Computer Science and Artificial Intelligence with the topic of formal verification of distributed systems
-
PhD Positions Country Germany Application Deadline 6 Dec 2025 - 00:00 (Europe/Berlin) Type of Contract Temporary Job Status Full-time Is the job funded through the EU Research Framework Programme? Not
-
algorithms * Parallel algorithms and distributed computing * Parameterized complexity and structural graph theory * Random structures and randomized algorithms * Sublinear and streaming algorithms
-
of the Flemish VLAIO Flux50 SBO-project "NudgeFlow: The next generation of residential ventilation - tweaking the natural air flow with distributed components", we are offering a PhD position focused on developing
-
interested in a PhD or postdctoral fellowship in a field related to Computational Fluid Dynamics, please do contact me at b.fraga@bham.ac.uk to prepare your application.
-
We use essential cookies to make sure the site can function. We also use optional cookies for advertising, personalisation of content, usage analysis, and social media. By accepting optional cookies, you consent to the processing of your personal data - including transfers to third parties. Some...