Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Employer
- University of Oslo
- Nature Careers
- University of Southern Denmark
- Aalborg University
- Technical University of Denmark
- ;
- Aalborg Universitet
- NEW YORK UNIVERSITY ABU DHABI
- University of Warsaw
- University of Warsaw: Faculty of Mathematics, Informatics and Mechanics
- Cornell University
- Duke University
- Oak Ridge National Laboratory
- Technical University of Munich
- Universidade de Aveiro
- University of Glasgow
- University of Minnesota
- University of Silesia in Katowice
- University of Texas at Austin
- Adam Mickiewicz University, Poznań
- Aix-Marseille Université
- CIIMAR - Interdisciplinary Center of Marine and Environmental Research - Uporto
- Delft University of Technology (TU Delft)
- Durham University
- Faculdade de Medicina da Universidade do Porto
- Instituto de Engenharia Mecânica
- KU LEUVEN
- Linköping University
- Medical Research Council
- Military University of Technology - Wojskowa Akademia Techniczna
- Newcastle University
- North Carolina State University
- Texas A&M TVMDL
- University of Antwerp
- University of Aveiro
- University of Nebraska–Lincoln
- University of Nevada Las Vegas
- University of Texas at El Paso
- University of Toronto
- VIB
- Western Norway University of Applied Sciences
- XIAN JIAOTONG LIVERPOOL UNIVERSITY (XJTLU)
- AGH University of Krakow
- Argonne
- Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID
- CNRS
- Champalimaud Foundation
- Computer Vision Center (CVC)
- Cranfield University
- Eindhoven University of Technology (TU/e); yesterday published
- Erasmus University Rotterdam
- FEUP
- Faculty of Sciences of the University of Porto
- Fondazione Bruno Kessler
- Grenoble INP - LCIS
- IBMC
- IMT Mines Albi
- IMT Mines Ales
- ISCTE - Instituto Universitário de Lisboa
- Idiap Research Institute
- Imperial College London
- Imperial College London;
- Institute of Public Health University of Porto
- Jagiellonian University
- Loyola University
- Loyola University Chicago
- Lunds universitet
- Luxembourg Institute of Science and Technology
- Max Planck Institute for Physics, Garching
- 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 CoReACTER (@ University College Dublin)
- The University of Manchester
- Télécom Paris
- UNIVERSIDAD DE LAS PALMAS DE GRAN CANARIA
- UNIVERSITY OF MACEDONIA-RESEARCH COMMITTEE
- Umeå University
- Universidade Autónoma de Lisboa
- Universidade Católica Portuguesa
- Universidade Católica Portuguesa - CATÓLICA-LISBON
- Universidade de Coimbra
- Universitat Autonoma de Barcelona
- University of Amsterdam (UvA); Published today
- University of Bergen
- University of British Columbia
- University of California Berkeley
- University of Colorado
- University of Illinois at Urbana Champaign
- University of Lund
- University of Luxembourg
- University of Michigan
- University of Nebraska Lincoln
- University of Nevada, Reno
- University of New South Wales
- University of Newcastle
- University of Nottingham
- University of Nottingham;
- 90 more »
- « less
-
Field
-
. 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
-
PhD studentship in School of Computing: From Formal Requirements to Specification-based Automated Testing for Safety-Critical Medical Device Software Certification Award Summary 100% fees covered
-
, program synthesis, semantic parsing, tool-augmented/agentic workflows) 2. Symbolic methods (logic/constraints, SAT/SMT, theorem proving, planning) * Strong software engineering skills (typically Python
-
EU programme Is the Job related to staff position within a Research Infrastructure? No Offer Description The position is opened by the Formal Methods for System and Software Research Unit (FM Unit
-
ICT Services & Applications. Your role We offer a fully funded PhD student position within the TruX Research Group headed by Prof. Dr. Tegawendé F. Bissyandé. The position is supported by Google.org and
-
engineering; Formal methods, models, and languages; Interactive and cognitive systems; Distributed systems, parallel computing, and networks. The successful candidate will work closely with teams specializing
-
, the PhD candidate shall be responsible for selecting the most appropriate tools and methods for conducting the research, defining and refining the research questions, and detailing the overall research