Sort by
Refine Your Search
-
Listed
-
Country
-
Employer
- University of Nottingham
- University of Bergen
- University of Oslo
- Humboldt-Stiftung Foundation
- Nova School of Business and Economics
- University of Texas at Austin
- Nanyang Technological University
- University of Birmingham
- Durham University
- REQUIMTE - Rede de Quimica e Tecnologia
- The University of Queensland
- University of British Columbia
- University of Kansas Medical Center
- ;
- Faculdade de Ciências Médicas|NOVA Medical School da Universidade NOVA de Lisboa.
- Institute of Systems and Robotics-Faculty of Sciences and Technology of the University of Coimbra
- Instituto Politécnico de Bragança
- Instituto de Ciência e Inovação em Engenharia Mecânica e Engenharia Industrial
- NOVA.id.FCT- Associação para a Inovação de Desenvolvimento da FCT
- National University of Singapore
- Nature Careers
- Northeastern University
- Northumbria University;
- Universidade de Aveiro
- University of Nottingham;
- University of South-Eastern Norway
- Western Norway University of Applied Sciences
- 17 more »
- « less
-
Field
-
JavaScript for all functions to work properly. Please turn on JavaScript in your browser and try again. UiO/Anders Lien 17th August 2025 Languages English English English PhD Research Fellow in Formal Methods
-
number of master’s students. About the PhD project: The PhD positions are part of the project “Physics-Adapted Numerical Methods for Two-Phase Flow” (PANum) funded by the Research Council of Norway
-
mixed-methods approach, including quantitative and qualitative data collection, fidelity assessment, and economic modelling. The Research Fellow will work closely with project partners (i.e. Bolton City
-
submission: The call is open from the 15/09/2025 to 26/09/2025. Documentation to be provided at the time of application: Applications must be formalized by sending the following documents: i) Detailed
-
into products and services for Continental through close collaboration with its business units. Key Responsibilities: Conducting the research in AI domains and formal methods Applying the developed research ideas
-
Instituto de Ciência e Inovação em Engenharia Mecânica e Engenharia Industrial | Portugal | 3 days ago
Mecânica e Engenharia Industrial announces an open call for an open call for a PhD student in the scope of the Programme - COMPETE2030-FEDER-00631200 – 00631200/14617- LMMCODSS - Sistema de Apoio à decisão
-
for constructing correctness proofs, yet the standard symbolic methods face significant limitations in both expressivity and scalability. This project proposes novel techniques for constructing formal proofs
-
with an R&D unit, focused on cross-disciplinary research skills in the areas of food, innovation, and sustainability. Experience in: a) Liquid and solid phase extraction methods for plant metabolites and
-
the provisions of Decree-Law no. 341/2007 of October 12th, and all formalities established therein must be complied with at the signature of Fellowship contract. Working plan: The selected candidate will be
-
Institute of Systems and Robotics-Faculty of Sciences and Technology of the University of Coimbra | Portugal | 4 days ago
of enrollment/signed commitment to enroll in PhD or Non-degree course in Portugal upon start of contract. Recommendation Letter (optional). Deadline for formalizing the application: September 30, 2025. Form