産総研を退職してドレスデンでFormal Method Engineerになる

産総研の博士型任期付研究員の職を昨日付で退職し、これから、ある会社でformal method engineerという職につくこととなった。ドイツのドレスデンに住むことになる。

昨日まで、産総研の人だということで、いろいろな人に呼んでいただいたり来ていただいたり面白かった。不満がないのに辞める人は初めてだ、と呆れられてもいる。しかし、ドレスデンでの仕事がたいへん気になったので行ってしまう。