Sort by
Refine Your Search
-
Listed
-
Country
-
Program
-
Employer
- University of Oslo
- University of Luxembourg
- Aarhus University
- Chalmers University of Technology
- EPFL
- Imperial College London
- NEW YORK UNIVERSITY ABU DHABI
- Nanyang Technological University
- University of Nottingham
- University of Sheffield
- University of South-Eastern Norway
- Bournemouth University;
- Cornell University
- Duke University
- Durham University
- Imperial College London;
- KTH Royal Institute of Technology
- KU LEUVEN
- Karolinska Institutet (KI)
- National University of Singapore
- Queen's University Belfast
- Queen's University Belfast;
- Stanford University
- UNIVERSIDAD DE LAS PALMAS DE GRAN CANARIA
- Umeå University
- Universidade de Coimbra
- University of A Coruña
- University of Glasgow
- University of Manchester
- University of Maryland, Baltimore
- University of Nevada Las Vegas
- University of Twente (UT)
- Warsaw University of Technology
- Wayne State University
- Western Norway University of Applied Sciences
- bicc - Bonn International Centre for Conflict Studies gGmbH
- 26 more »
- « less
-
Field
-
Do you want to use functional programming to find new ways to develop, test and formally verify software or hardware? Chalmers, with its world leading groups in functional programming and formal
-
A*STAR Research Entities and Imperial Global Singapore , Imperial College London ’s formal research and innovation entity in Singapore are seeking (Senior) Research Fellows to join the exciting new
-
, Trustworthy AI, Software Engineering, and Cybersecurity. The group is developing novel methods, tools, and platforms to support the safe deployment of AI systems in real-world environments. Current research
-
communities locally and nationally. The postholder will support the design and conduct of economic evaluations alongside rapid and responsive evaluations, using methods such as cost-effectiveness analysis, cost
-
will combine modern AI/LLM-based code generation with formal methods to produce software that is both fast to create and provably trustworthy. The position is part of SAFIR (Secure AI for Intelligent
-
14 Aug 2026 Job Information Organisation/Company Universidade de Coimbra Department SGRH - DRGC Research Field Other Researcher Profile First Stage Researcher (R1) Positions PhD Positions
-
, and the advancement in AI methods for applications in cybersecurity contexts. TruX conducts research in software security, software repair, and explainable software to create key practical solutions
-
to represent and model expectations using formal methods, develop techniques that help a system reason about human expectations at runtime, and evaluate the contributions using simulations and experiments with
-
Jonathan Taylor and in collaboration with Edinburgh University. Specifically, the job requires expert knowledge in software for realtime microscope control and image processing, and electronic control
-
statistical / machine learning methods, pathway/network analysis or artificial intelligence approaches. Other requirements: The candidate should have a PhD or equivalent degree in bioinformatics, artificial