Témata pro studenty
Nabízíme různá témata bakalářských a diplomových prací a projektů v oblasti Internet of Things, virtualizace a cloud, embedded a distribuované systémy, middleware, operační systémy, performance engineering, verifikace a testování, model-driven development a další. V případě zájmu nás prosím kontaktujte. Vytvoříme pro Vás téma na míru.
Máte zájem o Ph.D.?
Během postgraduálního studia zůstanete studenty další čtyři roky, budete pracovat na projektech (jak individuálních tak týmových), budete publikovat své výsledky, které nakonec obhájíte ve formě doktorské práce a bude Vám udělen titul Ph.D.
Zimní semestr
Advanced Static Program Analysis (NSWI182)
Advanced Tools for Software Development and Monitoring (NSWI126)
Algoritmizace (NPRG062)
D3S Seminar (NSWI057)
Firemní semináře (NSWI133)
Formal Foundations of Software Engineering (NTIN043)
Linux Administration (NSWI106)
Mobile Devices Programming (NPRG056)
Operating Systems (NSWI200)
Principles of Computers (NSWI120)
Programming language design (NPRG075)
Programování 1 (NPRG030)
Programování v jazyce C# (NPRG035)
Programování v jazyce Java (NPRG013)
Programování v jazyce Rust (NPRG082)
Research Project Work (NSWI127)
Ročníkový projekt (NPRG045)
Sémantika programů (NSWI183)
Start-up or Corporation: Introduction to a Career in IT (NSWI063)
System Behavior Models and Verification (NSWI101)
Write your own tiny programming system(s)! (NPRG077)
Letní semestr
Advanced .NET Programming II (NPRG057)
Advanced Operating Systems (NSWI161)
Best Practices in Programming (NPRG043)
Computer Architecture (NSWI143)
D3S Seminar (NSWI058)
Middleware (NSWI080)
Nástroje pro vývoj software (NSWI154)
Performance Evaluation of Computer Systems (NSWI131)
Pokročilé programování v jazyce C# (NPRG038)
Pokročilé programování v jazyce Java (NPRG021)
Pokročilé programování v jazyce Rust (NPRG074)
Program Analysis & Code Verification (NSWI132)
Programming in Python (NPRG065)
Programming User Interfaces in .NET (NPRG064)
Programování 2 (NPRG031)
Research Project Work (NSWI127)
Ročníkový projekt (NPRG045)
Stochastické metody v databázích (NDBI019)
Úvod do Linuxu (NSWI177)
Virtual Machines and Managed Runtimes (NPRG076)