several PhD positions at the intersection of machine learning and cybersecurity at TU Wien, Vienna, Austria

[Thomas Gärtner]

Our new Doctoral College on Automated Reasoning offers opportunities for pursuing a PhD at the intersection of machine learning and cybersecurity. Two of the positions are located within the Machine Learning research unit of TU Wien Informatics*:

• Learning Theory-based Formal Verification 
• Knowledge Informed Certified Robustness
  

You can find more information on all topics on the website of the doctoral college. Applications can be submitted through the TU Wien jobs portal until May 18, 2025. Please make sure to include all documents requested for the position and a list of the research topics that you are most interested in. We look forward to your application!

(*) TU Wien Informatics consistently ranks among the top 100 CS departments in the world and is located close to the centre of Vienna (Austria), the "most liveable city in the world".

Cheers,

 

  // Thomas

[Thomas Gärtner]

The deadline is in four days! For details, see below.