Another call for Thematic Research Programme has been opened. Funding can be obtained for a project consisting of at least two of the following:
a) temporary employment of outstanding, experienced or young scientists;
b) organization of conferences;
c) organization of workshops;
d) organization of schools;
e) visits of foreign scientists lasting no longer than 1 month

Closing date for applications: 15.01.2025

The ERC project “Smart-Contract Protocols: Theory for Applications” (PROCONTRA), is offering 2 reasearch and technical specialist positions at the Faculty of Mathematics, Informatics, and Mechanics of the University of Warsaw.
Project PROCONTRA focuses on studying challenging problems in the area of smart contracts and blockchain. The main emphasis is on fundamental cryptographic techniques.

We expect candidates to have a master's degree in mathematics or computer science at the time of hire, and an excellent background in both fields. A good command of English, a good understanding of basic theoretical concepts and programming skills are required.

Lead scientist: prof. dr hab. Stefan Dziembowski

Deadline for application: Dec 15th 2024

Computer Science popularizer and a tutor of almost a hundred medalists of the International Computer Science Olympiad. Initiator of the first online programming competition "Pogromcy Algorytmów" ("Algorithm Busters"; today "Potyczki Algorytmiczne" - "Algorithm Battles"). Tutor and teacher of world champions in the International Collegiate Programming Contest in 2003 and 2007. Co-organizer of the Polish Academic Collegiate Programming Contest, chairman of the committee of the Computer Science Olympiad.
Our warmest congratulations!

Speaker: Anna Gambin

Title: Algorithmic challenges in mass spectrometry

When: December 5, 2024, 2:30 p.m.

Where: room 2180

The public defence of the doctoral dissertation will take place on 26 November 2024 at 02:00 PM in room 2180 in the building of the MIMUW Faculty at 2 Banacha Street, Warsaw.

Title of the dissertation: Analysis of the Simple Refreshing in the Noisy Leakage Model
Supervisor: prof. Stefan Dziembowski (University of Warsaw)

We are pleased to announce that Prof Piotr Sankowski has received the Wprost Innovator Special Award for outstanding achievements for Polish science in the field of artificial intelligence, in particular for his contribution to the development of the Polish research and development center IDEAS NCBR.

The public defence of the doctoral dissertation will take place on 20 November 2024 at 02:30 PM in room 2180 (sala RW) in the building of the MIMUW Faculty at 2 Banacha Street, Warsaw.

Title of the dissertation: Heterogeneous Matching Pursuit Implementation with Continuous Parameter Space Simulation
Supervisors: Prof. Krzysztof Stencel (University of Warsaw), Prof. Piotr Durka (University of Warsaw)

The public defence of the doctoral dissertation will take place on 22 November 2024 at 12:00 PM in room 2180 in the building of the MIMUW Faculty at 2 Banacha Street, Warsaw.

Title of the dissertation: On Security of Systems Built on Blockchains
Supervisor: Prof. Stefan Dziembowski (University of Warsaw)
Assistant supervisor: Ph.D. Tomasz Michalak (University of Warsaw)

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.