Sort by
Refine Your Search
-
Listed
-
Country
-
Employer
- University of Luxembourg
- Aarhus University
- Chalmers University of Technology
- NEW YORK UNIVERSITY ABU DHABI
- University of Nevada Las Vegas
- Aarhus University (AU)
- Bournemouth University;
- Cornell University
- Duke University
- Durham University
- EPFL
- KTH Royal Institute of Technology
- KU LEUVEN
- Karolinska Institutet (KI)
- Stanford University
- Umeå University
- University of Amsterdam (UvA)
- University of Southern Denmark (SDU)
- University of Twente (UT)
- University of Vienna
- Warsaw University of Technology
- 11 more »
- « less
-
Field
-
collaborative environment, contributing to both the theoretical development and the software implementation of these methods. More specifically: Lead and contribute to research projects in the broad areas
-
). Design and fabrication of the calibration test phantoms Developing and testing acquisition software, and implementing image analysis algorithms and localization methods. Where to apply E-mail
-
the Quality of AI Agents) under the direction of Prof Hamid Bouchachia. The project will deliver the engineering abstractions, methods and tools needed to support reliable, scalable end-to-end development
-
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
-
team, Aarhus University and MAX IV. Depending on the candidate’s interests and expertise, research activities may include studies of functional materials, advanced crystallographic methods, automated and
-
operations in the pyrolysis value chain with downstream CCUS and PtX technologies, implemented in ECA Engineering’s existing software platform. Tasks: Develop detailed, first‑principles and semi‑empirical
-
, interpretation of results and development of research questions. You will collaborate closely with students, PhD students, postdocs and faculty members within the research group and with colleagues at the Centre
-
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
-
development activities at the intersection of Agentic AI, AI Security, Trustworthy AI, Software Engineering, and Cybersecurity. The group is developing novel methods, tools, and platforms to support the safe
-
, 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