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.
- Nord University
- REQUIMTE - Rede de Quimica e Tecnologia
- Universidade de Aveiro
- University of Bergen
- INESC ID
- Instituto Politécnico de Viseu
- 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
- Associação Universidade-Empresa para o Desenvolvimento - TecMinho
- Carnegie Mellon University
- Center for Biologics Evaluation and Research (CBER)
- FEUP
- Harvard University
- 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
- 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
- CRANFIELD UNIVERSITY
- 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
- NTNU - Norwegian University of Science and Technology
- NTNU Norwegian University of Science and Technology
- Nanyang Technological 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)
- 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
-
; 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
-
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
-
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
-
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
-
involves formalization in type theory and the mechanization of results using interactive theorem provers. The project welcomes a broad range of perspectives across functional-imperative programming