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
- Zintellect
- Associação Universidade-Empresa para o Desenvolvimento - TecMinho
- 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
- Carnegie Mellon 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
- UiT The Arctic University of Norway
- 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)
- 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
-
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
-
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
-
research projects exploring how social contexts and experiences of marginalization influence development, family processes, and health. Ideal candidates will have knowledge of advanced quantitative methods
-
, Pennsylvania 15237, United States of America [map ] Subject Areas: Mathematics; Formal Methods; AI Appl Deadline: (posted 2026/01/15 05:00 AM UnitedKingdomTime, listed until 2026/07/16 04:59 AM UnitedKingdomTime