Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- National Research Council Canada
- Fondazione Bruno Kessler
- Fundació Hospital Universitari Vall d'Hebron- Institut de recerca
- Graz University of Technology
- CNRS
- Eindhoven University of Technology (TU/e)
- Hanken School of Economics
- Instituto Politécnico de Bragança
- Karolinska Institutet, doctoral positions
- NTNU - Norwegian University of Science and Technology
- RPTU University Kaiserslautern-Landau •
- SciLifeLab
- Tilburg University
- Aalborg University
- Aarhus University
- Academia Națională de Informații „Mihai Viteazul”
- Centro de Investigaciones sobre Desertificación (CIDE, CSIC-UV-GVA)
- Cleveland State University
- Delft University of Technology (TU Delft)
- Fraunhofer-Gesellschaft
- Hannover Medical School •
- Heidelberg University
- Institute of Bioorganic Chemistry Polish Academy of Sciences
- Institute of Human Genetics of the Polish Academy of Sciences
- Instituto de Telecomunicações
- Lulea University of Technology
- NTNU Norwegian University of Science and Technology
- Oak Ridge National Laboratory
- Politecnico di Milano
- Politehnica University of Timisoara
- REQUIMTE - Rede de Quimica e Tecnologia
- Saarland University
- Technical University of Munich
- The University of Newcastle
- The University of Queensland
- University of Bergen
- University of East Anglia
- University of East Anglia;
- University of New South Wales
- University of Newcastle
- University of Oldenburg
- University of West Bohemia
- University of Zurich
- Wageningen University & Research
- 34 more »
- « less
-
Field
-
outside academia. The Software Engineering group conducts research in a wide range of topics related to design, development, verification, and operation of complex software systems, including emerging
-
control applications? In this PhD project, you will develop methods for the analysis, verification, and design of neural-network-based controllers. Rather than treating safety and stability as properties
-
modelling of MT, CSEM and gravity or magnetic data from targeted areas to characterise potential natural hydrogen production systems; - perform model verification and selection of sites with optimum potential
-
to teaching, supervision and administrative tasks at the Department. The PhD project is situated within the research area of logics for multi-agent systems, and their applications to formal verification
-
. This PhD project aims to advance monitoring, reporting, verification (MRV) systems and mitigation strategies for reducing agricultural GHG emissions by systematically evaluating and improving the accuracy
-
employment: Expected starting date is 01 March 2027, subject to final MSCA eligibility verification, doctoral programme enrolment, and completion of administrative onboarding. Where to apply E-mail fradebel
-
creativity to solve research problems. Experience of: mixed-signal integrated-circuit design, simulation or verification ASIC design flows, EDA tools and IC tapeout digital hardware design, including RTL
-
experience is defined as three (3) to five (5) years of experience. Condition of employment Reliability Status For a Reliability Status, verification of background information over a period of 5 years is
-
of experience. *** Significant experience is defined as three (3) to five (5) years of experience. Condition of employment Reliability Status For a Reliability Status, verification of background information over
-
verification effort. This foundational work will be a landmark achievement in the digital formalisation of contemporary mathematics. Entry Requirements The minimum entry requirements are a 2:1 Bachelor's degree