Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Employer
- University of Oslo
- Nature Careers
- Technical University of Denmark
- University of Aveiro
- CNRS
- Cornell University
- Linköping University
- University of Porto
- University of Warsaw: Faculty of Mathematics, Informatics and Mechanics
- Aalborg Universitet
- Faculty of Sciences of the University of Porto
- University of Southern Denmark
- Adam Mickiewicz University, Poznań
- Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID
- Duke University
- Instituto de Engenharia Mecânica
- Lodz University of Technology
- Military University of Technology - Wojskowa Akademia Techniczna
- NEW YORK UNIVERSITY ABU DHABI
- Oak Ridge National Laboratory
- Technical University of Munich
- University of Illinois at Urbana Champaign
- University of Minnesota
- University of Nevada Las Vegas
- University of Silesia in Katowice
- University of Texas at El Paso
- University of Warsaw
- AGH University of Krakow
- ASSOCIACAO ISCTE CONHECIMENTO E INOVACAO - CENTRO DE VALORIZACAO E TRANSFERENCIA DE TECNOLOGIAS
- Adam Mickiewicz University
- Aix-Marseille Université
- Carnegie Mellon University
- Champalimaud Foundation
- Delft University of Technology (TU Delft)
- Durham University
- FEUP
- Flow Analysis and simulation Team
- Fondazione Bruno Kessler
- IMT Mines Ales
- ISCTE - Instituto Universitário de Lisboa
- Idiap Research Institute
- Imperial College London
- KU LEUVEN
- Loyola University
- Lunds universitet
- NTNU Norwegian University of Science and Technology
- National Renewable Energy Laboratory NREL
- National University of Singapore
- Newcastle University
- Pennsylvania State University
- REQUIMTE - Rede de Quimica e Tecnologia
- Silesian University of Technology
- State University of New York University at Albany
- Tallinn University of Technology
- The Franciszek Górski Institute of Plant Physiology Polish Academy of Sciences
- The University of Chicago
- Télécom Paris
- UNIVERSIDAD DE LAS PALMAS DE GRAN CANARIA
- UNIVERSITY OF MACEDONIA-RESEARCH COMMITTEE
- Umeå University
- Umeå universitet
- Universidade Autónoma de Lisboa
- University of Antwerp
- University of California Berkeley
- University of Glasgow
- University of Luxembourg
- University of Nebraska Lincoln
- University of Nebraska–Lincoln
- University of Nevada, Reno
- University of New South Wales
- University of Texas at Austin
- University of Toronto
- University of Trás-os-Montes and Alto Douro
- University of Virginia
- Uppsala universitet
- Vrije Universiteit Amsterdam (VU)
- XIAN JIAOTONG LIVERPOOL UNIVERSITY (XJTLU)
- 67 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
-
PhD studentship in Computer Science: From Formal Requirements to Specification-based Automated Testing for Safety-Critical Medical Device Software Certification Award Summary 100% fees covered, and
-
. Research within LIG is organized into 5 focus areas: Intelligent Systems for Bridging Data, Knowledge and Humans, Software and Information System Engineering, Formal Methods, Models, and Languages
-
the formal and functional properties of gestures and their relationship to discourse. - Support for computational modeling: o Contributing to the gesture–speech modeling carried out by Loria, based
-
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
-
Posting Title Undergraduate/Graduate (Summer) Intern - Formal Verification Methods for Cybersecurity . Location CO - Golden . Position Type Intern (Fixed Term) . Hours Per Week 40 . Working at NLR
-
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
-
written English, ability to work both independently and collaboratively. Additional qualifications Experience or coursework in one or more of the following areas is considered an advantage: formal methods
-
, and datasets; often at substantial computational and environmental costs. This PhD project targets sustainable and resource-efficient machine learning with a focus on methods that reduce compute, energy
-
, program synthesis, semantic parsing, tool-augmented/agentic workflows) 2. Symbolic methods (logic/constraints, SAT/SMT, theorem proving, planning) * Strong software engineering skills (typically Python