Ústav informatiky AV ČR

We seek a postdoctoral fellow or junior scientist to join the Czech Science Foundation project “Interpolation, Amalgamation, and Computation” (INTERACT), led by Dr. Wesley Fussner at the Institute of Computer Science of the Czech Academy of Sciences. The successful candidate will join a team working at the intersection of algebra, logic, amalgamation properties, and interpolation properties.Quick InfoContact Person: Ing. Wesley Fussner, Ph.D.Deadline: Until position is filled. Applications received by 13 April 2026 will receive full consideration.Starting date: September 2026 (negotiable)Conditions:Initial contract is for 12 months. After initial evaluation, extension is available for an additional 24 months (3 years total).Intended start date is in September 2026 (negotiable).Travel funding for conferences and research stays is available.No teaching duties.Applicants should:Hold or expect a PhD.Be fluent in English.The ideal candidate has expertise in one or more of the following areas:Algebraic logic.Universal algebra.Computational aspects of general algebra.Interpolation and amalgamation in logic.The application process:Applications are to be sent to jobs@cs.cas.cz and should contain:Mention of Ref. No. 2026/5.A letter of application explaining your interest in the position and your suitability for the project (about 2-3 pages).A full curriculum vitae, including a complete list of publications/preprints.Contact information for two professional referees.A proof of the obtained degree, or relevant documentation to indicate the expected thesis defense or award date.Informal inquiries are welcome and encouraged, and may be directed to Ing. Wesley Fussner, Ph.D., fussner@cs.cas.cz.

Motivace: Implementace hlubokých neuronových sítí (DNNs) v koncových zařízeních (např. chytré mobilní telefony) jsou energeticky náročné, proto se v aplikacích tolerantních na chybu (např. rozpoznávání obrázků) používají aproximace DNNs (např. redukce počtu bitů pro reprezentaci vah, prořezávání sítí), které výrazně snižují spotřebu energie za cenu přijatelného zhoršení přesnosti odpovědí.Quick InfoContact Person: doc. RNDr. Jiří Šíma, DrSc.Application deadline: until the position is filledStarting date: January / February 2026Náplň práce: flexibilní (příp. paralelní) softwarová implementace navržených jednoduchých metod pro odhad chyby aproximovaných DNNs pomocí standardních knihoven strojového učení (např. PyTorch) a optimalizace (např. SciPy pro lineární programování) a jejich testování na referenčních datových sadách (např. MNIST, CIFAR-10).Navíc: v případě zájmu možnost podílet se na zajímavém výzkumu např. v rámci bakalářské / diplomové / disertační práce vedoucímu ke kvalitním publikacím.Odměna: 16.000 Kč/měs. (+ 13. plat za dobré výsledky) v rámci flexibilního částečného pracovního úvazku (smlouva na dobu určitou dle dohody s možností prodloužení na max. 2 roky) na výzkumném projektu GA ČR LEDNeCo: Low Energy Deep Neurocomputing v Ústavu informatiky AV ČR; příp. úhrada cestovného na mezinárodní konference pro prezentaci výsledků; další benefity (např. stravenkový paušál, FKSP, výjezdové semináře).Začátek: co nejdříve dle dohody, např. leden / únor 2026.Předpoklady: studující informatiku na VŠ, spolehlivost, pečlivost, pohotovost, výborné programátorské dovednosti pro kvalitní a rychlou implementaci uvedených metod s použitím (volitelných) standardních knihoven, orientace v matematických textech, základní znalosti DNNs.Kontakt: Zájemci mohou kontaktovat vedoucího projektu (doc. J. Šíma) na adrese sima@cs.cas.cz, který jim rád zodpoví případné dotazy. Přihlášky včetně odborného životopisu ve formátu PDF zasílejte e-mailem s předmětem Ref. No. 2026/01 na adresu job@cs.cas.cz.