Sobre el programa de formación
«Problemas matemáticos del desarrollo de software»: cuando se habla de «problemas matemáticos» en el desarrollo de software, se hace referencia a las dificultades que surgen en la intersección entre las matemáticas y la programación; es decir, cuando no basta con escribir código, sino que es necesario traducir correctamente una idea matemática a un lenguaje formal, demostrar que el programa funciona correctamente o resolver de manera eficiente un problema computacional. La solución suele consistir en aplicar métodos formales, pruebas avanzadas, bibliotecas especializadas y un enfoque interdisciplinario (matemáticas + informática + el ámbito aplicado correspondiente).
¿Qué hacen los graduados?
La capacidad de identificar un modelo matemático detrás de un objetivo empresarial —por ejemplo, cómo optimizar la logística o construir un sistema de recomendación— es una habilidad valiosa que los empleadores buscan. En algunas industrias, como los sistemas financieros y el software aeronáutico, es fundamental demostrar que el código es correcto. Aquí resultan útiles los métodos de la lógica matemática y la teoría de tipos. En el desarrollo frontend o en DevOps, la lógica y la aritmética básicas suelen ser suficientes. En cambio, en Data Science, ML, desarrollo de videojuegos o criptografía, no se puede prescindir de un conocimiento profundo de las matemáticas. El crecimiento profesional en estos ámbitos está directamente relacionado con el grado de preparación y capacidad para освоir nuevas herramientas matemáticas.
