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.
- REQUIMTE - Rede de Quimica e Tecnologia
- Universidade de Aveiro
- University of Bergen
- INESC ID
- Instituto de Ciência e Inovação em Engenharia Mecânica e Engenharia Industrial
- Instituto de Engenharia Mecânica
- Northeastern University
- Politécnico de Leiria
- University of Kansas Medical Center
- Carnegie Mellon University
- Center for Biologics Evaluation and Research (CBER)
- FEUP
- Harvard University
- Instituto Politécnico de Viseu
- Life and Health Sciences Research Institute (ICVS), from the School of Medicine (EM) of the University of Minho
- 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
- CRANFIELD UNIVERSITY
- 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
- NTNU Norwegian University of Science and Technology
- Nanyang Technological University
- Nord University
- 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 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
- Zintellect
- Zukunftskolleg, University of Konstanz
- 51 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
-
, 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
-
people to participate in democratic life by combining formal and non-formal learning with participatory theatre methods. Through co-creative processes, participatory theatre transforms passive observers
-
; mentor students; help maintain verification toolchains and experimental benchmarks; collaborate with sponsors and project partners. Research on formal verification methods for human detection and
-
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
-
machine learning methods for computational materials physics and chemistry. Projects include: The aim is to develop generalized equivariant neural network models NequIP and Allegro for machine learned
-
knowledge/research experience in the following areas: Microbiological monitoring methods for water samples, using both classical microbiology and molecular microbiology approaches (e.g., DNA extraction
-
Center for Biologics Evaluation and Research (CBER) | Silver Spring, Maryland | United States | about 3 hours ago
of drugs used to treat bleeding disorders. (ii) Develops national and international standards and methods for the measurement of the potency of coagulation proteins used as drugs. You will carry out studies