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
- 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
- University of Bergen
- University of Kansas Medical Center
- 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
- Politécnico de Leiria
- University of Birmingham
- University of British Columbia
- University of Canterbury
- 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
- Imperial College London
- 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 South-Eastern Norway
- 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
-
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
-
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
-
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
-
, 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
-
Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID | Portugal | 24 days ago
challenges, requiring the design of specialized methods. This grant will support the development of continual learning methods in multimodal scenarios for healthcare. Duration: The research fellowship will
-
directly by FCT, I.P. in the Country (https://www.fct.pt/wp-content/uploads/2026/03/Tabela-de-Valores-SMM-2026.pdf ) and will be paid by bank transfer. Selection methods: The selection methods to be used