Postdoc in Petri Net Theory & Workflow Analysis

University of Warsaw: Faculty of Mathematics, Informatics and Mechanics; Polska; On-site; PLN 84,000 - 100,000; Full time

Job summary

University of Warsaw: Faculty of Mathematics, Informatics and Mechanics poszukuje postdoktoranta/assistant profesora do pracy nad projektem OPUS »Advancing Petri Net Theory« w zakresie teorii sieci Petriego i jej zastosowań w danych przepływowych. Praca obejmuje badania, publikacje i rozwój naukowy bez obowiązków dydaktycznych. Wynagrodzenie ok.

8250 PLN brutto miesięcznie, okres 12 miesięcy z możliwością przedłużenia. Miejsce pracy: Warszawa, budynek Wydziału, 40 godzin tygodniowo.

Qualifications

• Wymagany stopień doktora z informatyki (PhD).
• Solidne podstawy w jednej lub kilku z wymienionych dziedzin: teorii współbieżności, teorii automatów, logiki, weryfikacji formalnej.
• Doskonały dorobek publikacyjny i motywacja do badań w fundamentach informatyki.

Responsibilities

• Prowadzenie badań w ramach projektu OPUS.
• Publikowanie wyników badań.
• Brak obowiązków dydaktycznych w czasie zatrudnienia.

Skills

Concurrency theory

Automata theory

Logic

Formal verification

Education

PhD in Computer Science

Job description

University of Warsaw: Faculty of Mathematics, Informatics and Mechanics poszukuje postdoktoranta/assistant profesora do pracy nad projektem OPUS »Advancing Petri Net Theory« w zakresie teorii sieci Petriego i jej zastosowań w danych przepływowych. Praca obejmuje badania, publikacje i rozwój naukowy bez obowiązków dydaktycznych. Wynagrodzenie ok.

8250 PLN brutto miesięcznie, okres 12 miesięcy z możliwością przedłużenia. Miejsce pracy: Warszawa, budynek Wydziału, 40 godzin tygodniowo.