Lògica Pura i Aplicada
Formació avançada en lògica matemàtica, filosòfica i computacional. Recerca i especialització en teoria de models i informàtica teòrica.
Actualitzat el · Dades oficials Generalitat
Fes el test per saber el teu match amb aquest estudi
Sou estimat
3.600€/mes
2.400–4.800€ brut (14 pagues)
Demanda
Alta
Durada
1 any
600 h
Horari
Jornada completa diürna
Sou professional
Quant es cobra al mes en brut
Sou brut mensual: 2.400€ — 4.800€
14 pagues · anual brut 33.600–67.200€
Descripció
El Màster en Lògica Pura i Aplicada t'ofereix una formació avançada en els fonaments matemàtics, filosòfics i computacionals de la lògica. Especialitzat en teoria de conjunts, teoria de models i lògica per a la informàtica, aquest programa desenvolupat a la Universitat de Barcelona et prepara per a recerca d'excel·lència i aplicacions tecnològiques d'última generació. Impartit en anglès, accedeix a una comunitat científica internacional i posiciona't com a expert en una disciplina clau per a la intel·ligència artificial, la verificació de programari i la filosofia contemporània.
Competències · què aprendràs
- Fonaments avançats de teoria de conjunts i lògica matemàtica. Teoria de models amb aplicacions en semàntica i bases de dades. Lògica filosòfica per a problemes lògics tradicionals. Lògica aplicada a la informàtica teòrica: verificació de sistemes
- Programes correctes i computabilitat. Metodologia de recerca científica en lògica formal.
Per a qui és
Persones amb formació sòlida en matemàtiques, informàtica o filosofia que volen especialitzar-se en lògica formal i les seves aplicacions. Ideal si tens interès per la recerca científica, desenvolupament teòric o innovació en computació i intel·ligència artificial.
Aptituds recomanades
A què et pots dedicar
Investigador en lògica matemàtica
Universitats i centres de recerca (públics i privats)
2.400–4.800€/mes
Especialista en verificació de programari
Empreses de tecnologia punta i startups d'IA
2.400–4.800€/mes
Enginyer de software en empreses de tecnologia avançada
Departaments de recerca en empreses multinacionals
2.400–4.800€/mes
Consultor en intel·ligència artificial
Organismes de normalització tecnològica
2.400–4.800€/mes
Docent universitari
Consultories especialitzades en sistemas complexos
2.400–4.800€/mes
Analista en ciberseguretat computacional
Laboratoris de verificació de codi.
2.400–4.800€/mes
Investigador en teoria de computació
2.400–4.800€/mes
Especialista en automatització lògica
2.400–4.800€/mes
Característiques clau
Dificultat dels estudis
De 1 (molt assequible) a 5 (molt exigent)
Molt alta
Estabilitat laboral
De 1 (temporalitat alta) a 5 (contracte fix habitual)
Alta
Creixement professional
Progressió i oportunitats de promoció
Molt alt
On el pots estudiar
1 centre ofereix aquest estudi
Orientació Premium
Vols l'informe complet d'aquest estudi?
Un PDF amb el teu perfil vocacional, 5 estudis a fons, centres propers i un pla d'acció amb dates fins al juliol.
Obtén l'informe complet · 29 €Pagament únic · garantia 7 dies