| descrizione: | Il programma del Dottorato in Matematica si propone di formare studenti indirizzandoli verso una attività di ricerca in matematica pura o applicata con elevati standard internazionali. Pertanto, un dottorato di ricerca in Matematica di Roma Tre è in ottima posizione per trovare impieghi di alto livello sia nel mondo accademico (Università e centri di ricerca sia nazionale o estera) o in aziende del settore privato che svolgono progetti di ricerca avanzata.
Principali campi di ricerca: Algebra commutativa e non commutativa, Logica, Geometria algebrica e geometria differenziale, Teoria analitica dei numeri, Analisi matematica e sistemi dinamici, Probabilità, Fisica Matematica, Analisi Numerica, Matematica Applicata e Calcolo Scientifico, Theoretical Computer Science. Le linee di ricerca dei membri del Dipartimento possono essere consultate più in dettaglio alla pagina web https://matematicafisica.uniroma3.it/ricerca/linee-di-ricerca/
Organizzazione del corso di Dottorato: durante il primo anno, gli studenti sono invitati a seguire quattro corsi di livello dottorale e a sostenerne i relativi esami. I corsi possono essere scelti non solo presso il Dipartimento di Matematica e Fisica di Roma Tre, ma anche in altri Dipartimenti o Atenei, previa approvazione del Coordinatore. Durante il primo anno, agli studenti sarà inoltre assegnato un supervisore, che fornirà una guida e un supporto nel percorso di studi e di ricerca. Gli studenti sono invitati a seguire attività comuni co-organizzate dalle tre università di Roma (Roma Tre, La Sapienza e Tor Vergata). Partecipazioni a scuole, workshop e conferenze sono incoraggiate e finanziate, così come periodi di ricerca all'estero.
|
| title: | P.h.D. in Mathematics |
| description: | The PhD program in Mathematics aims at training students towards a research activity in pure or applied Mathematics at high international standards. Therefore, a PhD graduate in Mathematics from Roma Tre is in an excellent position to find high level employments in either the academic world (national or international Universities and research centers) or companies of the private sector carrying out advanced research projects.
Main Research Fields: Commutative and non-commutative Algebra, Logic, Algebraic geometry and differential geometry, Analytic number theory, Mathematical Analysis and Dynamical Systems, Probability, Mathematical Physics, Numerical Analysis, Applied Mathematics and Scientific Computing, Theoretical Computer Science. The research of the
members of the Department can be seen in more detail at the webpage
https://matematicafisica.uniroma3.it/ricerca/linee-di-ricerca/
Organization of the PhD program: during the first year, students are asked to attend and pass four PhD-level courses. The courses can be chosen among those offered by the Department of Mathematics and Physics of Roma Tre, by the other universities of Rome or, possibly, by other national or international universities (upon approval of the Director of graduate studies). During the first year, students will be assigned a supervisor to support and guide them in their studies and research. The students are invited to follow joint activities co-organized by the three universities of Rome (Roma Tre, Sapienza and Tor Vergata). Participation to schools, workshops and conferences are encouraged and financed, as well as research periods abroad.
|
- Progetto ERA4TB: Verifica formale e valutazione simbolica di protocolli crittografici post-quantum
Nel contesto della transizione verso sistemi crittografici resistenti agli attacchi quantistici, la tematica di ricerca si concentra sullo sviluppo di tecniche formali per la verifica della sicurezza e della correttezza dei protocolli crittografici post-quantum. L'attività di ricerca riguarderà in particolare: la valutazione simbolica di algoritmi basati su problemi su reticoli, come LWE e Ring-LWE, utilizzati in schemi finalisti del processo di standardizzazione NIST (es. Kyber, Dilithium, Falcon); la modellazione di attacchi quantistici mediante simulazioni simboliche; l'applicazione di metodi di verifica automatica a protocolli crittografici, con particolare riferimento all’impiego di strumenti come LEAN4 e Mathlib per la formalizzazione delle assunzioni di sicurezza; l’analisi delle proprietà computazionali dei protocolli, con attenzione alla generazione di invarianti esprimibili in forma logica o vincolare, e alla loro verifica automatica mediante solver (SAT, SMT, MILP, ecc.), al fine di garantire proprietà di correttezza e prevedibilità nei contesti a risorse limitate (es. dispositivi IoT). L’attività si inserisce nei progetti di ricerca del Laboratorio di Crittografia e Cybersecurity del Dipartimento di Matematica e Fisica dell’Università Roma Tre, in particolare del progetto SERICS BAC AQuSDIT.
- ERA4TB project: Formal Verification and Symbolic Evaluation of Post-Quantum Cryptographic Protocols
In the context of the global transition toward cryptographic systems resilient to quantum attacks, this research topic focuses on the development of formal techniques for verifying the security and correctness of post-quantum cryptographic protocols. The research activity will specifically address: the symbolic evaluation of algorithms based on lattice problems, such as LWE and Ring-LWE, used in finalist schemes of the NIST post-quantum standardization process (e.g., Kyber, Dilithium, Falcon); the modeling of quantum attacks through symbolic simulation techniques; the application of automated verification methods to cryptographic protocols, with particular emphasis on the use of tools such as LEAN4 and Mathlib for formalizing security assumptions; the analysis of the computational properties of protocols, with a focus on the generation of invariants expressible in logical or constraint-based form, and their automatic verification using solvers (SAT, SMT, MILP, etc.), to ensure correctness and predictability in resource-constrained environments (e.g., IoT devices). The research will be conducted within the projects of the Cryptography and Cybersecurity Laboratory of the Department of Mathematics and Physics at Roma Tre University, in particular within the SERICS BAC AQuSDIT project.
|
- Matematica
L'attività di ricerca sarà in uno dei campi della Matematica Pura o Applicata, quali: Algebra commutativa e non commutativa, Logica, Geometria algebrica e geometria differenziale, Teoria analitica dei numeri, Analisi matematica e sistemi dinamici, Probabilità, Fisica Matematica, Analisi Numerica, Matematica Applicata e Calcolo Scientifico, Informatica Teorica ed Applicata.
- Mathematics.
The research activity will be in one of the fields of Pure or Applied Mathematics, such as: Commutative or Non-commutative Algebra, Logic, Differential or Algebraic Geometry, Analytical Number Theory, Analysis and Dynamical Systems, Probability, Mathematical Physics, Numerical Analysis, Scientific Computing, Theoretical and Applied Computer Science.
|
- Matematica
L'attività di ricerca sarà in uno dei campi della Matematica Pura o Applicata, quali: Algebra commutativa e non commutativa, Logica, Geometria algebrica e geometria differenziale, Teoria analitica dei numeri, Analisi matematica e sistemi dinamici, Probabilità, Fisica Matematica, Analisi Numerica, Matematica Applicata e Calcolo Scientifico, Informatica Teorica ed Applicata
- Mathematics
The research activity will be in one of the fields of Pure or Applied Mathematics, such as: Commutative or Non-commutative Algebra, Logic, Differential or Algebraic Geometry, Analytical Number Theory, Analysis and Dynamical Systems, Probability, Mathematical Physics, Numerical Analysis, Scientific Computing, Theoretical and Applied Computer Science
|
- Tematica generica del dottorato
|
Il candidato sceglierà una tematica in fase di presentazione della candidatura on line
|
| Valutazione titoli |
DESCRIZIONE IN ITALIANO. Per l'ammissione alla prova orale, i candidati saranno selezionati sulla base delle loro curriculum vitae e accademico. I documenti richiesti (che includono CV, documenti accademici altro materiale) devono essere caricati secondo la procedura online del bando. Sono richieste anche due lettere di raccomandazione che devono essere inviate direttamente dai referees, dai loro indirizzi e-mail ufficiali, al seguente indirizzo mail: dottorato.matematica@uniroma3.it con oggetto: lettera per "nome del candidato". ____________________________________________________________________________________DESCRIPTION IN ENGLISH. For the admission to the oral exam, candidates will be selected on the basis of their curriculum vitae and academic record.
The required documents (which include CVs, academic documents and other material) must be uploaded according to the
online procedure of the call. Two letters of recommendation are also required: these must be sent directly by the referees,
from their official email addresses, to the following email address: dottorato.matematica@uniroma3.it with subject: letter for
"name of the candidate" |
|
For the admission to the oral exam, candidates will be selected on the basis of their curriculum vitae and academic record.
The required documents (which include CVs, academic documents and other material) must be uploaded according to the
online procedure of the call. Two letters of recommendation are also required: these must be sent directly by the referees,
from their official email addresses, to the following email address: dottorato.matematica@uniroma3.it with subject: letter for
"name of the candidate" |
| Prova orale |
DESCRIZIONE IN ITALIANO. I candidati ammessi alla prova orale saranno sottoposti ad un colloquio con i membri della Commissione d'esame. I
candidati potranno scegliere se svolgere la prova di persona, presso i locali del Dipartimento di Matematica e Fisica
indicati nel bando (opzione raccomandata) o, in caso di impossibilità o difficoltà a essere presenti di persona, tramite
intervista via web tramite Skype collegandosi all'indirizzo del dottorato di matematica: 'phd_program_roma3'. La
prova orale verterà su: argomenti generali di matematica, e in particolare su un tema che verrà assegnato al
candidato un giorno prima della prova stessa; la tesi di laurea magistrale; il progetto di ricerca dottorale. Maggiori dettagli sulla procedura di esame saranno pubblicati sul sito https://matematicafisica.uniroma3.it/ricerca/dottorato-di-ricerca/dottorato-di-ricerca-in-matematica/ammissione/ a ridosso della prova. In sede di prova orale, ai candidati che abbiano selezionato la tematica generica "Matematica", verrà richiesto di esprimere le loro preferenze/priorità tra le seguenti tipologie di borsa e/o progetto: a) Borsa di carattere generale; b) Posto senza borsa a progetto sul tema: "Fondamenti matematici della crittografia per la protezione dei dati in ambienti Cloud" . A valle della prova orale, ad ogni candidato verrà
assegnato un punteggio con cui verranno costruite diverse graduatorie per diverse tipologie di posto, che verranno poi usate per offrire i posti ai candidati idonei nell'ordine delle priorità da loro indicate. ____________________________________________________________________________________DESCRIPTION IN ENGLISH. Candidates admitted to the oral exam will be interviewed by the members of the selection committee. Candidates can choose
to make the exam in person, in the Department of Mathematics and Physics (recommended option) or, in case of impossibility
or difficulty to be present in person, via Skype interview by connecting to the address of the mathematics doctorate:
'phd_program_roma3'. The oral examination will focus on: general mathematical topics, and in particular on a topic assigned
to the candidate one day before the test itself; the master's thesis; the doctoral research project. More details on the exam procedure will be published on the website hhttps://matematicafisica.uniroma3.it/en/research/phds/phd-in-mathematics/admission/. During the interview, candidates who applied for the position with generic theme "Mathematics" will be asked to express a preference/priority among the following types of positions: a) General scholarship; b) Position without scholarship for a project on: "Mathematical Foundations of Cryptography for Cloud Data Protection" . After the oral examination, each candidate will be assigned a score with which different rankings will be constructed for
different types of positions; these will be then used to make the offers to the short-listed candidates in the order of priority
they indicated |
|
Candidates admitted to the oral exam will be interviewed by the members of the selection committee. Candidates can choose
to make the exam in person, in the Department of Mathematics and Physics (recommended option) or, in case of impossibility
or difficulty to be present in person, via Skype interview by connecting to the address of the mathematics doctorate:
'phd_program_roma3'. The oral examination will focus on: general mathematical topics, and in particular on a topic assigned
to the candidate one day before the test itself; the master's thesis; the doctoral research project. More details on the exam procedure will be published on the website hhttps://matematicafisica.uniroma3.it/en/research/phds/phd-in-mathematics/admission/. During the interview, candidates who applied for the position with generic theme "Mathematics" will be asked to express a preference/priority among the following types of positions: a) General scholarship; b) Position without scholarship for a project on: "Mathematical Foundations of Cryptography for Cloud Data Protection" . After the oral examination, each candidate will be assigned a score with which different rankings will be constructed for
different types of positions; these will be then used to make the offers to the short-listed candidates in the order of priority
they indicated |
Recapiti e ulteriori informazioni (validi per il dottorato e per tutti gli eventuali curricola) |
| Informazioni e recapiti |
https://matematicafisica.uniroma3.it/ricerca/dottorato-di-ricerca/dottoratodi-ricerca-in-matematica/ammissione/ - Phone: +39
06 57338067 - Email: dottorato.matematica@uniroma3.it - Skype: phd_program_roma3 |
| Eventuali ulteriori informazioni |
Il progetto di ricerca, da caricare obbligatoriamente in sede di compilazione della domanda, deve brevemente descrivere (in circa due/tre pagine) gli interessi e competenze di ricerca del candidato e una proposta di progetto per i prossimi anni, opportunamente contestualizzata e motivata.
______________________________________________________________________________________________________
The research project, to be mandatorily uploaded in the application process, must briefly describe (in approximately two/three pages) the candidate's research interests and expertize, and a project proposal for the next few years, appropriately contextualised and motivated. |
| data e voto di laurea (obbligatorio) | |
| elenco degli esami sostenuti per la laurea MAGISTRALE e relative votazioni (obbligatorio) | |
| elenco degli esami sostenuti per la laurea TRIENNALE e relative votazioni
|
| elenco cronologico di Borse di studio, Assegni di ricerca (et similia) percepiti |
| Diplomi/certificati di conoscenza lingue estere |
| Diplomi/attestati di partecipazione di corsi universitari post-lauream |
| Attestati di partecipazione a gruppi di ricerca |
| Attestati di partecipazione a stage |
| Altri riconoscimenti (p. es.: premiazione in concorsi, seconda laurea) |