Thank you for the reply and congratulations on the PhD position! I am still not 100% sure about the specifics but my new team focuses on cyber-physical systems

Thank you for the reply and congratulations on the PhD position! I am still not 100% sure about the specifics but my new team focuses on cyber-physical systems and whatnot, so probabilistic modelling and analysis techniques will likely play a big part. I will definitely try pinging you and the other Storm devs when things become clearer :) Also, I'm really glad to hear there's an interest in UX, I feel it's a weak spot of many otherwise excellent formal tools out there.