Post-Doctoral Research Visit F - m Bridging The Gap Between Combinatorial Proof Theory And Subatomic Proof Theory H/F INRIA
Palaiseau - 91 CDD- 🕑 24 mois
- Bac +5
- Service public des collectivités territoriales
Les missions du poste
Post-Doctoral Research Visit F/M Bridging the gap between combinatorial proof theory and subatomic proof theory
Le descriptif de l'offre ci-dessous est en Anglais
Type de contrat : CDD
Niveau de diplôme exigé : Thèse ou équivalent
Fonction : Post-Doctorant
A propos du centre ou de la direction fonctionnelle
The Inria Saclay-Île-de-France Research Centre was established in 2008. IT has developed as part of the Saclay site in partnership with Paris-Saclay University and with the Institut Polytechnique de Paris since 2021.
The centre has 39 project teams, 27 of which operate jointly with Paris-Saclay University and the Institut Polytechnique de Paris. Its activities occupy over 600 scientists and research and innovation support staff, including 54 different nationalities.
Contexte et atouts du poste
The PARTOUT team is based at the Inria research center Saclay which located at the heart of the Paris-Saclay scientific and technological excellence cluster. IT is closely connected to the Université Paris-Saclay and the Institut Polytechnique de Paris, and IT has over 600 scientists working in 37 project teams.
In 2019, Inria and University College London (UCL) signed an agreement to strengthen and structure the impact of scientific collaborations between the Institute and its London partners, first and foremost UCL, particularly in the fields of artificial intelligence, machine learning and statistics, as well as all scientific fields of interest to Inria.
Mission confiée
Candidates for postdoctoral positions are recruited after the end of their Ph.D. or after a first post-doctoral period : for the candidates who obtained their PhD in the Northern hemisphere, the date of the Ph.D. defense shall BE later than September 1, 2022; in the Southern hemisphere, later than April 1, 2022. In order to encourage mobility, the postdoctoral position must take place in a scientific environment that is truly different from the one of the Ph.D. (and, if applicable, from the position held since the Ph.D.); particular attention is thus paid to French or international candidates who obtained their doctorate abroad.
Principales activités
Proof theory is a central area of theoretical computer science, as IT can provide the foundations not only for logic programming and functional programming, but also for the formal verification of software. Yet, despite the crucial role played by formal proofs, we have no proper notion of proof identity telling us when two proofs are the same. This is very different from other areas of mathematics, like group theory, where two groups are the same if they are isomorphic, or topology, where two spaces are the same if they are homeomorphic.
The problem is that proofs are usually presented by syntactic means, and depending on the chosen syntactic formalism, the same proof can look very different. This is the motivation to find ways to describe proofs independent of the formalisms, i.e., canonical representations which do not rely on some particular syntax of a chosen deductive formalism. One such presentation is given by combinatorial proofs which represent proofs as graphs that abstract away from the syntax of the proof rules.
Subatomic proof theory takes the opposite approach. IT treats atoms like binary connectives. This unifies the rules of inference to a single shape, but IT also introduces more syntax. This additional syntax is helpful for studying various forms of proof normalizations, but IT is in the way for studying proof identity.
The work of the successful postdoc candidate will focus on investigating ways to combine the advantages of combinatorial proofs and subatomic proofs. For this the postdoc will profit from the expertise of the PARTOUT team in all areas of proof theory, in particular, in the area of the deep deep inference formalism, which has close connections with combinatorial proof theory and subatomic proof theory.
Compétences
Fluent in English. Knowledge of French is not a requirement for the position. There are French courses available on-site, if you are interested.
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 (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
Rémunération
2788 € gross/month
L'adresse du poste
Localisez l'entreprise et calculez votre temps de trajet en un clic !
Calculer mon temps de trajet
Bienvenue chez INRIA
A propos d'Inria
Inria est l'institut national de recherche dédié aux sciences et technologies du numérique. Il emploie 2600 personnes. Ses 215 équipes-projets agiles, en général communes avec des partenaires académiques, impliquent plus de 3900 scientifiques pour relever les défis du numérique, souvent à l'interface d'autres disciplines. L'institut fait appel à de nombreux talents dans plus d'une quarantaine de métiers différents. 900 personnels d'appui à la recherche et à l'innovation contribuent à faire émerger et grandir des projets scientifiques ou entrepreneuriaux qui impactent le monde. Inria travaille avec de nombreuses entreprises et a accompagné la création de plus de 200 start-up. L'institut s'eorce ainsi de répondre aux enjeux de la transformation numérique de la science, de la société et de l'économie.
Hellowork a estimé le salaire pour ce métier à Palaiseau
Le recruteur n'a pas communiqué le salaire de cette offre mais Hellowork vous propose une estimation (fourchette variable selon l'expérience).
Estimation basée sur les données INSEE et les offres d’emploi similaires.
Estimation basse
27 500 € / an 2 292 € / mois 15,11 € / heureSalaire brut estimé
37 500 € / an 3 125 € / mois 20,60 € / heureEstimation haute
50 000 € / an 4 167 € / mois 27,47 € / heureCette information vous semble-t-elle utile ?
Merci pour votre retour !
- Palaiseau - 91
- CDD
Créez une alerte
Pour être informé rapidement des nouvelles offres, merci de préciser les critères :
Finalisez votre candidature
sur le site du recruteur
Créez votre compte pour postuler
sur le site du recruteur !
sur le site du recruteur
sur le site du recruteur !
Ces offres pourraient aussi
vous intéresser
Recherches similaires
- Job Enseignant-chercheur
- Job Recherche
- Job Étampes
- Job Dourdan
- Job Corbeil-Essonnes
- Job Massy
- Job Montgeron
- Job Brétigny-sur-Orge
- Job Les Ulis
- Job Draveil
- Job Milly-la-Forêt
- Job Yerres
- Job Technicien bureau d'étude
- Job Chargé de projet
- Job Technicien d'études de prix
- Job Responsable de bureau d'études
- Job Responsable technique
- Entreprises Recherche
- Entreprises Enseignant-chercheur
- Entreprises Palaiseau
- Job Fonction publique
- Job Collectivités
- Job Fonction publique territoriale
- Job Public
- Job Numérique
- Job Fonction publique Palaiseau
- Job Anglais Palaiseau
- Job Collectivités Palaiseau
- Job Cdd Palaiseau
- Job Fonction publique territoriale Palaiseau
- INRIA Palaiseau
- INRIA Enseignant-chercheur
{{title}}
{{message}}
{{linkLabel}}