Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Fondazione Bruno Kessler
- Fundació Hospital Universitari Vall d'Hebron- Institut de recerca
- Graz University of Technology
- CNRS
- Hanken School of Economics
- Instituto Politécnico de Bragança
- Karolinska Institutet, doctoral positions
- RPTU University Kaiserslautern-Landau •
- Aalborg University
- Academia Națională de Informații „Mihai Viteazul”
- Centro de Investigaciones sobre Desertificación (CIDE, CSIC-UV-GVA)
- Cleveland State University
- Eindhoven University of Technology (TU/e)
- Hannover Medical School •
- 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
- Politecnico di Milano
- Politehnica University of Timisoara
- REQUIMTE - Rede de Quimica e Tecnologia
- Saarland University
- SciLifeLab
- Silesian University of Technology
- Tilburg University
- University of Bergen
- University of Newcastle
- University of Oldenburg
- University of West Bohemia
- University of Zurich
- Wageningen University & Research
- 22 more »
- « less
-
Field
-
Website https://phd.fbk.eu/calls/detail/formal-verification-of-configurable-safety-crit… Requirements Research FieldOtherEducation LevelMaster Degree or equivalent Additional Information Work Location(s
-
; • mathematical modelling, development of FEM models (preferably using Ansys), and simulations, particularly in the areas of electromagnetics, power losses, etc.; evaluation, verification, and optimization
-
: Statute of the Scientific Research Grant Holder, approved by Law No. 40/2004, of August 18, in its current wording; FCT, I.P. Research Grant Regulations, in force (https://www.fct.pt/wp-content/uploads/2026
-
Job related to staff position within a Research Infrastructure? No Offer Description Techniques based on formal methods for the verification and validation of embedded and safety-critical systems
-
, scientific conferences and other scientific events. Contribute to the preparation of scientific manuscripts and research publications. Where to apply Website https://jobs.vhir.org/jobs/8357465-predoctoral
-
Network ReDiLEEP (https://redileep.eu/ ). ReDiLEEP brings together leading universities, research institutes, and non-academic partners across Europe and beyond to advance response diversity research and
-
the formal admission requirements for PhD studies: https://www.hanken.fi/en/apply/application/phd-programme/attachments . A Master’s degree is required. Please ensure that all required attachments
-
and research, in and 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
-
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
-
. 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