Post-doctoral Research Visit F/m Bridging The Gap

il y a 1 semaine

Palaiseau, Île-de-France Inria Temps plein
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:
-
Durée de contrat: 12 mois
-
Date limite pour postuler:

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° 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

  • Post-Doctoral Research Visit F/M Bridging the gap between combinatorial proof theory and subatomic proof theory

    il y a 2 semaines

    Palaiseau, Île-de-France INRIA Temps plein

    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...

  • Chercheur Post-doctoral

    il y a 1 semaine

    Palaiseau, Île-de-France CNRS Temps plein

    Cette offre est disponible dans les langues suivantes:- Français- AnglaisDate 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-002Nombre de Postes : 1Lieu de travail : PALAISEAUDate de...

  • Post-doctoral researcher specializing in the application of formal methods for timing estimations

    il y a 2 semaines

    Palaiseau, Île-de-France Cea Temps plein

    As a member of a multidisciplinary technological research team comprised of experts in software/hardware analyses through the application of formal methods, you will actively contribute to a national research project dedicated to the development of a predictability toolbox. This toolbox aims to analyze the worst-case temporal behavior of microarchitectures...

  • Single-Photon Source Research Engineer

    il y a 2 semaines

    Palaiseau, Île-de-France Quandela Temps plein

    Quandela 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) Research 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...

  • Optimisation Interactive Collaborative

    il y a 1 semaine

    Palaiseau, Île-de-France Université Paris-Saclay GS Informatique et sciences du numérique Temps plein

    **Optimisation interactive collaborative // Collaborative Interactive Optimisation**:- Réf **ABG-120626****ADUM-53796**- Sujet de Thèse- 24/02/2024- Université Paris-Saclay GS Informatique et sciences du numérique- Lieu de travail- Palaiseau cedex - France- Intitulé du sujet- Optimisation interactive collaborative // Collaborative Interactive...

  • Research Engineer in AI-assisted Methods for Model Generation and Simulation of SoC Designs H/F

    il y a 2 semaines

    Palaiseau, Île-de-France CEA Temps plein

    Research Engineer in AI-assisted Methods for Model Generation and Simulation of SoC Designs H/F Electronics components and equipments Contract Research Engineer in AI-assisted Methods for Model Generation and Simulation of SoC Designs H/F We are looking for a highly skilled and motivated Research Engineer to join our team to develop cutting-edge...

  • Calculs Bio-inspirée Avec Des Transistors

    il y a 1 semaine

    Palaiseau, Île-de-France École polytechnique Temps plein

    **Calculs bio-inspirée avec des transistors électrochimiques organiques // Brain inspired computing with organic electrochemical transistors**:- Réf- **ABG-111072****ADUM-46408**- Sujet de Thèse- 11/02/2023- École polytechnique- Lieu de travail- Palaiseau Cedex - France- Intitulé du sujet- Calculs bio-inspirée avec des transistors électrochimiques...

  • Research Engineer In Ai-Assisted Methods For Model Generation And Simulation Of Soc Designs H/F

    il y a 1 semaine

    Palaiseau, Île-de-France CEA Temps plein

    We 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...

  • Research Engineer in AI-assisted Methods for Model Generation and Simulation of SoC Designs

    il y a 1 mois

    Palaiseau, Île-de-France Cea Temps plein

    We 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...

  • Research Engineer in AI-assisted Methods for Model Generation and Simulation of SoC Designs

    il y a 4 semaines

    Palaiseau, Île-de-France Cea Temps plein

    We 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...

  • Post-doc application of formal methods for interferences management

    il y a 6 jours

    Palaiseau, Île-de-France Cea Temps plein

    Within a multidisciplinary technological research team of experts in SW/HW co-design tools by applying formal methods, you will be involved in a national research project aiming at developing an environment to identify, analyze and reduce the interferences generated by the concurrent execution of applications on a heterogeneous commercial-off-the-shelf...

  • Transitions Dans Des écoulements Cisaillés

    il y a 1 semaine

    Palaiseau, Île-de-France École nationale supérieure de techniques avancées Temps plein

    **Transitions dans des écoulements cisaillés stratifiés // Transitions in stratified shear flows**:- Réf- **ABG-110400****ADUM-45841**- Sujet de Thèse- 21/01/2023- École nationale supérieure de techniques avancées- Lieu de travail- Palaiseau - France- Intitulé du sujet- Transitions dans des écoulements cisaillés stratifiés // Transitions in...

  • Particle Dynamics in Turbulent Flows

    il y a 1 semaine

    Palaiseau, Île-de-France École nationale supérieure de techniques avancées Temps plein

    **Particle dynamics in turbulent flows // Particle dynamics in turbulent flows**:- Réf- **ABG-110397****ADUM-45254**- Sujet de Thèse- 21/01/2023- Autre financement public- École nationale supérieure de techniques avancées- Lieu de travail- Palaiseau - France- Intitulé du sujet- Particle dynamics in turbulent flows // Particle dynamics in turbulent...

  • Bachelor Program Academic Officer

    il y a 1 semaine

    Palaiseau, Île-de-France L'École polytechnique Temps plein

    École polytechnique (also known as "L'X") is a world-class higher education and research establishment dedicated to sciences and technology, founded in 1794. The School granted a military status in 1804, and operates under the administrative supervision of the Ministry of Armed Forces.École polytechnique is a founding member of Institut Polytechnique de...

  • Software Engineer for AI-enabled Systems

    il y a 2 semaines

    Palaiseau, Île-de-France Cea Temps plein

    Join CEA to Add Meaning to Your Work, Lead and Support National and International R&D Projects, Nurture and Ignite Your Curiosity. IN SUMMARY, WHAT DO WE OFFER YOU?The CEA is looking for a Software Engineer for AI-enabled Systems for the CEA/DRT (Technological Research Department) . This 36-month fixed-term executive position is based on the Nano-Innov site...

  • Ingénieur architectures optoélectroniques d'horloges H/F

    il y a 1 mois

    Palaiseau, Île-de-France THALES Temps plein

    Quelles sont les missions ?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 de Thales....

  • Ingénieur architectures optoélectroniques d'horloges H/F

    il y a 4 semaines

    Palaiseau, Île-de-France THALES Temps plein

    Quelles sont les missions ?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 de Thales....

  • Circulateur Magnéto-plasmonique

    il y a 1 semaine

    Palaiseau, Île-de-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...

  • Satellites Plasmoniques Photo-induits

    il y a 2 semaines

    Palaiseau, Île-de-France École polytechnique Temps plein

    **Satellites plasmoniques photo-induits // Photinduced plasmonic satellites**:- Réf- **ABG-111189****ADUM-46432**- Sujet de Thèse- 16/02/2023- École polytechnique- Lieu de travail- Palaiseau - France- Intitulé du sujet- Satellites plasmoniques photo-induits // Photinduced plasmonic satellites- Mots clés- Théorie de la matière condensée, Interactions...

  • Distributed Learning for 5g-iot

    il y a 1 semaine

    Palaiseau, Île-de-France Inria Temps plein

    Le descriptif de l'offre ci-dessous est en Anglais_Niveau de diplôme exigé :Bac + 5 ou équivalentFonction :Ingénieur scientifique contractuelA propos du centre ou de la direction fonctionnelleThe 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...