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
- 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
- 50 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
-
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
-
national and international standards and methods for the measurement of the potency of coagulation proteins used as drugs. You will carry out studies on human and mouse blood plasma supplemented with