Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
-
Field
-
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
-
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
-
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
-
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
-
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
-
) project MicroMan4Health (website: https://www.microman4health.eu/ ), Data-Centric Micromanufacturing Platform Towards Added Value in the Health Sector. The shift from process-centric to data-centric
-
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