formal methods apprenticeship