Computer Science
Doctoral Degree Program
Field: | Computer Science |
Form: | full time / external |
Usual duration: | full time form 4 years, external form 5 years |
Program director: | |
| Related study programs: | master's degree programs Computer Science, Applied Informatics |
Description of the Study Program
The PhD program in Informatics is designed to attract students who want to solve computer science problems that have no satisfactory solution yet, or that have not yet been formulated at all. For the students it is an opportunity to find an area of informatics that is most appealing to them, focus on a specific problem, and devote their energy and efforts during the years of their studies to the solution of the problem. The direction of the research is coordinated with a supervisor, whose main role is to guide and support the student in his/her research. In cooperation with the respective department, the supervisor aims to provide best research conditions for the student.
Currently, this PhD program is focused mainly on the following areas: theoretical computer science, security of information systems, artificial intelligence, computer graphics, bioinformatics, and cognitive science.
Prospective students should apply for particular theses topics. Oftentimes, supervisors adjust the direction of the topic to suite the interests of the candidate. An early contact with a potential supervisor is an important step towards choosing a mutually interesting topic, and subsequently, toward a successful completion of the studies.
Doctoral Scholarships
Full-time doctoral students who have permanent residency in the European Union are entitled to receive a scholarship for the entire standard duration of their studies. The scholarships are paid starting on the date of enrollment. The scholarship is determined in accordance with the tables included in the Law no. 553/2003 Z.z. as follows:
- prior to completion of the qualification exam: 807,50 EUR (6th class, 1st level)
- after successful completion of the qualification exam: 940,50 EUR (7th class, 1st level)
Scholarships are not subject to taxes or other fees.
Doctoral studies are considered an equivalent to full time employment and in the majority of cases cannot be combined with another employment. Job holding applicants who intend to keep their job are advised to apply for the external (distance) form of doctoral studies. Doctoral students enrolled in the regular form are expected to participate in teaching activities such as conducting recitations or exam grading, in accordance with the needs of their corresponding departments.
Thesis Topics for Academic Year 2020/2021
More detailed information about Thesis Topics
- Computational deconvolution of factors contributing to multiple sclerosis
(supervisor doc. Mgr. Bronislava Brejová, PhD.) - Computational methods for processing genomic data
(supervisor doc. Mgr. Bronislava Brejová, PhD.) - Large Scale Simulations for Multiple Fluid Dynamics With Moving Interfaces
(supervisor prof. RNDr. Roman Ďurikovič, PhD.) - The Universal Autonomous Transport System ATS
(supervisor prof. RNDr. Roman Ďurikovič, PhD.) - Rigid Body Simulation of Multibody System with Contact Anisotropic Friction
(supervisor prof. RNDr. Roman Ďurikovič, PhD.) - Využitie umelej inteligencie na automatizáciu spracovania a analýzy optických spektier
(supervisor prof. RNDr. Roman Ďurikovič, PhD.) - Virtual Museum Activisation and Usability
(supervisor doc. RNDr. Andrej Ferko, PhD.) - Formálne metódy pre verifikáciu a špecifikáciu konkurentných a paralelných systémov
(školiteľ: doc. RNDr. Damas Gruska, PhD.) - Bezpečnosť - formálny prístup
(supervisor doc. RNDr. Damas Gruska, PhD.) - Biologicky motivované výpočtové modely
(supervisor doc. RNDr. Damas Gruska, PhD.) - Abductive reasoning with ontologies based on a reverse consequence calculus
(supervisor doc. RNDr. Martin Homola, PhD.) - AI methods in computer games
(supervisor doc. RNDr. Martin Homola, PhD.) - Neural-symbolic reasoning techniques in knowledge representation
(supervisor doc. RNDr. Martin Homola, PhD.) - Reasoning algorithms for ontologies and description logics
(supervisor doc. RNDr. Martin Homola, PhD.) - Computational methods in semigroup theory
(supervisor doc. RNDr. Tatiana Jajcayova, PhD.) - Advice complexity of computational models
(supervisor prof. RNDr. Rastislav Královič, PhD.) - Cykly a 1-faktory v kubických grafoch
(supervisor doc. RNDr. Edita Mačajová, PhD.) - Communication in (formal) computational models
(supervisor doc. RNDr. Dana Pardubská, PhD.) - Fundamental properties of information and complexity of problems
(supervisor prof. RNDr. Branislav Rovan, PhD.) - Kryptoanalýza symetrických šifier
(supervisor doc. RNDr. Martin Stanek, PhD.) - Attractor dynamics in biologically inspired artificial neural networks
(supervisor doc. RNDr. Martin Takáč, PhD.) - Automatizovaná kvalitatívna analýza slovenských textov
(supervisor doc. RNDr. Martin Takáč, PhD.) - Machine learning approaches to prediction of tissue-specific gene regulation
(doc. Mgr. Tomáš Vinař, PhD.) - Metódy spracovania dát zo sekvenačných technológií tretej generácie
(doc. Mgr. Tomáš Vinař, PhD.) - Improving detection of genomic variability by employing pangenomes
(doc. Mgr. Tomáš Vinař, PhD.) - Biologically inspired learning of sequential tasks
(supervisor: prof. Ing. Igor Farkaš, Dr.) - Task learning with attention
(supervisor: prof. Ing. Igor Farkaš, Dr.) - Towards self-aware embodied intelligent agents
(supervisor: prof. Ing. Igor Farkaš, Dr.) - Algorithms on cubic graphs
(Algoritmy na kubických grafoch)
(supervisor: doc. RNDr. Robert Lukoťka, PhD.), form: full time and external - Automatic 3D Human Pose Estimation, Skeleton Tracking and Body Measurements
(supervisor: doc. RNDr. Milan Ftáčnik, CSc.)
Institute of Informatics SAS:
- Paralelizácia počítačovej simulácie požiarov
(Parallelization of computer simulation of fires)
(supervisor: RNDr. Ján Glasa, CSc., jan.glasasavba.sk, konzultant-špecialista: Ing. Lukáš Valášek, PhD.) - Distribuované spracovanie rozsiahlych dát
(Distributed large data processing)
(supervisor: doc. Ing. Ladislav Hluchý, CSc., Ladislav.Hluchysavba.sk) - Metódy umelej inteligencie v kybernetickej bezpečnosti
(Artificial Intelligence Methods in Cyber Security)
(supervisor: doc. Ing. Ladislav Hluchý, CSc., Ladislav.Hluchysavba.sk) - Mäkké počítanie (soft computing) pre riešenie komplexných problémov
(Soft computing for complex solutions)
(supervisor: Ing. Giang Nguyen, PhD., giang.uisavba.sk) - Rozpoznávanie sentimentu v texte
(Sentiment analysis in text)
(supervisor: Ing. Giang Nguyen, PhD., giang.uisavba.sk, konzultant: Ing. Štefan Dlugolinský, PhD., stefan.dlugolinskysavba.sk) - Automatická detekcia Alzheimerovej nemoci analýzou reči pacienta
(Automatic detection of Alzheimer's disease by patient speech analysis)
(supervisor: Ing. Milan Rusko, PhD., rusko.uisavba.sk) - Automatické meranie stresu v ľudskom hlase
(Automatic measurement of stress in human voice)
(supervisor: Ing. Milan Rusko, PhD., rusko.uisavba.sk) - High-end expresívna syntéza reči v slovenčine
(High-end expressive speech synthesis in Slovak)
(supervisor: Ing. Milan Rusko, PhD., rusko.uisavba.sk) - Nové metódy pre vývoj, nasadenie a orchestráciu cloudových služieb
(New methods for development, deployment and orchestration of cloud services)
(supervisor: Ing. Dinh Viet Tran, PhD., viet.transavba.sk) - Počítačové modelovanie prúdenia počas požiaru v cestnom tuneli
(Computer modelling of flows in road tunnel during fire)
(supervisor: Mgr. Peter Weisenpacher, PhD., weisenpacher.uisavba.sk)