Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Graz University of Technology
- National Research Council Canada
- Aarhus University
- Cleveland State University
- 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
- University of Newcastle
- 4 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
-
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
-
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
-
applied aspects of software engineering. Research lies in the field of intelligent systems, formal verification and systematic testing of software, artificial intelligence, requirements engineering
-
, 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
-
independently and developing new concepts. Condition of employment Reliability Status For a Reliability Status, verification of background information over a period of 5 years is required. Must be able to travel
-
Regulations No. 155 and No. 156 regarding automotive cybersecurity; Professional and/or research experience with the AUTOSAR standard and associated automotive software architectures; Experience with
-
develops LLMs and agentic AI systems for scientific discovery, engineering and physical systems. We investigate how AI can reason about scientific problems, interact with simulation software and support the