W ramach projektu „Specyfikacje ilościowe: uczenie się, algorytmy i zastosowania" ogłoszony został konkurs na stanowisko badawcze na okres 36 miesięcy. Zadania badawcze projektu to
- Badanie możliwości uczenia się specyfikacji ilościowych.
- Rozwój metod weryfikacji specyfikacji ilościowych.
- Interpretacji odpowiedzi zwróconych w procesie weryfikacji ilościowej.
Kandydat powinien posiadać stopień doktora nauk matematycznych w zakresie informatyki uzyskany nie wcześniej niż 7 lat przed rokiem rozpoczęcia projektu i udokumentowany dorobek naukowy. Powinien wykazać się znajomością zagadnień z teorii automatów oraz logiki oraz władać językiem angielskim.
Szczegółowe informacje można uzyskać
tutaj.
Zainteresowane osoby proszone są o kontakt z kierownikiem projektu dr Janem Otopem (jan.otop@uwr.edu.pl).