A competition for the position of assistant position in the ERC Consolidator Grant POLARIS entitled: Reachability in Infinite Systems at High Resolution

Descrizione

A competition for the position of assistant position in the ERC Consolidator Grant POLARIS entitled: Reachability in Infinite Systems at High Resolution Sintesi in italiano (traduzione automatica): L'Università di Varsavia cerca un ricercatore per una posizione di assistente nel progetto ERC Consolidator Grant POLARIS, che si occupa della raggiungibilità in sistemi infiniti ad alta risoluzione. La posizione è a tempo determinato, con inizio previsto non prima del 1 ottobre 2026, e offre un contratto di lavoro all'80% per un anno, con possibilità di estensione. I candidati devono possedere una laurea magistrale in matematica o informatica e avere significative esperienze scientifiche, oltre a essere dottorandi in uno dei due campi. È richiesta una buona comprensione di concetti teorici fondamentali in aree come la teoria degli automi e la complessità computazionale. Il lavoro non prevede obblighi di insegnamento e include un generoso budget per viaggi. COMPETITION ANNOUNCEMENT The dean of the Faculty of Mathematics, Informatics and Mechanics, with the consent of the Rector of the University of Warsaw, announces a competition for the position of assistant position in the ERC Consolidator Grant POLARIS entitled: Reachability in Infinite Systems at High Resolution The masculine personal nouns used in the advertisement apply to people of all genders. About the programme/project/undertaking Title of programme/project/undertaking Reachability in Infinite Systems at High Resolution (acronym: POLARIS) Type of programme/project/undertaking ERC Consolidator Grant Funding institution European Research Council Duration of programme/project/undertaking 01.09.2026 – 31.08.2031 Head of programme/project/undertaking dr hab. Wojciec h Czerwiński Description of programme/project/undertaking The project "POLARIS: Reachability in Infinite Systems at High Resolution“ in financed by European Union (contract nr 101231447, principal investigator: dr. hab. Wojciech Czerwiński, prof. ucz.) investigation of challenging problems in the area of infinite-state systems. The main emphasis is put on understanding fundamental models of computation and simply defined, natural problems. The work in this project will concentrate on the following two directions: 1) The reachability problem in VASS and related systems. The main goal here is better understanding of the complexity of the reachability problem in subclasses of VASS and their generalisations. Additionally, other systems modelling both concurrency and recursion will also be considered. 2) Separability problem. One of the main goal here is to understand decidability states of the F-separability problems for classes G, where F are various natural subclasses of regular languages (like locally testable languages, or first order logic definable languages) and G are various natural superclasses of regular languages (like VASS languages or languages of One counter nets). Position details Position title assistant Organisational unit Faculty of Mathematics, Informatics and Mechanics Employment group research Position profile R1 Academic discipline Informatics Number of positions 1 Form of employment and length of working time (proportionally to full-time employment) contract of employment on 80% time fixed-term basis Expected date of commencement of work and employment period • no sooner than on 1 October 2026, starting date to be set between the candidate and principal investigator • the duration of employment: for 12 months with possible extension Remuneration The offered salary combined (basic salary 5 575 PLN gross/month plus project bonus) is around 10 615 PLN per month pre-tax. Other working conditions • workplace: Faculty of Mathematics, Informatics and Mechanics, University of Warsaw, Banacha 2, 02-097 Warsaw • the position comes with no teaching obligations and generous travel budget Basic responsibilities and obligations • conducting research within the scope of research tasks in the project; • publishing results of research Conditions for entering the competition • the competition may be entered by candidates who meet the conditions set out in art. 113 of the Law on Higher Education and Science of July 20, 2018 (Journal of Laws of 2024, item 1571, as amended); • at the moment of employment, the candidate must hold a master degree in either mathematics or computer science; • significant scientific achievements; • plan for future research activities; • international experience. In addition, we expect that the candidate will be a PhD student in either mathematics or computer science and will have excellent preparation in both disciplines. A good understanding of fundamental theoretical concepts and results in one or more of the following fields is required: – automata theory and logic; – computational complexity; – combinatorics. Criteria for the assessment of candidates in a competition The criteria indicated below will be taken into account considerin Annuncio in inglese. Fonte: Eurax