Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- CNRS
- Technical University of Denmark
- DAAD
- Leiden University
- NTNU Norwegian University of Science and Technology
- Nature Careers
- Delft University of Technology (TU Delft)
- Delft University of Technology (TU Delft); today published
- Edinburgh Napier University
- King's College London
- Linköping University
- Monash University
- NTNU - Norwegian University of Science and Technology
- Newcastle University
- Umeå University
- University of East Anglia
- University of Luxembourg
- Utrecht University
- Accademia Albertina di Belle Arti di Torino
- CISPA (Stuttgart)
- CISPA Helmholtz Center for Information Security
- CWI
- Centre Tecnològic de Telecomunicacions de Catalunya (CTTC)
- Centro de Biotecnología y Genómica de Plantas, CBGP (UPM-INIA)
- Centrum Wiskunde en Informatica (CWI); today published
- Delft University of Technology
- Delft University of Technology (TU Delft); yesterday published
- Dublin City University
- Duke University
- Eindhoven University of Technology (TU/e)
- Eindhoven University of Technology (TU/e); Eindhoven
- Flinders University
- Forschungszentrum Jülich
- GFZ Helmholtz Centre for Geosciences
- Ghent University
- Hannover Medical School •
- ICN2
- Institut Català de Nanociència i Nanotecnologia
- Instituto Superior de Economia e Gestão
- KNAW
- KU LEUVEN
- La Trobe University
- Leiden University; today published
- Linköpings universitet
- Lodz University of Technology
- Max Planck Institute for Sustainable Materials •
- Mälardalen University
- Mälardalens universitet
- NOVA.id.FCT- Associação para a Inovação de Desenvolvimento da FCT
- Norwegian Institute of International Affairs
- Research Institute for Environmental and Occupational Health (IRSET - UMR_S INSERM 1085)
- Reykjavik University
- Roma Tre University
- Swedish University of Agricultural Sciences
- Swinburne University of Technology
- Technical University Of Denmark
- Technical University of Munich
- The University of Manchester
- UNIVERSIDAD POLITECNICA DE MADRID
- Umeå universitet
- Uni Tuebingen
- Universidad de Alicante
- University of A Coruña
- University of Applied Sciences Northwestern Switzerland
- University of Birmingham;
- University of Bremen •
- University of British Columbia
- University of Cambridge
- University of Groningen
- University of Liège
- University of Oxford
- University of Oxford;
- University of Southern Denmark
- University of Twente
- University of Twente (UT)
- University of Twente (UT); Enschede
- University of Tübingen
- University of Warsaw
- Université Marie et Louis Pasteur
- Uppsala universitet
- Utrecht University; today published
- Wageningen University and Research Center
- Wetsus - European centre of excellence for sustainable water technology
- 73 more »
- « less
-
Field
-
potential projects: Development of modern auto-differentiation (JAX-based) physics simulators for the discovery of new physics experiments) Developing, benchmarking and advancing state-of-the-art AI-driven
-
to reason about software (e.g., LLM agents for finding and fixing bugs)Static and dynamic program analysis (e.g., to infer specifications)Test input generation (e.g., to compare the behavior of old and new
-
for Additive Manufacturing of the Biomaterials and Tissues of the Future. You will be one of 17 doctoral students across the entire network, and one of three doctoral candidates based in this particular research
-
and, where applicable, the sworn translation of said documents. Sixth. Two-stage selection system: Merit-based assessment and personal interview. The interview may be recorded. The score awarded
-
have contributed to new knowledge in the properties and versatility of different graphene-based materials, pioneering work in the medical translation of carbon nanomaterials, as well as in bioelectronic
-
CISPA Helmholtz Center for Information Security | Stuttgart, Baden W rttemberg | Germany | 19 days ago
, efficient, and secure software. General areas of research include: Artificial intelligence to reason about software (e.g., LLM agents for finding and fixing bugs) Static and dynamic program analysis (e.g
-
), mathematical evolutionary modeling (game theory, dynamical systems, agent-based simulations or other), bespoke probabilistic modeling / (Bayesian) data analysis (e.g., in the Rational Speech Act framework
-
to prostate cancer progression. This information will support the setting up of a clinical trial where anti-microbial agents are used to prevent prostate cancer development, resulting in significant
-
systems, multi agent systems, and industrial use cases. Wallenberg AI, Autonomous Systems and Software Program (WASP) is Sweden’s largest individual research program ever, a major national initiative for
-
have contributed to new knowledge in the properties and versatility of different graphene-based materials, pioneering work in the medical translation of carbon nanomaterials, as well as in bioelectronic