Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- BI Norwegian Business School
- National Research Council Canada
- REQUIMTE - Rede de Quimica e Tecnologia
- Tallinn University of Technology
- Forschungszentrum Jülich
- ; The University of Edinburgh
- Cranfield University
- Delft University of Technology (TU Delft)
- Delft University of Technology (TU Delft); Delft
- Fraunhofer-Gesellschaft
- National Renewable Energy Laboratory NREL
- RPTU University of Kaiserslautern-Landau •
- The University of Edinburgh
- University of Groningen
- CNRS
- Chalmers University of Technology
- Conservatorio di Musica "Santa Cecilia"
- DAAD
- Delft University of Technology (TU Delft); today published
- Delft University of Technology (TU Delft); yesterday published
- Hannover Medical School •
- Inria, the French national research institute for the digital sciences
- Instituto Politécnico de Bragança
- Instituto Superior de Economia e Gestão
- Instituto de Engenharia Mecânica
- Instituto de Telecomunicações
- KU LEUVEN
- Karolinska Institutet, doctoral positions
- Leibniz
- Ludwig-Maximilians-Universität München •
- NOVA.id.FCT- Associação para a Inovação de Desenvolvimento da FCT
- National University of Science and Technology POLITEHNICA Bucharest
- Norwegian University of Life Sciences (NMBU)
- Texas A&M AgriLife
- University of Beira Interior
- University of Cambridge;
- University of Greenwich
- University of Groningen; 26 Sep ’25 published
- University of Porto
- University of Primorska
- University of Southern Denmark
- University of Warwick
- University of Warwick;
- 33 more »
- « less
-
Field
-
the interface between formal verification and automated planning. This is a unique opportunity to contribute to safer, more intelligent systems through a combination of theoretical work and practical
-
interval 08.00 - 16.00 - submission of competition registration files 01.10.2025 - administrative verification and evaluation of files 02.10.2025 - display of administrative verification and file evaluation
-
designed functions; · Analysing code parameters, weight distributions, and dual structures; · Applying computational algebra tools (Magma, SageMath, GAP) for verification and experimentation
-
through simulation Utilize advanced CMOS technology nodes (28nm, 22nm, and below) Automate the design and layouts using Skill programming Develop behavioural models for circuit verification Contribute
-
a strong background in discrete mathematics, algorithms, computational complexity, automata, logic, formal languages, verification, or related topics with undergraduate and/or master’s degrees in
-
these can be accessed without synchronization (by the end of February); - Define a weakest-precondition in the logic for the verification of a core object-calculus with asynchronous tasks, and prove its
-
limitations —driven to explore solutions that go beyond what verification alone can achieve. This PhD project focuses on developing analysis and program repair techniques that enhance software interoperability
-
dissection for parameter verification, and a novel morphometric scaling approach, we will set a new standard for modelling the musculoskeletal system. These next-generation models will allow us to explore how
-
are subject to a criminal history investigation, and employment is contingent upon the institution’s verification of credentials and/or other information required by the institution’s procedures, including
-
Your Job: Conduct the assembly, verification, and calibration of a novel optical instrument in our Cleanroom-5 laboratory at the University of Wuppertal Work with a variety of calibration units