27 software-formal-method-phd positions at AIT Austrian Institute of Technology in Austria
Sort by
Refine Your Search
-
Category
-
Field
-
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
-
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
-
Functional cookies CSRF (Cross Site Request Forgery) Protection Cookie This cookie is necessary for security reasons to prevent CSRF. Authentication session cookie When creating an applicant profile during a first application or when a user logs in with his or her profile an authentication...
-
"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
-
on the development of innovative solutions for our research projects. Within these projects we offer PhD students the possibility of joining AIT to write their PhD thesis - For this, you can either choose a concrete
-
), 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
-
the lighthouse project AI Enabled Sustainable Automation, where new methods and technologies are developed to enable zero-defect manufacturing in high-pressure die-casting. A dosing unit provides molten metal to
-
Functional cookies CSRF (Cross Site Request Forgery) Protection Cookie This cookie is necessary for security reasons to prevent CSRF. Authentication session cookie When creating an applicant profile during a first application or when a user logs in with his or her profile an authentication...
-
research of new methods to exploit the physical properties of optical and wireless communication media and use quantum effects to increase digital security.