Post-doctoral Research Visit F/m Bridging The Gap
il y a 3 semaines
Le descriptif de l’offre ci-dessous est en Anglais_
**Type de contrat **:CDD
**Contrat renouvelable **:Oui
**Niveau de diplôme exigé **:Thèse ou équivalent
**Fonction **:Post-Doctorant
**Niveau d'expérience souhaité **:Jeune diplômé
**Contexte et atouts du poste**:
Every year Inria International Relations Department has a few postdoctoral positions in order to support Inria
international collaborations.
The postdoctoral contract will have a duration of 12 to 24 months. The default start date is November 1st, 2024
and not later than January 1st, 2025. The postdoctoral fellow will be recruited by the Inria Saclay Research Centre in
France but it is recommended that the time is shared between France and the UK (please note
that the postdoctoral fellow has to start his/her contract being in France and that the visits have to respect Inria
rules for missions)
**Mission confiée**:
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
**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.
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.
**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
**Informations générales**:
- **Thème/Domaine**: Preuves et vérification
Ingénierie logicielle (BAP E)
- **Ville**: Palaiseau
- **Centre Inria**: Centre Inria de Saclay
- **Date de prise de fonction souhaitée**: 2024-11-01
- **Durée de contrat**: 12 mois
- **Date limite pour postuler**: 2024-06-30
**Consignes pour postuler**:
**Sécurité défense**:
Ce poste est susceptible d’être affecté dans une zone à régime restrictif (ZRR), telle que définie dans le décret n°2011-1425 relatif à la protection du potentiel scientifique et technique de la nation (PPST). L’autorisation d’accès à une zone est délivrée par le chef d’établissement, après avis ministériel favorable, tel que défini dans l’arrêté du 03 juillet 2012, relatif à la PPST. Un avis ministériel défavorable pour un poste affecté dans une ZRR aurait pour conséquence l’annulation du recrutement.
**Politique de recrutement**:
Dans le cadre de sa politique diversité, tous les postes Inria sont accessibles aux personnes en situation de handicap.
**Contacts**:
- **Équipe Inria**: PARTOUT
- **Recruteur**:
**L'essentiel pour réussir**:
**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ér
-
Palaiseau, France INRIA Temps pleinContexte et atouts du poste Every year Inria International Relations Department has a few postdoctoral positions in order to support Inria international collaborations. The postdoctoral contract will have a duration of 12 to 24 months. The default start date is November 1st, 2024 and not later than January 1st, 2025. The postdoctoral fellow will be...
-
Palaiseau, France INRIA Temps pleinContexte et atouts du poste As part of a national project on quantum computing, the aim is to develop a model for quantum computing, using graphical and categorical structures in particular. Travel is financed by the project. Mission confiée Assignments : With the help of Renaud Vilmard and Vladimir Zamdzhiev, the recruited person will be...
-
Post-doctoral Research Visit F/m Adapting Deep
il y a 5 jours
Palaiseau, France Inria Temps pleinLe descriptif de l’offre ci-dessous est en Anglais_ **Type de contrat **:CDD **Contrat renouvelable **:Oui **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...
-
Palaiseau, France INRIA Temps pleinContexte et atouts du poste The Comete project team at the Inria Saclay Center specializes in security and privacy protection and has sixteen researchers ( Mission confiée The main mission of the recruited person will be to develop a method for the creation of an anonymous file based on a questionnaire survey in the social sciences and to...
-
Chercheur Post-doctoral
il y a 5 jours
Palaiseau, France CNRS Temps pleinCette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : vendredi 14 juin 2024 **Informations générales**: **Intitulé de l'offre **:CHERCHEUR POST-DOCTORAL (H/F) : Transfert-printing pour l'hybridation de dispositifs photoniques** Référence : UMR9001-SOPBOU-002 Nombre de Postes : 1 Lieu de travail :...
-
Palaiseau, France INRIA Temps pleinContexte et atouts du poste As part of an Exploratory Action (AEx) grant "IMPROOF" Members of the PARTOUT team (K. Chaudhuri - PI, B. Werner, L. Straßburger) Goal: Develop foundations and build prototypes for direct manipulation proofs for induction and co-induction Is regular travel foreseen for this post ? No. English fluency required...
-
24-097 Integration of Thermal Imaging and Radar for
il y a 1 mois
Palaiseau, France CNES - Centre National d'Etudes Spatiales Temps pleinDoctorat, 36 mois - Temps plein - Aucune expérience exigée - Maitrise, IEP, IUP, Bac+4 - Digital technologies for remote sensing **Mission**: This doctoral project is part of the Onera "MUSIC" research chair, led by Elise Colin, which focuses on developing innovative image processing and AI techniques for unconventional data. It explores the...
-
Palaiseau, France INRIA Temps pleinContexte et atouts du poste With the advent of consumption and dissemination of information online, it becomes important to verify factual information available.In particular, public figures, like politicians and elected officials, make public statements that have far-reaching implications. Thus, the task of fact checking becomes critical in order to...
-
Palaiseau, France CEA Temps pleinPosition description Category Mathematics, information, scientific, software Contract Fixed-term contract Job title Research Engineer in Model-Based Engineering for Security Assurance of Medical Devices H/F Socio-professional category Executive Contract duration (months) 24 Job description Advances in healthcare...
-
Palaiseau, France Centre Spatial de l'Ecole Polytechnique Temps pleinContext of the internshipThe Space Center of École Polytechnique (CSEP), created in 2010, proposes and supervises space projects for École Polytechnique students. CSEP coordinates and brings together, through its projects, students, teacher-researchers, industrialists and French and European space agencies. It is financially and operationally supported by...
-
Palaiseau, France Centre Spatial de l'Ecole Polytechnique Temps pleinContext of the internship The Space Center of École Polytechnique (CSEP), created in 2010, proposes and supervises space projects for École Polytechnique students. CSEP coordinates and brings together, through its projects, students, teacher-researchers, industrialists and French and European space agencies. It is financially and operationally supported by...
-
Palaiseau, France Centre Spatial de l'Ecole Polytechnique Temps pleinContext of the internship The Space Center of École Polytechnique (CSEP), created in 2010, proposes and supervises space projects for École Polytechnique students. CSEP coordinates and brings together, through its projects, students, teacher-researchers, industrialists and French and European space agencies. It is financially and operationally supported by...
-
Palaiseau, Île-de-France Cea Temps pleinWe are looking for a highly skilled and motivated Research Engineer to join our team to develop cutting-edge technology in the field of Electronic Design Automation (EDA) .In the context of a national project, you will be responsible for developing a simulation environment for chiplet-based SoC architecture, using AI-driven methodologies to improve existing...
-
Palaiseau, France Cea Temps pleinWe are looking for a highly skilled and motivated Research Engineer to join our team to develop cutting-edge technology in the field of Electronic Design Automation (EDA) .In the context of a national project, you will be responsible for developing a simulation environment for chiplet-based SoC architecture, using AI-driven methodologies to improve existing...
-
Grid Coloring for Object Sensing and Localization
il y a 1 mois
Palaiseau, France INRIA Temps pleinContexte et atouts du poste Within the framework of a partnership with Nokia Bell Labs. Starting time: Position available immediately (duration 6 months). Mission confiée Internship Supervisors: Cedric Adjih, Research Scientist Department/Lab: INRIA, TRiBE team, Saclay, France Contact: Chung Shue (Calvin) Chen, Research...
-
24-246 Radar Super-resolution By Deep Learning:
il y a 1 mois
Palaiseau, France CNES - Centre National d'Etudes Spatiales Temps pleinDoctorat, 36 mois - Temps plein - Aucune expérience exigée - Maitrise, IEP, IUP, Bac+4 - Digital technologies for remote sensing **Mission**: This doctoral project is part of the Onera "MUSIC" research chair, led by Elise Colin, which focuses on developing innovative image processing and AI techniques for unconventional data. Establishing connections...
-
Specialist in Numerical Climate Models
il y a 1 mois
Palaiseau, France TotalEnergies Temps pleinResearch Innovation&Developpt - PALAISEAU-ROUTE DE SACLAY(FRA) - France - To successfully integrate the electricity and renewable energy businesses, TotalEnergies has created a new entity, OneTech, which brings together all the technical and R&D expertise of the branches (Exploration & Production, Refining & Chemicals, Marketing & Services and Gas,...
-
Single-Photon Source Fabrication Engineer
il y a 1 semaine
Palaiseau, France Quandela Temps pleinQuandela is a leader in the development and commercialization of quantum computers based on the manipulation of single photons. We are seeking a full-time (permanent contract) Fabrication Engineer to participate in the optimization of Quandela's single-photon sources. We work with quantum dots in micropillar cavities and you will join the research team...
-
Circulateur Magnéto-plasmonique
il y a 1 mois
Palaiseau, France Université Paris-Saclay GS Physique Temps plein**Circulateur magnéto-plasmonique : de la conception à la démonstration expérimentale // Magneto-plasmonic circulator : from design to experimental demonstration**: - Réf **ABG-121816** **ADUM-55596** - Sujet de Thèse- 26/03/2024- Université Paris-Saclay GS Physique- Lieu de travail- Palaiseau - France- Intitulé du sujet- Circulateur...
-
Ingénieur architectures optoélectroniques d'horloges H/F
il y a 4 jours
Palaiseau, France THALES Temps pleinPoste : QUI SOMMES-NOUS ? Situé sur le campus de l'École polytechnique, au coeur du pôle scientifique et technologique d'envergure mondiale de Paris-Saclay, à Palaiseau, Thales Research & Technology (TRT) France constitue le centre de recherche et technologies français du Groupe Thales, au service des activités mondiales...
