The course will be held on May 4, 6, 8, 11, 13, 15. Contact Antonio Iannizzotto for more information.
Apr 022015
Feb 232015
The schedule of the course has been further modified:
- February 10, 11, 12, 13, hr. 10.00-12.00
- March 11, 12, 13, 23, 24, 25 hr. 17.00-19.00
The lectures will take place at the Palazzo delle Scienze. in room B.
Feb 222015
The course will start on March 17. Information about the program and the scheduling of the course can be found in the program.
Mag 152014
The program and schedule of the course is available.
Mar 112014
The lectures of the course will be given at the Aula Magna of the Teatro di Anatomia, Via Ospedale 121, Cagliari. The schedule is the following
- Monday, April 7, 9:00-13.30
- Tuesday, April 8, 9:00-13.30
- Thursday, April 10, 9:00-13.30
- Friday, April 11, 9:00-13.30
Registration to this course is mandatory. To register, complete the application form.
Slides:
Mar 112014
The workshop will take place in Cagliari on March 21-22, 2014, at the Department of Mathematics and Computer Science, Via Ospedale 72, Cagliari.
Dic 162013
The list of students admitted to the PhD in Mathematics and Computer Science is available at the following link:
Nov 192013
Il Corso di Dottorato di Ricerca in Matematica e Informatica ricopre un
ampio spettro di discipline tra loro collegate sia sul piano culturale che
metodologico e applicativo. Il dottorato, attraverso la pratica della
ricerca scientifica in settori di punta della Matematica e
dell’Informatica, mira a formare persone di livello culturale adeguato a
contribuire alle attuali richieste d’innovazione e di sviluppo
dell’industria e della società dell’informazione, sia sul piano della
creatività scientifica, sia su quello della capacità progettuale.
In particolare, il corso di dottorato è finalizzato alla formazione di
specialisti dotati di avanzate conoscenze metodologiche e tecniche, oltre
ad un’adeguata preparazione linguistica, in grado di svolgere attività di
ricerca e sviluppo in larga autonomia in ambito universitario, in enti di
ricerca pubblici e privati ed in ambito industriale. L’attività del
dottorato è sostenuta da docenti e ricercatori che fanno parte di gruppi
attivamente impegnati nella ricerca a livello internazionale, garantendo
ampie possibilità di scambio e di accoglienza dei dottorandi presso
prestigiose università italiane ed estere, enti di ricerca ed aziende. Le
tematiche di indagine offerte dai due curricula disponibili si riconducono
in larga parte alle attività di ricerca dei membri del collegio dei docenti
e riguardano gli aspetti sia fondamentali che applicativi di molti settori
della Matematica e dell’Informatica.
La formazione acquisita durante il dottorato consente di svolgere attività
di ricerca e sviluppo in larga autonomia in ambito universitario, in enti
di ricerca pubblici e privati ed in ambito industriale. In particolare, i
principali sbocchi occupazionali previsti sono il proseguimento delle
attività di ricerca universitaria, il coordinamento e la direzione di
attività di ricerca & sviluppo presso industrie o enti pubblici e/o centri
di ricerca nazionali ed internazionali. Le capacità di analisi ed
elaborazione acquisite con la formazione tramite la ricerca consentono,
inoltre, di intraprendere percorsi che portino a mansioni manageriali sia
nel settore privato che in quello pubblico, oppure intraprendere attività
in proprio come collaboratore di enti, aziende e società di sviluppo
software.
Link utili
Gen 292013
The
Trustworthy Computational Societies research group (TCS) of the
University of Cagliari is looking for two post-docs to join our ongoing
projects. We seek applicants with strong interest in some of the following topics: programming language design and implementation, concurrency theory, program analysis and verification, and security foundations. The successful candidates will in work in the TCS group at the Department of Mathematics and Computer Science, University of Cagliari (Italy). The scientific core of the group is the development of formal methods for security of concurrent and distributed systems, and the experimentation of these methods through actual implementations. The team is composed by both researchers in the fields of security and concurrency theory (process algebras, semantics and types for concurrency, linear logic) and developers. A detailed presentation of the research group TCS can be found at the website tcs.unica.it. Positions: 2 positions, each of 2 years and renewable for another year Gross salary: ~23K EU / year Requisites: applicants must hold a PhD in Computer Science, Mathematics or related discipline, and must produce evidence of expertise on the above-mentioned topics. The PhD degree must have been obtained not later than 10 years before the postdoc starts. Starting date: may 2013 (with possibility of delaying until sept. on candidate request) Location: Cagliari is located on the southern coast of Sardinia, the second largest island in the Mediterranean see. The Cagliari airport is only 15’ from the city centre, and it is connected with >70 direct flights (many of which are low-cost Ryanair flights) to Italy and Europe. The climate is Mediterranean, with mild winters (average temp. 16.4C) and many sunny days (~300 days/year without precipitation). The main beach, Poetto, is only 10’ from the city centre. The Department of Mathematics and Computer Science is hosted in the Palazzo delle Scienze, located on top of a hill nearby the historical area of Castello. Inquires may be made to Massimo Bartoletti, bart@unica.it. |