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
- 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
- University of Kansas Medical Center
- 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 Birmingham
- University of British Columbia
- University of Canterbury
- 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
- NOVA.id.FCT- Associação para a Inovação de Desenvolvimento da FCT
- 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 Aveiro
- University of Houston
- 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
- 53 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
-
; mentor students; help maintain verification toolchains and experimental benchmarks; collaborate with sponsors and project partners. Research on formal verification methods for human detection 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
-
qualification was awarded by a foreign higher education institution, it must comply with the provisions of Decree-Law No. 66/2018, of August 16, and any formalities established therein must be fulfilled by
-
corresponding to the Voluntary Social Security, in case of adherence to this plan. 11. Selection methods: The selection methods to be used will be the following: Curriculum vitae assessment, with the option
-
; mentor students; help maintain verification toolchains and experimental benchmarks; collaborate with sponsors and project partners. Research on formal verification methods for human detection and