You are not logged in | Log in

2024-12-03

None

2024-11-29

Two IT-specialist in the scientific project "Smart-Contract Protocols: Theory for Applications"

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

More
2024-11-26

None

2024-11-14

Karol Żebrowski – public defence of the doctoral dissertation

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)

More
2024-11-12

None

More
2024-11-07

None

More
2024-11-05

None

2024-11-05

None

2024-11-05

None

2024-11-04

Piotr Różański – public defence of the doctoral dissertation

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)

More
2024-10-24

Tomasz Lizurej – public defence of the doctoral dissertation

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)

More
2024-10-23

None

More
2024-10-16

One postdoctoral position in the scientific project "Between proof theory, reverse mathematics, and the model theory of arithmetic"

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.

More
2024-10-16

One postdoctoral research position in the scientific project "Infinity in reasoning about data and knowledge"

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

More
2024-10-11

Jakub Paliga – public defence of the doctoral dissertation

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.

More