Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Employer
- University of Oslo
- Nature Careers
- Technical University of Denmark
- Aalborg University
- University of Southern Denmark
- ;
- Aalborg Universitet
- Cornell University
- University of Glasgow
- University of Warsaw: Faculty of Mathematics, Informatics and Mechanics
- Duke University
- Instituto de Engenharia Mecânica
- NEW YORK UNIVERSITY ABU DHABI
- NTNU - Norwegian University of Science and Technology
- Oak Ridge National Laboratory
- University of Aveiro
- University of Porto
- University of Texas at Austin
- University of Toronto
- University of Warsaw
- Adam Mickiewicz University, Poznań
- Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID
- CNRS
- Delft University of Technology (TU Delft)
- Durham University
- Faculty of Sciences of the University of Porto
- Linköping University
- Lodz University of Technology
- Medical Research Council
- Military University of Technology - Wojskowa Akademia Techniczna
- Newcastle University
- Technical University of Munich
- University of Antwerp
- 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
- AGH University of Krakow
- ASSOCIACAO ISCTE CONHECIMENTO E INOVACAO - CENTRO DE VALORIZACAO E TRANSFERENCIA DE TECNOLOGIAS
- Aarhus University
- Adam Mickiewicz University
- Aix-Marseille Université
- Argonne
- CIIMAR - Interdisciplinary Center of Marine and Environmental Research - Uporto
- Carnegie Mellon University
- Champalimaud Foundation
- Computer Vision Center (CVC)
- Cranfield University
- FEUP
- Fondazione Bruno Kessler
- IMT Mines Ales
- ISCTE - Instituto Universitário de Lisboa
- Idiap Research Institute
- Imperial College London
- Institute of Public Health University of Porto
- Iowa State University
- KU LEUVEN
- King's College London
- Loyola University
- Lunds universitet
- Luxembourg Institute of Science and Technology
- NTNU Norwegian University of Science and Technology
- Nanyang Technological University
- National Renewable Energy Laboratory NREL
- National University of Singapore
- 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
- Texas A&M TVMDL
- 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
- Universidade Autónoma de Lisboa
- Universidade de Aveiro
- Universitat Autonoma de Barcelona
- University of California Berkeley
- University of Lund
- University of Luxembourg
- University of Michigan
- University of Nebraska Lincoln
- University of Nebraska–Lincoln
- University of Nevada, Reno
- University of New South Wales
- University of Nottingham
- University of Saskatchewan
- University of Stirling
- University of Stirling;
- University of Sussex;
- University of Trás-os-Montes and Alto Douro
- University of Virginia
- Uppsala universitet
- VIB
- Vrije Universiteit Amsterdam (VU)
- Western Norway University of Applied Sciences
- 89 more »
- « less
-
Field
-
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
-
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
-
UiO/Anders Lien 1st March 2026 Languages English English English PhD Research Fellow in Formal Methods for Industrial Engineering Apply for this job See advertisement About the position Position as
-
. This PhD project explores how formal requirements and automated testing can produce clear, traceable, regulator-ready evidence for medical device software certification. Part of the international PlaTFoRm
-
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
-
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
-
translational medicine, improving diagnostics and healthcare solutions. For more information, please visit our page . Your role We are looking for a highly motivated PhD candidate interested in AI-based methods
-
, United States of America [map ] Subject Area: Formal Methods and Machine Learning for Mathematics Appl Deadline: none (posted 2025/10/03 05:00 AM UnitedKingdomTime) Position Description: Apply Position Description
-
skills and knowledge in the use of data analysis software, specifically the STATA software; Proficiency in the English language (spoken and written); PhD in one of the disciplinary areas relevant