ORGANISATION/COMPANYUniversity of Warsaw: Faculty of Mathematics, Informatics and Mechanics
RESEARCH FIELDComputer scienceMathematics
RESEARCHER PROFILEFirst Stage Researcher (R1)Recognised Researcher (R2)
APPLICATION DEADLINE03/12/2021 00:00 - Europe/Brussels
LOCATIONPoland › Warsaw
TYPE OF CONTRACTTemporary
HOURS PER WEEK36
OFFER STARTING DATE01/03/2022
1 postdoctoral research position in the scientific project “Infinity in reasoning about data and knowledge”
financed by the National Science Center (grant agreement no UMO-2018/30/E/ST6/00042)
Principal Investigator: Filip Murlak
The National Science Center project „Infinity in reasoning about data and knowledge”, led by dr hab.Filip Murlak, prof. UW, is offering a postdoctoral research position in the Institute of Informatics at the Faculty of Mathematics, Informatics and Mechanics of the University of Warsaw.
Terms of employment
The selected candidate will be employed as full-time researcher (pol. adiunkt). The duration of employment is for three years. The starting date is 1st of March, 2022. The offered salary is around 7200 PLN per month pre-tax. The position comes with no teaching obligations and a generous travel budget. The selected candidate will work on problems at the intersection of the fields of database theory as well as knowledge representation and reasoning.
Description of the project
The project aims to bring together the paradigms of databases and knowledge representation and reasoning, mainly in the area of query processing and reasoning. A fundamental difference between these two paradigms concerns the assumption that the represented models are finite, present in databases and absent in knowledge bases. A similar mismatch can be seen between circuit-based processing and streaming algorithms, although this time it concerns not finiteness but the existence of a size bound. The research in the project focuses on the following directions:
● data processing in computing models with limited bandwidth;
● problems of evaluation, static analysis and optimization, especially in the context of designing formalisms for graph databases;
● reasoning in knowledge bases in the regime of finite, infinite and mixed models.
We expect that candidates at the moment of employment hold a PhD degree in computer science and have an excellent background in this discipline, in particular in one or more of the following fields:
● database theory,
● knowledge representation and reasoning,
● logic in computer science.
Research experience in any of the following areas will be an advantage:
● description logics, modal logics,
● ontology-mediated query answering, reasoning in knowledge bases,
● data stream processing,
● computational complexity,
● automata theory, finite model theory.
An application should include Curriculum Vitae that:
● presents an overview of the background and scientific achievements of the candidate;
● lists all the candidate’s research works (including not yet published manuscripts);
● gives a list of three experienced researchers that may serve as references for the candidate.
In addition, there should be a signed cover letter addressed to the Dean of the Faculty of Mathematics, Informatics and Mechanics, University of Warsaw together with the personal data clause (attached). No research statements are required. Applications, as well as further questions on both the scientific topic of the project and formal details of the call procedure should be directed to dr hab. Filip Murlak:
In order to apply for the position, candidates should send an e-mail and submit the documents as attached .pdf files.
Application deadline: 3 December 2021
Applications which do not satisfy the above requirements or are submitted after the deadline will not be considered for the position. The applications will be evaluated by a selection committee appointed by the Dean of the Faculty of Mathematics, Informatics and Mechanics, University of Warsaw. The committee may invite candidates to a meeting, which will be conducted remotely. The results of the competition will be sent to candidates electronically on 17 January 2022 at the latest. The competition is the first stage of the recruitment process as described in the Statute of the University of Warsaw, the recommendation by the selection committee being a basis for its subsequent stages.
Open, Transparent, Merit based Recruitment procedures of Researchers (OTM-R)
Know more about it at University of Warsaw: Faculty of Mathematics, Informatics and Mechanics
Know more about OTM-R
EURAXESS offer ID: 702294
The responsibility for the jobs published on this website, including the job description, lies entirely with the publishing institutions. The application is handled uniquely by the employer, who is also fully responsible for the recruitment and selection processes.
Please contact firstname.lastname@example.org if you wish to download all jobs in XML.