Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- University of Oslo
- Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID
- University of Texas at Austin
- Universidade Católica Portuguesa - Porto
- LNEC, I.P.
- Politécnico de Leiria
- REQUIMTE - Rede de Quimica e Tecnologia
- INESC ID
- Life and Health Sciences Research Institute (ICVS), from the School of Medicine (EM) of the University of Minho
- NOVA.id.FCT- Associação para a Inovação de Desenvolvimento da FCT
- Universidade de Aveiro
- University of Bergen
- Carnegie Mellon University
- FEUP
- Instituto de Ciência e Inovação em Engenharia Mecânica e Engenharia Industrial
- Instituto de Engenharia Mecânica
- Northeastern University
- Zintellect
- Harvard University
- Instituto Politécnico de Viseu
- Instituto de Educação da Universidade de Lisboa
- National University of Singapore
- Nova School of Business and Economics
- University of Aveiro
- University of Birmingham
- University of British Columbia
- University of Canterbury
- University of Kansas Medical Center
- University of South-Eastern Norway
- University of Stavanger
- Aarhus University
- Associação Universidade-Empresa para o Desenvolvimento - TecMinho
- Charles University, Faculty of Arts
- Duke University
- Faculdade de Ciências Médicas|NOVA Medical School da Universidade NOVA de Lisboa.
- Faculdade de Ciências Sociais e Humanas
- Faculdade de Ciências e Tecnologia
- Fundação Ensino e Cultura Fernando Pessoa
- Max Planck Institute for Comparative Public Law and International Law, Heidelberg
- Missouri University of Science and Technology
- NTNU Norwegian University of Science and Technology
- Nanyang Technological University
- Nord University
- Queen's University Belfast
- Queen's University Belfast;
- The University of Queensland
- The University of Southampton
- Trinity College Dublin
- UNIVERSITY OF SOUTHAMPTON
- Umea University
- Universidade Católica Portuguesa
- Universidade Nova de Lisboa
- University College London
- University of Agder
- University of Inland Norway
- University of London
- University of North Carolina at Charlotte
- University of Stirling;
- University of Turku
- Université Libre de Bruxelles (ULB)
- Western Norway University of Applied Sciences
- Zukunftskolleg, University of Konstanz
- 52 more »
- « less
-
Field
-
functions to work properly. Please turn on JavaScript in your browser and try again. UiO/Anders Lien 1st March 2026 Languages English English English PhD Research Fellow in Formal Methods for Industrial
-
Is the Job related to staff position within a Research Infrastructure? No Offer Description Are you interested in a PhD in the field of formal methods and knowledge presentation? In this PhD position
-
design and implementation, conducting research, analysing data and sharing learning from the project. As such, the Research Fellow should have mixed methods research experience, particularly in conducting
-
design and implementation, conducting research, analysing data and sharing learning from the project. As such, the Research Fellow should have mixed methods research experience, particularly in conducting
-
Work Plan: The selected candidate will join the team of an exploratory project on the detection of microplastics using methods based on delayed fluorescence dyes. The work plan includes: 1. Spectroscopic
-
; mentor students; help maintain verification toolchains and experimental benchmarks; collaborate with sponsors and project partners. Research on formal verification methods for human detection and
-
updates that may occur and are applicable. The fellow may also be reimbursed for the amount corresponding to the Voluntary Social Security, in case of adherence to this plan. 11. Selection methods
-
Work Plan: The selected candidate will join the team of an exploratory project on the detection of microplastics using methods based on delayed fluorescence dyes. The work plan includes: 1. Synthesis and
-
, Computer Engineering, or a related field. Strong background in smart contract security, blockchain systems, or software security. Experience in program analysis, formal methods, or vulnerability detection
-
barriers experienced by disabled people, (2) map and evaluate existing party initiatives and best practices, (3) explore to what extent formal rules and informal norms render parties ableist institutions