Post-Doctoral Research Visit F/M Constructive proof theory of structural extensions of well-quasi orders

Contexte et atouts du poste

The candidate will be a member of the Picube team at the IRIF lab (irif.fr) and a member of the Malinca project (malinca.org).

Travel expenses will be covered within the limits of the scale in force.

Mission confiée

The recruited person will work in collaboration with Hugo Herbelin and logicians at IRIF.

The objective of the postdoc is to specially study variants of Kruskal's theorem and of the graph minor theorem from a constructive mathematics point of view.

Principales activités

The work will notably consist in independent research, collaborative research, publications of the results obtained, deepened bibliographical work, participation to the research activities in proof theory at IRIF and laboratories nearby.

Compétences

Technical skills and level required : expertise in constructive mathematics and order theory

Avantages

• Subsidized meals
• Partial reimbursement of public transport costs
• Leave: 7 weeks of annual leave + 10 extra days off due to RTT (statutory reduction in working hours) + possibility of exceptional leave (sick children, moving home, etc.)
• Possibility of teleworking and flexible organization of working hours
• Professional equipment available (videoconferencing, loan of computer equipment, etc.)
• Social, cultural and sports events and activities
• Access to vocational training
• Social security coverage