Konkurs na stanowisko adiunkta w projekcie badawczym Opus „Weryfikacja formalna w modelach obliczeń rozszerzonych o dane”