Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Graz University of Technology
- National Research Council Canada
- AALTO UNIVERSITY
- Aarhus University
- Cleveland State University
- Constructor Knowledge Labs gGmbH
- Delft University of Technology (TU Delft)
- Fondazione Bruno Kessler
- Karolinska Institutet, doctoral positions
- NTNU - Norwegian University of Science and Technology
- NTNU Norwegian University of Science and Technology
- Politecnico di Milano
- Politehnica University of Timisoara
- Saarland University
- Technical University of Munich
- Technische Universität Chemnitz
- University of Newcastle
- 7 more »
- « less
-
Field
-
outside academia. The Software Engineering group conducts research in a wide range of topics related to design, development, verification, and operation of complex software systems, including emerging
-
and research, in and outside academia. The Software Engineering group conducts research in a wide range of topics related to design, development, verification, and operation of complex software systems
-
, testing, verification, security analysis, deployment, and monitoring Development of generative AI methods for automated test-case generation, software validation, vulnerability analysis, and debugging
-
Constructor Technology, invites applications for a PhD position in machine learning for software engineering and formal methods, on the Constructor Fabric project. Constructor Fabric turns a company's informal
-
of the software and its configurations. This project will investigate novel techniques for the application of formal methods to the design, verification, and validation of embedded systems, with particular emphasis
-
university partners support industrial validation, verification of process-detection concepts, and round-robin testing of the developed data-analysis framework. Key objectives are the development
-
balance, and outgassing testing, essential for qualifying hardware for launch and orbital operation. The Space Lab also offers access to a wide suite of engineering and simulation software for electronics
-
applied aspects of software engineering. Research lies in the field of intelligent systems, formal verification and systematic testing of software, artificial intelligence, requirements engineering
-
design and verification, ASIC design flows and relevant EDA tools Understanding of hardware-software co-design, including translating algorithms or software workloads into hardware architectures Where
-
, accounting software, and analysis of public finance. Working knowledge of economic development research methods, theories, and analyses. Knowledge, Skills, and Abilities (KSAs) Knowledge of information systems