PhD positions

Summary

The following PhD subject are proposed by ITI IRMIA++ members for PhD contracts starting in september/october 2023.

In order to apply, please send to iti-irmiapp[at]unistra.fr:

  • the subject you are applying for (Please note: applications that do not specify the chosen subject will not be considered)
  • your resume
  • a cover letter
  • full transcript of Master's degree grades
  • names and contact information of references.

Deadline for application reception : April 25th, 2023


If you are interested in a subject which is not in the subjects list, please contact directly the researchers and team you want to work with.

 

If you start a PhD in an ITI IRMIA++ team, we can offer you a financial help for your installation !
More information on the dedicated page.

Subject: Ferromagnetism and domain walls in nano wires

Supervision

Raphaël Côte and Clémentine Courtès (IRMA, Strasbourg)

Laboratory and team

IRMA, Strasbourg - Team “MOCO"

Subject description

Ferro magnetic nano wires are very promising material for data storage. One of the key phenomena they produce are domain wall, which correspond to transition of the magnetization. Our goal is to study the stability and control of such configuration, in particular in the case of notched nano wires.

Related mathematical skills

Fourier Analysis
Analysis of PDE (elliptic, evolution)
Control theory

Subject: Geometric aspects of the p-adic Langlands program

Supervision

Johannes Anschütz (Bonn), Arthur-César Le Bras (Strasbourg) and Rutger Noot (Strasbourg)

Laboratory and team

IRMA, Strasbourg - Team "AGA"

Subject description

The work of Fargues-Scholze opened the way to the study of local Langlands by geometric methods. It remains mysterious whether such methods apply to its p-adic variant and the project would consist in investigating some instances of this idea.

Related mathematical skills

Algebraic geometry
Non-archimedean geometry
Etale cohomology
Homological/ homotopical algebra

 

Subject: Making Coq Proofs More Reliable and More Easily Reusable: Applications to Mathematics

Supervision

Nicolas Magaud (ICube, Strasbourg)

Laboratory and team

ICube, Strasbourg - Team "IGG"

Subject description

Proof assistants like Coq or Lean are increasingly popular to help mathematicians carry out proofs of the results they conjecture. However, formal proofs remain highly technical and are difficult to reuse. In this thesis, we propose to design and implement new tools to improve the robustness, the inter-operability and the reuse of formal proof developments. We hope this will make proving new results formally easier.

Related mathematical skills

Foundations of Mathematics
Logic and Type Theory
Applications are possible in various fields of mathematics including combinatorics, algebraic and/or differential geometry and applied mathematics.

 

Subject: Modelling of compressible two-phase flows involving shock waves and phase transition

Supervision

Philippe Helluy (IRMA, Strasbourg), Yannick Hoarau (ICUBE, Strasbourg) and Eric Goncalves (Pprime, Poitiers)

Laboratory and team

IRMA, Strasbourg

Subject description

Liquid-vapor compressible two-phase flows   undergoes phase transition with non-equilibrium thermodynamics. We plan to explore different strategies regarding the mass transfer modelling and to build accurate numerical methods.

Related mathematical skills

Non-linear PDE hyperbolic system
Liquid/vapor phase transition
Well-posed thermodynamics
Shock-capturing numerical schemes

Subject: Rabinowitz Floer homology, string topology and Floer homotopy theory

Supervision

Alexandru Oancea (IRMA, Strasbourg)

Laboratory and team

IRMA, Strasbourg - Team "Geometry"

Subject description

The goal is to use the Frobenius algebra structure on Rabinowitz Floer homology (RFH) to perform explicit computations, and to give a description of RFH as (topological) Tate-Hochschild homology.

Related mathematical skills

Symplectic topology
Geometric topology
Homotopy theory

 

Subject: Spectral theory of random non self adjoint operators

Supervision

Raphaël Côte and Martin Vogel (IRMA, Strasbourg)

Laboratory and team

IRMA, Strasbourg - Teams "MOCO" and "Analysis"

Subject description

There exist powerful tools for the analysis of self-adjoint operator, but these are not suited for non  self-adjoint case, which can appear in natural Physics situations : their spectrum can very unstable by perturbation. The goal of the thesis is to study spectral properties of non self-adjoint semi-classical pseudo-differential operators under small random perturbations.

Related mathematical skills

Fourier Analysis
Semi-classical analysis
Analysis of PDE

INRIA
UFR de mathématique et d'informatique
Faculté de physique et ingénierie
ICUBE
IRMA
Observatoire astronomique de Strasbourg