I would have gone with the small village in Germany! But yes, formal methods will likely be eclipsed by machine learning applications due to the investment in skills required and time consuming nature of the activities.