You could use your sabatical to learn F*, Agda or similar.
Easy to then transition to a nice, slow moving and meaningful engineering position.