VOLNÁ POST-DOC POZICE V PROJEKTU ERC-CZ

• Analýza programů manipulujících řetězce. Řetězec je jedním ze základních datových typů. Zejména webové aplikace závisí na manipulaci s řetězci zadanými uživatelem, které často interpretují jako SQL nebo JavaScript kód. Nedostatečně ošetřený uživatelský řetězec tak může napáchat mnoho škod, bezpečnostní díry tohoto typu otevírají dveře útokům jako SQL-injection nebo Cross-site scripting. Budeme vyvíjet základní mechanismy pro analýzu systémů manipulujících řetězce, zejména založené na efektivním použití konečných automatů, a aplikovat je na praktické problémy v analýze programů s řetězci.

• Efektivní techniky pro konečné automaty. Konečné automaty mají mnoho aplikací, od známého vyhledávání regulárních vzorů a kompilaci, přes reprezentaci množin stavů a chování systémů a analýzu jejich vlastností, pod rozhodování užitečných logik, jako je Presburgerova aritmetika, řetězcové logiky, logiky mluvící o základních vlastnostech množin. Budeme se snažit použít pokročilé techniky jako abstrakce nebo symbolická reprezentace, abychom zvýšili efektivitu současných automatových algoritmů a umožnili tak využít jejich teoretického potenciálu v praktických aplikacích.

• Pokyny. V případě zájmu napište na holik@fit.vutbr.cz. 
  

VOLNÁ PH.D. POZICE V PROJEKTU ERC-CZ

V současnosti hledáme doktorského studenta zejména na následující témata (nebo jejich kombinaci).

• Analýza programů manipulujících řetězce. Řetězec je jedním ze základních datových typů. Zejména webové aplikace závisí na manipulaci s řetězci zadanými uživatelem, které často interpretují jako SQL nebo JavaScript kód. Nedostatečně ošetřený uživatelský řetězec tak může napáchat mnoho škod, bezpečnostní díry tohoto typu otevírají dveře útokům jako SQL-injection nebo Cross-site scripting. Budeme vyvíjet základní mechanismy pro analýzu systémů manipulujících řetězce, zejména založené na efektivním použití konečných automatů, a aplikovat je na praktické problémy v analýze programů s řetězci.
• Efektivní techniky pro konečné automaty. Konečné automaty mají mnoho aplikací, od známého vyhledávání regulárních vzorů a kompilaci, přes reprezentaci množin stavů a chování systémů a analýzu jejich vlastností, pod rozhodování užitečných logik, jako je Presburgerova aritmetika, řetězcové logiky, logiky mluvící o základních vlastnostech množin. Budeme se snažit použít pokročilé techniky jako abstrakce nebo symbolická reprezentace, abychom zvýšili efektivitu současných automatových algoritmů a umožnili tak využít jejich teoretického potenciálu v praktických aplikacích.

Téma je možné průběžně měnit a zapojit se do jiných výzkumných projektů. Hrubý přehled současných oblastí výzkumu ve skupině je tady. 

Výzkum bude součástí projektu ERC-CZ zaměřeného na výzkum efektivních technik pro konečné automaty. Pozice jím bude také do značné míry financována. Plat se bude pohybovat kolem 35 tisíc Kč (plus minus 10 tisíc), plus stipendium cca 10 tisíc Kč (kromě toho FIT nově garantuje minimální mzdu 26 tisíc korun, více zde). 

Je třeba říct, že téma není pro každého. Jak řečeno výše, nejedná se o pozici podporovanou pouze fakultním stipendiem, je výrazně dotována projektem, proto je třeba stoprocentní zapojení. Souběžný úvazek ve firmě minimálně na začátku studia nebude možný (časem je možné diskutovat). Kromě silné motivace dělat vědu je potřeba mít teoretické a matematické základy a základní zkušenosti s programováním.  

Pokyny. V případě zájmu napište na holik@fit.vutbr.cz., pokud možno do 30.7. (vše je třeba stihnout do termínu podání přihlášky 28.8., viz tady). Poprosíme Vás o dvě věci:

• Napište krátký motivační dopis: proč by se vám takový doktorát líbil a proč jste dobrým kandidátem/tkou. Stačí několik vět, cca čtvrt až půl strany.
• Jako ochutnávku se pokuste vyřešit některý problém zadaný zde. Jedná se o poměrně náročné hádanky, nemusíte se ale za každou cenu dobrat řešení, chceme se s Vámi hlavně pobavit o tom, jak jste problému porozuměli a kam jste se dostali. Vysázejte svoje poznatky v LaTeXu, anglicky. Stačí plus minus jedna strana, důležitá je kvalita, ne rozsah. Snažte se předvést schopnost pochopit problém, na něco přijít, přesně a srozumitelně formulovat myšlenky. 

Samozřejmě, pokud se chcete nejdříve jen nezávazně informovat, napište také. Nemusíte hned přikládat motivační dopis a rozpracované řešení problému.