24 software-formal-method-phd positions at AIT Austrian Institute of Technology in Austria
Sort by
Refine Your Search
-
Category
-
Field
-
failures, and emissions. As part of our Competence Unit High-Performance Vision Systems you will join a multidisciplinary team of scientists, AI experts, electronics specialists, software developers, and
-
As Austria's largest research and technology organisation for applied research, we are dedicated to make substantial contributions to solving the major challenges of our time, climate change and digitalisation. To achieve our goals, we rely on our specific research, development and technology...
-
Diagnostics focuses its research on the development of novel diagnostic technologies for a wide range of applications (e.g., infectious diseases, cancer diagnostics, health monitoring). The PhD project is
-
to the development of prototypes and demonstrators. Under the guidance of our interdisciplinary team, you will support in research, implementing, integrating, and evaluating the latest methods in long-term secure
-
AI:AT – the AI Factory Austria – is making Austria a hotspot for Artificial Intelligence in Europe. The AI Factory Austria (AI:AT) is a joint project of AIT and Advanced Computing Austria. It combines cutting-edge expertise in high-performance computing, artificial intelligence and data...
-
AI:AT – the AI Factory Austria – is making Austria a hotspot for Artificial Intelligence in Europe. AI:AT is a joint project of AIT and Advanced Computing Austria. It brings together top-level expertise in high-performance computing, artificial intelligence, and data ecosystems, creating an...
-
development, and/or software development tools such as ROS, Docker, versioning tools (Git), CI/CD is a plus Interest in the area of IoT systems (Cloud, Edge, and Fog) and System of Systems (SoS) Interest in
-
and society. Our Competence Unit “Battery-Technologies ”, part of the Center for Transport Technologies located in Vienna invites applications for a PhD Thesis position. The battery is the centrepiece
-
across competence units and research centers, the AI TaskForce supports AIT's goal of embedding robust, ethical, and transparent AI practices across all applied research activities. The PhD project will
-
and society. Our Competence Unit “Digital Resilient Cities ” , part of our Center for Energy located in Vienna invites applications for a PhD Thesis position . The Competence Unit "Digital Resilient