Wayback Machine
«MAR JUN AUG »
Previous capture 2 Next capture
«2022 2023 2024 »
102 captures
7 Oct 19 - 1 Mar 25
Close Help

Vypsaná témata prací

Ústav informatiky AV ČR, v. v. i., je veřejná výzkumná organizace se zaměřením na základní výzkum. Mimo svou hlavní činnost se ve spolupráci s řadou univerzit podílí i na doktorských studiích a zaměstnává doktorandy a postdoktorandy v oblastech, které jsou předmětem bádání ústavu.

Teoretická informatika

Strojové účení

Složité systémy

Statistické modelovaní

Formální verifikace