Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- ;
- University of Oslo
- Cranfield University
- DAAD
- Lulea University of Technology
- Nature Careers
- Ghent University
- Leibniz
- NTNU - Norwegian University of Science and Technology
- Utrecht University
- Technical University of Denmark
- Aalborg University
- Curtin University
- Østfold University College
- ; Swansea University
- ; University of Leeds
- ; University of Reading
- Carnegie Mellon University
- Georgetown University
- Radboud University
- SciLifeLab
- Umeå University
- University of Bergen
- University of Groningen
- University of Oxford
- University of Twente
- ; Cranfield University
- ; Max Planck Institute for Psycholinguistics
- ; The University of Edinburgh
- ; The University of Manchester
- ; University of Oxford
- ; University of Southampton
- ; University of Surrey
- Arizona State University
- CISPA (at University of Stuttgart)
- Imperial College London
- Institut Pasteur
- Linköping University
- Ludwig-Maximilians-Universität München •
- Luxembourg Institute of Socio-Economic Research (LISER)
- Max Planck Institute for Informatics •
- Monash University
- NHH Norwegian School of Economics
- Nord University
- Purdue University
- RMIT University
- Rutgers University
- Saarland University •
- Swedish University of Agricultural Sciences
- Technical University of Munich
- The University of Chicago
- The University of Iowa
- University of Adelaide
- University of California, Berkeley
- University of Cambridge
- University of Central Florida
- University of Delaware
- University of Idaho
- University of Melbourne
- University of Newcastle
- University of Oregon
- University of Sheffield
- University of Southern Denmark
- 53 more »
- « less
-
Field
-
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
-
minimum decision-making requirements. Objective 4: Test the developed approach using real-world data from BAE Systems to evaluate its effectiveness and refine the framework. The project will use tools
-
for scientific work strong programming skills and experience in software projects excellent written and spoken English skills TUD strives to employ more women in academia and research. We therefore expressly
-
to contribute to advancing disruptive technologies with high-potential impact for decarbonising energy systems, while developing industry-relevant skills in power conversion systems design, testing and validation
-
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
-
software. The TELOS collaboration, co-led by researchers at Swansea University and The University of Edinburgh, and with links in other Institutions in the United Kingdom, Taiwan, Korea, Austria and Japan