Sort by
Refine Your Search
-
Listed
-
Country
-
Employer
- Graz University of Technology
- National Research Council Canada
- 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
- Saarland University
- Technical University of Munich
-
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
-
applied aspects of software engineering. Research lies in the field of intelligent systems, formal verification and systematic testing of software, artificial intelligence, requirements engineering
-
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
-
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
-
the design, implementation, and experimental analysis of system software (e.g., OS concepts, portability, verification) and/or digital systems (e.g., MCU architectures, partial reconfiguration, EDA), as
-
aligned with Digital Product Passport requirements Expected results include: Validated tolerances and certified verification procedures for micro-carrier components A comprehensive ontology describing all
-
verification of cryptographic security Contributing to the maintenance of infrastructure and organizational support for teaching and research activities Your Profile Excellent English proficiency and strong