Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- National Research Council Canada
- BI Norwegian Business School
- Fundació Hospital Universitari Vall d'Hebron- Institut de recerca
- Graz University of Technology
- Eindhoven University of Technology (TU/e)
- Fondazione Bruno Kessler
- 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
- AALTO UNIVERSITY
- Aalborg University
- Aarhus University
- Academia Națională de Informații „Mihai Viteazul”
- CNRS
- Centro de Investigaciones sobre Desertificación (CIDE, CSIC-UV-GVA)
- Cleveland State University
- Constructor Knowledge Labs gGmbH
- Delft University of Technology (TU Delft)
- Fraunhofer-Gesellschaft
- Hannover Medical School •
- Heidelberg University
- 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
- Silesian University of Technology
- Technical University of Munich
- Technische Universität Chemnitz
- 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
- 38 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
-
. The postdoctoral fellow will conduct research on Algorithmic Verification of Concurrent Systems within the Programming Languages, Logic, and Software Security Research Group at Aarhus University. The focus
-
Performing security verification This website uses a security service to protect against malicious bots. This page is displayed while the website verifies you are not a bot. Verification successful
-
; • mathematical modelling, development of FEM models (preferably using Ansys), and simulations, particularly in the areas of electromagnetics, power losses, etc.; evaluation, verification, and optimization
-
verification document. Applicants who do not hold a qualifying master's degree from a Nordic institution and whose qualifying degree was not taught in English must normally document English proficiency through
-
of these courses for the BI PhD programme at BI Norwegian Business School. A complete list of publications and other documented relevant activities, where applicable. Signed verification document. Applicants who do
-
of these courses for the BI PhD programme at BI Norwegian Business School. A complete list of publications and other documented relevant activities, where applicable. Signed verification document. Applicants who do
-
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
-
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
-
verification of this condition being mandatory during the contracting phase of the grant. Academic degrees obtained in foreign countries need recognition by a Portuguese Institution in accordance with Decree-Law