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)
Introduction to Middleware (NSWI163)
Linux Administration (NSWI106)
Mobile Devices Programming (NPRG056)
Operating Systems (NSWI200)
Pravděpodobnostní analýza algoritmů (NTIN018)
Principles of Computers (NSWI120)
Programming language design (NPRG075)
Programování 1 (NPRG030)
Programování v jazyce C# (NPRG035)
Programování v jazyce C# (NPRG035)
Programování v jazyce Java (NPRG013)
Programování v jazyce Rust (NPRG073)
Python for practice (NPRG067)
Research Project Work (NSWI127)
Ročníkový projekt (NPRG045)
Sémantika programů (NSWI162)
Start-up or Corporation: Introduction to a Career in IT (NSWI063)
System Behavior Models and Verification (NSWI101)
Třídění (NTIN058)
Výroková a predikátová logika (NAIL062)
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)
Embedded and Real-Time Systems (NSWE001)
Experimentální analýza algoritmů (NTIN033)
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)
Software Engineering for Dependable Systems (NSWI054)
Stochastické metody v databázích (NDBI019)
Úvod do Linuxu (NSWI177)
Virtual Machines and Managed Runtimes (NPRG076)