PhD position in Formal Verification of Autonomous Cyber-Physical Systems at Chalmers University of Technology This position is funded by the Wallenberg AI, Autonomous Systems and Software Program. #WASP #Chalmers

Join as at Chalmers! Fully-funded PhD and Postdoc positions in Formal Verification of Autonomous Cyber-Physical Systems! @WASP_Research @chalmersuniv PhD: Postdoc:

We are hiring! Two fully-funded PhD positions in Assured Autonomous Systems @chalmersuniv. For more information see the link below:

@FinkbeinerBernd @chalmersuniv Thank you Bernd for your continuous support over the years!

@chalmersuniv I am grateful for the wonderful time at @Berkeley_EECS and look forward to following my vision of building safe and trustworthy autonomous systems in the years to come at @chalmersuniv.

Congratulations @alexdweinert!