Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- NTNU - Norwegian University of Science and Technology
- University of Luxembourg
- NTNU Norwegian University of Science and Technology
- University of Texas at El Paso
- University of Warwick
- Delft University of Technology (TU Delft)
- University of Münster •
- University of Twente (UT)
- jobs.ac.uk
- Aalborg University
- Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID
- CNRS
- Eindhoven University of Technology (TU/e)
- Fondazione Bruno Kessler
- Harvard University
- Instituto de Engenharia Mecânica
- KU LEUVEN
- King's College London;
- Luxembourg Institute of Science and Technology
- Monash University
- Technical University of Denmark (DTU)
- Technical University of Munich
- The Norwegian School of Sport Sciences
- Tilburg University
- Universidade de Coimbra
- University of Bergen
- University of Maryland, Baltimore
- University of Nottingham
- University of South-Eastern Norway
- University of Southern Denmark (SDU)
- ASSOCIAÇÃO BIOPOLIS
- Adam Mickiewicz University
- Copenhagen Business School
- Duke University
- Erasmus University Rotterdam
- FEUP
- Faculdade de Ciências Sociais e Humanas
- Faculdade de Ciências da Universidade de Lisboa
- Faculty of Sciences of the University of Porto
- Freie Universität Berlin •
- Graz University of Technology
- Hannover Medical School •
- Heidelberg University
- Institute of Genetics and Animal Biotechnology of the Polish Academy of Sciences (formerly Institute of Genetics and Animal Biotechnology PAS)
- Institute of Public Health University of Porto
- Instituto Politécnico de Bragança
- Leipzig University •
- Ludwig-Maximilians-Universität München •
- MARIA CURIE-SKLODOWSKA UNIVERSITY IN LUBLIN
- Manchester Metropolitan University;
- Medical University of Gdańsk
- Newcastle University
- Queensland University of Technology
- REQUIMTE - Rede de Quimica e Tecnologia
- Research Center Borstel - Leibniz Lung Center
- TU Wien
- University of A Coruña
- University of Amsterdam (UvA)
- University of Birmingham
- University of Copenhagen
- University of Exeter
- University of Florida
- University of Oslo
- University of Plymouth
- University of Potsdam •
- University of Regensburg •
- University of Stuttgart •
- Università degli Studi di Firenze
- Utrecht University
- 59 more »
- « less
-
Field
-
are looking for a motivated and talented PhD candidate to join a unique interdisciplinary project at the intersection of machine learning and formal methods. Information Machine learning models deployed in real
-
The Centre for Formal Methods and Future Computing (FORM) at the Department of Mathematics and Computer Science , University of Southern Denmark (SDU, Campus Odense or Vejle) invites applications
-
Job related to staff position within a Research Infrastructure? No Offer Description his research focuses on the application of formal methods and automated reasoning to ensure the reliability and
-
Job related to staff position within a Research Infrastructure? No Offer Description Techniques based on formal methods for the verification and validation of embedded and safety-critical systems
-
control platforms, advanced microcontrollers, distributed control algorithms, and artificial intelligence techniques, including neural networks and evolutionary optimisation methods, to enable the efficient
-
control platforms, advanced microcontrollers, distributed control algorithms, and artificial intelligence techniques, including neural networks and evolutionary optimisation methods, to enable the efficient
-
portal or, if necessary, by email notification. 12. Application period: The competition is open from 08/09/2026 to 21/09/2026. 13. Method of submitting applications: Applications can be formalized through
-
on the solid application of scientific research method. The department has a pluralistic approach to research methods that includes, for example, formal theoretical models, quantitative empirical methods such as
-
capable of integrating quantum key distribution methods and embedding post-quantum cryptographic techniques within the framework. Develop a synchronisation mechanism to combine multiple, differently-paced
-
of microfluidics in the aforementioned demanding fields. This project aims to find methods to eliminate these urgent packaging issues. As the demand for advanced ventilators and multi-infusion systems grows, finding