MASTER STUDENT POSITION IN “SINGULARITIES IN CALCULUS OF VARIATIONS AND PARTIAL DIFFERENTIAL EQUATIONS” NCN GRANT

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.

Requirements:

• Bachelor in mathematics, computer science, physics, or related fields.
• Solid background in functional analysis, mathematical analysis and partial differential equations.
• Good written and oral English language skills.

Tasks:

• Participation in research project entitled “Singularities in calculus of variations and partial differential equation” no. 2021/43/P/ST1/01501
• Learning and performing research under supervision of the principal investigator
• Presentation of results at conferences and seminars

Deadline for applications: 27th of December 2024
Master scholarship: 1000 PLN for 6 months (until June 2025)

Required documents:

• CV (including the list of publications, awards, internships, workshops, conferences)
• cover letter by an applicant

The document should also include the date of planned end of the Master studies and the following clause: “I consent to the processing of my personal data contained in my offer for the purposes necessary for the recruitment process in accordance with the Personal Data Protection Act of 29 August 1997 (consolidated text: Journal of Laws 2016, item 922, as amended”
Documents should be sent by email to: rrodiac@mimuw.edu.pl

PHD POSITION IN “SINGULARITIES IN CALCULUS OF VARIATIONS AND PARTIAL DIFFERENTIAL EQUATIONS” NCN GRANT

One Ph.D. 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.

Requirements:

• MSc in mathematics, computer science, physics, or related fields.
• Solid background in functional analysis, mathematical analysis and partial differential equations.
• Experience in conducting academic research is an advantage.
• Good written and oral English language skills.

The selected candidate must be enrolled to a Doctoral School located in Poland (at the start of the scholarship in January 2025).

Tasks:

• Participation in research project entitled “Singularities in calculus of variations and partial differential equation” no. 2021/43/P/ST1/01501
• Learning and performing research under supervision of the principal investigator
• Writing research papers
• Presentation of results at conferences and seminars

Deadline for applications: 27th of December 2024

PhD scholarship: 5000 PLN for 6 months (until June 2025) on top of the scholarship offered by Doctoral School

Required documents:

• CV (including the list of publications, awards, internships, workshops, conferences)
• cover letter by an applicant

The document should also include the date of planned end of the Master studies and the following clause: “I consent to the processing of my personal data contained in my offer for the purposes necessary for the recruitment process in accordance with the Personal Data Protection Act of 29 August 1997 (consolidated text: Journal of Laws 2016, item 922, as amended”
Documents should be sent by email to: rrodiac@mimuw.edu.pl

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

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)

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.