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

Descrizione

A competition for the position of postdoctoral position (assistant professor) in the ERC Consolidator Grant POLARIS entitled: Reachability in Infinite Systems at High Resolution. Sintesi in italiano (traduzione automatica): L'Università di Varsavia ha indetto un concorso per una posizione di ricercatore postdoc (professore assistente) nell'ambito del progetto ERC Consolidator Grant POLARIS, che si occupa della raggiungibilità in sistemi infiniti ad alta risoluzione. La posizione è a tempo pieno e avrà inizio non prima del 1 ottobre 2026, con una durata iniziale di 12 mesi e possibilità di estensione. I candidati devono possedere un dottorato di ricerca in matematica o informatica e avere significative esperienze scientifiche, oltre a un piano per attività di ricerca future. È richiesta una solida conoscenza di teoria degli automi, logica, algebra e combinatoria. La posizione non prevede obblighi di insegnamento e offre un budget generoso 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 postdoctoral position (assistant professor) 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. Wojciech 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: 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. 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: postdoctoral position (assistant professor) Organisational unit: Faculty of Mathematics, Informatics and Mechanics Employment group: research Position profile: R2 Academic discipline: Informatics Number of positions: 1 Form of employment and length of working time: contract of employment - full-time position (proportionally to full-time employment) 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 8 850 PLN gross/month plus project bonus) is around 18 300 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 PhD degree in either mathematics or computer science; significant scientific achievements; plan for future research activities; international experience. In addition, we expect: that candidate at the moment of employment will have an excellent background in both disciplines (mathematics and computer science). A good understanding of fundamental theoretical concepts and results in one or more of the following fields is required: automata theory and logic; algebra; combinatorics. If hired, we expect the University of Warsaw to be the primary workplace for the successful candidate. Criteria for the Annuncio in inglese. Fonte: Euraxes