Sort by
Refine Your Search
-
Listed
-
Country
-
Program
-
Employer
- Technical University of Denmark
- University of Aveiro
- Nature Careers
- University of Oslo
- University of Luxembourg
- REQUIMTE - Rede de Quimica e Tecnologia
- Universidade Nova de Lisboa
- FEUP
- LNEC, I.P.
- NOVA.id.FCT- Associação para a Inovação de Desenvolvimento da FCT
- Universidade de Aveiro
- Aarhus University
- Faculty of Sciences of the University of Porto
- University of Minho
- Adam Mickiewicz University, Poznań
- CNRS
- NEW YORK UNIVERSITY ABU DHABI
- University of Bergen
- University of Houston
- University of Kansas Medical Center
- Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID
- Faculdade de Ciências Sociais e Humanas
- Instituto Politécnico de Viseu
- MASARYK UNIVERSITY
- NOVA School of Science and Technology | FCT NOVA
- Northeastern University
- Oak Ridge National Laboratory
- Politécnico de Leiria
- UiT The Arctic University of Norway
- Universidade de Coimbra
- Universty of Aveiro
- Associação Universidade-Empresa para o Desenvolvimento - TecMinho
- CIIMAR - Interdisciplinary Center of Marine and Environmental Research - Uporto
- Cornell University
- INESC ID
- Imperial College London
- Institute of Biochemistry and Biophysics Polish Academy of Sciences
- Instituto de Engenharia Mecânica
- Lodz University of Technology
- Masaryk University - Faculty of Arts
- National University of Singapore
- Nord University
- Oregon State University
- Universidade Católica Portuguesa - Porto
- University of Minnesota
- University of Oregon
- University of Texas at Austin
- University of Turku
- University of Warsaw
- University of Washington
- AGH University of Krakow
- AI4I
- Adam Mickiewicz University
- Aix-Marseille Université
- Alpen-Adria-Universität Klagenfurt
- Aridditive
- CENTER FOR TEXTILE SCIENCE AND TECHNOLOGY
- Carnegie Mellon University
- Centro de Biotecnologia Agrícola e Agro-Alimentar do Alentejo
- Duke University
- FCiências.ID
- Faculdade de Ciências Médicas|NOVA Medical School da Universidade NOVA de Lisboa.
- Fondazione Bruno Kessler
- Gulbenkian Institute for Molecular Medicine
- Hong Kong Polytechnic University
- IBMC
- ICETA - Instituto de Ciências, Tecnologias e Agroambiente da Universidade do Porto
- IMT Mines Ales
- INSTITUT MAX VON LAUE - PAUL LANGEVIN
- Idiap Research Institute
- Inria, the French national research institute for the digital sciences
- Institute of Physics, Zagreb
- Instituto Português de Oncologia do Porto Francisco Gentil (IPO Porto)
- Instituto de Educação da Universidade de Lisboa
- Instituto de Saúde Pública da Universidade do Porto
- International Iberian Nanotechnology Laboratory (INL)
- Itä-Suomen yliopisto
- Jagiellonian University
- Jagiellonian University Faculty of Philosophy
- Japan Advanced Institute of Science and Technology
- Kyoto University
- Lehigh University
- Life and Health Sciences Research Institute (ICVS), from the School of Medicine (EM) of the University of Minho
- Lunds universitet
- Luxembourg Institute of Science and Technology
- Maj Institute of Pharmacology Polish Academy of Sciences
- Medical University of Gdańsk
- Michigan State University
- Military University of Technology - Wojskowa Akademia Techniczna
- Nencki Institute of Experimental Biology
- New York University in Abu Dhabi
- New York University of Abu Dhabi
- Nova School of Business and Economics
- OsloMet - storbyuniversitetet
- OsloMet – Oslo Metropolitan University
- Rochester Institute of Technology
- SWPS University
- SciLifeLab
- Stanford University
- Tampere University
- 90 more »
- « less
-
Field
-
://www.jobbnorge.no/en/available-jobs/job/294536/phd-research-fellow-in-formal-methods-for-industrial-engineering Where to apply Website https://www.jobbnorge.no/en/available-jobs/job/294536/phd-research-fellow-in-fo
-
the research project “Formal Methods and Verification Tools for Next-generation Automotive System Platforms” supported by CREST, Japan Science and Technology Agency. https://www.jaist.ac.jp/project/crest_fmap/en
-
, 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
-
the Human Resources area at https://www.ua.pt/en/sgrh/pessoal-investigador-novos-concursos-e-ofertas . 2.4.3 — When formalizing the application, if a classified document is submitted that reveals a commercial
-
general supervision conferring with higher levels only in unusual situations. 8. Performs other job-related duties as required. Responsibilities will include: Pursue research on finite element methods
-
contract may not be renewed. Applications must be formally submitted by email and must include identification and contact details, together with the following documents: (1) Curriculum Vitae; (2) cover
-
related to staff position within a Research Infrastructure? No Offer Description The Neuro-Symbolic AI Group at the IDIAP Research Institute operates at the interface between neural and symbolic AI methods
-
dynamics in complex, large-scale project systems develop formal, computational, or simulation-based models to study how decisions, incentives, feedback, and learning evolve over time in megaproject
-
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
-
the Competition and Job Offers of the Human Resources area at https://www.ua.pt/en/sgrh/pessoal-investigador-novos-concursos-e-ofertas . 2.4.3 — When formalizing the application, if a classified document is