Moving to Dresden to be a formal method engineer

This spring, I am moving to Dresden, Germany. In Dresden, I will work as a formal method engineer.

This decision incurred some costs. I had to give up a tenure-track position at a public research institute. My family and many of my friends get physically remote. However, the project in Dresden seems like what I wanted to do for a long time.