quelque chose me dit que ça va se finir en ens tout ça, tu as le profil. (comme écrit précédemment cible prioritaire, a priori pas de mauvais choix mais c’est là que tu risque de t’ennuyer le moins)
donc ça
(tu pourras devenir ingénieur bien sûr mais ce n’est pas l’objectif prioritaire de la formation).
Ca depend un peu de ce que tu as envie d’apprendre: du genie logiciel, du « numerique/AI » (en passant par le traitement de l’image et du signal), de « l’informatique theorique » pour faire une these ou de la compilation.
le plus simple est d’aller lire le sylabus des differentes ecoles pour voir ce qui t’interresse, sachant qu’il y a un risque que si tu vas dans une ecole et que tu refais une L3, tu t’ennuie en informatique.
W.
PS les methodes formelles c’est marrant mais c’est fort peu utilisé hors millieu academique (il suffit de regarder par exemple, le destin d’Esterel pour s’en convaincre). Je ne conseillerais pas de se specialiser sur ce sujet à moins d’y tenir absolument.