Post-Doctoral Research Visit F/M Category theory for focussed logics and calculi

Inria

France

November 7, 2021

Description

2021-04143 - Post-Doctoral Research Visit F/M Category theory for focussed logics and calculi

Contract type : Fixed-term contract

Renewable contract : Oui

Level of qualifications required : PhD or equivalent

Fonction : Post-Doctoral Research Visit

About the research centre or Inria department

Located at the heart of the main national research and higher education cluster, member of the Université Paris Saclay, a major actor in the French Investments for the Future Programme (Idex, LabEx, IRT, Equipex) and partner of the main establishments present on the plateau, the centre is particularly active in three major areas: data and knowledge; safety, security and reliability; modelling, simulation and optimisation (with priority given to energy).

The 450 researchers and engineers from Inria and its partners who work in the research centre's 28 teams, the 60 research support staff members, the high- level equipment at their disposal (image walls, high-performance computing clusters, sensor networks), and the privileged relationships with prestigious industrial partners, all make Inria Saclay Île-de-France a key research centre in the local landscape and one that is oriented towards Europe and the world.

Context

The job would take place in INRIA Saclay, in the southern suburb of Paris, France.

Flexibility due to COVID-related travel restrictions is possible, but the job is not full-remote.

Interested applicants should contact us directly: Gabriel Scherer gabriel.scherer@inria.fr Noam Zeilberger noam.zeilberger@lix.polytechnique.fr please include a CV with your application.

Assignment

We (Gabriel Scherer and Noam Zeilberger) are looking for candidates for a one-year post-doc position, ideally starting in January 2022, at INRIA Saclay / École Polytechnique (in the Paris area, France), as part of the Partout research group.

https: // team.inria.fr/partout/

Broadly, the subject of the postdoc will be categorical perspectives on the lambda-calculus and proof theory. Potential topics of interest include, for example, (multi)categorical structures capturing notions of focusing, as usually formulated in sequent calculi for various logics, as well as fibrational structures capturing different notions of type inference for lambda-calculi.

Main activities

Post-doctoral research: discussing the topic with us and hopefully getting some new understanding, continuing some of your past work on the side, and of course applying for long-term positions in the meantime.

Skills

Knowledge of French is not a requirement for the position. There are French courses available on-site, if you are interested.

Benefits package
  • 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 (after 6 months of employment) 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
  • Remuneration

    2653 € /month gross salary

    General Information
  • Theme/Domain : Proofs and Verification Software engineering (BAP E)

  • Town/city : Palaiseau

  • Inria Center : CRI Saclay - Île-de-France
  • Starting date : 2021-12-01
  • Duration of contract : 12 months
  • Deadline to apply : 2021-11-07
  • Contacts
  • Inria Team : PARTOUT
  • Recruiter : Scherer Gabriel / gabriel.scherer@inria.fr
  • The keys to success

    This position is asking for expertise in category-theory and strong interest in lambda-calculus and focused logics, or the other way around.

    About Inria

    Inria is the French national research institute dedicated to digital science and technology. It employs 2,600 people. Its 200 agile project teams, generally run jointly with academic partners, include more than 3,500 scientists and engineers working to meet the challenges of digital technology, often at the interface with other disciplines. The Institute also employs numerous talents in over forty different professions. 900 research support staff contribute to the preparation and development of scientific and entrepreneurial projects that have a worldwide impact.

    Instruction to apply

    Defence Security : This position is likely to be situated in a restricted area (ZRR), as defined in Decree No. 2011-1425 relating to the protection of national scientific and technical potential (PPST).Authorisation to enter an area is granted by the director of the unit, following a favourable Ministerial decision, as defined in the decree of 3 July 2012 relating to the PPST. An unfavourable Ministerial decision in respect of a position situated in a ZRR would result in the cancellation of the appointment.

    Recruitment Policy : As part of its diversity policy, all Inria positions are accessible to people with disabilities.

    Warning : you must enter your e-mail address in order to save your application to Inria. Applications must be submitted online on the Inria website. Processing of applications sent from other channels is not guaranteed.