Sul programma di formazione
«Problemi matematici nello sviluppo del software»: quando si parla di «problemi matematici» nello sviluppo del software, si intendono le difficoltà che sorgono all’intersezione tra matematica e programmazione — vale a dire quando non è sufficiente scrivere il codice, ma occorre tradurre correttamente un’idea matematica in un linguaggio formale, dimostrare che il programma funziona correttamente o risolvere in modo efficiente un problema computazionale. La soluzione spesso consiste nell’applicazione di metodi formali, test avanzati, librerie specializzate e un approccio interdisciplinare (matematica + informatica + settore applicativo di riferimento).
Cosa fanno i laureati?
La capacità di individuare un modello matematico dietro un obiettivo aziendale — ad esempio, come ottimizzare la logistica o costruire un sistema di raccomandazione — è una competenza preziosa che i datori di lavoro ricercano. In alcuni settori, come i sistemi finanziari e i software per l’aviazione, è fondamentale dimostrare la correttezza del codice. È qui che vengono in aiuto i metodi della logica matematica e della teoria dei tipi. Nel frontend o nel DevOps, spesso sono sufficienti le basi della logica e dell’aritmetica. Nel Data Science, nel ML, nello sviluppo di videogiochi o nella crittografia, invece, non si può fare a meno di una conoscenza approfondita della matematica. La crescita professionale in questi ambiti è direttamente legata alla vostra disponibilità e capacità di acquisire nuovi strumenti matematici.
