17 software-formal-method-phd uni jobs at AIT Austrian Institute of Technology in Austria
Sort by
Refine Your Search
-
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
-
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
-
test plans for process and material investigations, as well as a solid understanding of materials science. Experience in characterisation methods, particularly diffraction techniques, is an advantage
-
the research field Power System Digitalisation, we are enthusiastically developing innovative digital solutions and methods to enable secure, flexible, interoperable, and data-driven electricity grids. Our core
-
"Urban Development & Mobility Transformation" focuses on researching and applying innovative tools and methods for sustainable urban development and the integrated planning of mobility systems. For our
-
), robustness and flexibility. We cover the whole data processing chain including image capture, computational imaging and classification with classical and AI methods. You will develop concepts, specifications
-
the lighthouse project AI Enabled Sustainable Automation, where new methods and technologies are developed to enable zero-defect manufacturing in high-pressure die-casting. In die casting, molten metal is