The project concerns various issues related to the model theory and proof theory of first- and second-order arithmetic. The three main research topics are:

• Models of collection principles, in particular expansions of models that satisfy collection but not induction for a given class of formulas.
• The first-order consequences of second-order statements (in particular combinatorial statements) over various base theories in second-order arithmetic.
• The development of a theory of proof sizes and proof speedup for subtheories of arithmetic.

The candidate should have research experience (documented by publications or preprints) in at least one of the following areas of mathematical logic: nonstandard models of arithmetic, proof theory of arithmetic, reverse mathematics.

The project aims to bring together the paradigms of databases on one hand and knowledge representation and reasoning on the other hand, mainly in the area of query processing and reasoning.

Eligible candidates should hold a PhD degree in computer science and have an excellent background in one or more of the following fields:

• database theory
• knowledge representation and reasoning
• logic in computer science.

Application deadline: November 16, 2024

The remote online public defence of the doctoral dissertation will take place on 18 November 2024 at 16:00.

Title of the dissertation: Equivariant Khovanov Homotopy Types
Supervisor: Assoc. Prof. Maciej Borodzik (Institute of Mathematics Polish Academy of Sciences, University of Warsaw)

The link to the defence meeting will be made available after prior registration by e-mail rnd.matinf@uw.edu.pl.

The registration of participants will be open until 15th November 2024.

Our Machine Learning students hold each year a mini-conference presenting the results of their master thesis projects. We invite you to see how ML is applicable in various areas of life. Presentations are in English (as the studies are).

Two Master's degree student scholarships in the project "Integrative analysis of single-cell genomics data" funded by the National Science Centre, Poland (2020/39/D/NZ2/03461). Successful candidates will work on the development of computational methods for analysis of experimental data from single-cell sequencing.

The MSc scholarships offered in NCN SONATA BIS project "Geometry structures behind tensors" for the academic year 2024/25 were awarded to Jakub Jagiełła and to Weronika Obcowska. Congratulations!

The remote online public defence of the doctoral dissertation will take place on 30 September 2024 at 10:00 AM .

Title of the dissertation: Partial Differential Equations on Low-Dimensional Structures
Supervisor: Assoc. Prof. Anna Zatorska-Goldstein (University of Warsaw)

The link to the defence meeting will be made available after prior registration by e-mail rnd.matinf@uw.edu.pl. The registration of participants will be open until September 27th, 2024.

There is an opening for a scholarship for 6 months starting from October 2024, under the NCN grant “High-Dimensional Data Processing using Sample Compression and Dimensionality Reduction”, which aims to develop efficient algorithms for processing high-dimensional data using geometric and probabilistic tools. Typical areas involve developing geometric algorithms for processing data in non-Euclidean metrics and more general distance functions, reducing data dimensionality, sample compression schemes, etc.

The principal investigator is dr. Kunal Dutta.

We offer a one-year student fellowship within the NCN grant "Frontiers of automatic analysis of concurrent systems". The project aims at advancing theoretical foundations at the borderline between automata theory, concurrency and formal verification.

The project is led by Sławomir Lasota.

One master student position is offered in the project “Singularities in calculus of variations and partial differential equation”, Polonez bis co-funded by the National Science Centre and the European Union Framework Programme for Research and Innovation Horizon 2020 under the Marie Sklodowska-Curie grant agreement no. 945339 grant no. 2021/43/P/ST1/01501.

The project is led by Rémy Rodiac.

Two Ph.D. positions in the project are offered in the project “Singularities in calculus of variations and partial differential equation”, Polonez bis co-funded by the National Science Centre and the European Union Framework Programme for Research and Innovation Horizon 2020 under the Marie Sklodowska-Curie grant agreement no. 945339 grant no. 2021/43/P/ST1/01501.

The project is led by Rémy Rodiac.

One Ph.D. position is offered in the project „Defining (sex and age) cell-specific epigenetic mechanisms underlying Environmental Enrichment/Exercise as non-pharmacological intervention for Alzheimer’s and Huntington’s disease and related potential noninvasive biomarkers” financed from National Science Centre (NCN) JPND grant No 2022/04/Y/NZ2/00116.

The project is led by Bartosz Wilczyński.

One Ph.D. position is offered in the project „Variational Problems With Singularities Arising From Mathematical Physics” financed from National Science Centre (NCN) Sonata grant no. 2022/47/D/ST1/00487.

The project is led by Bartosz Bieganowski.

The Skłodowska Quantum Conference (QURIE) will gather leading experts in quantum science, focusing on groundbreaking fields such as quantum communication, cryptography, computation, machine learning, and quantum technologies.

PhD scholarship is offered in NCN Sonata research project "Structure and algorithms for graph classes defined by transduction-closed properties".

The topic of the project lies in the intersection of structural graph theory, algorithmics and finite model theory. The aim of the project is to provide new structural and algorithmic tools for graph classes that are well-behaved with respect to so-called first-order transductions.

Principal investigator: Jakub Gajarský.