24 proof-checking-postdoc-computerscience positions at CNRS

Filters Search
  • CNRS | Lens, Nord-Pas-de-Calais | France | 3 days ago

    learning results in restricted formal contexts. The objective of the proposed PostDoc is to work at the intersection of model counting and machine learning, with the aim of significantly improving

  • CNRS | Orsay, Île-de-France | France | 22 days ago

    , clusters of metastable states and low-energy pathways between them, and determining when and how constrained dynamical trajectories select these structures over more typical ones. The postdoc will (a

  • CNRS | Cergy-Pontoise, Île-de-France | France | about 1 month ago

    the EU Research Framework Programme? Not funded by a EU programme Is the Job related to staff position within a Research Infrastructure? No Offer Description In this postdoc, spatial regulations will

  • CNRS | Paris 05, Île-de-France | France | about 1 month ago

    missions operated by LATMOS. The postdoc will employ deep learning approaches using satellite data and ground stations. -Understanding the infrared data from the IASI mission and identifying the

  • CNRS | Toulouse, Midi-Pyrénées | France | 22 days ago

    retro-foreland sedimentary basin and the spatial distribution of potential reservoirs. This PostDoc position is part of the PEPR « sous-sol, bien commun » project IDYLLE (Impact of Lithosphere Dynamics

  • CNRS | Orléans, Centre | France | about 2 months ago

    the job funded through the EU Research Framework Programme? Horizon 2020 Is the Job related to staff position within a Research Infrastructure? No Offer Description The postdoc will develop a cryo-EM

  • CNRS | Rennes, Bretagne | France | about 2 months ago

    reconfiguration (e.g., switching end-effectors or objectives) without controller recompilation. The PostDoc research will naturally fit into our several activities over the last years about the general

  • CNRS | La Valbonne, Rhône-Alpes | France | about 1 month ago

    through the EU Research Framework Programme? Not funded by a EU programme Is the Job related to staff position within a Research Infrastructure? No Offer Description The first part of the postdoc will be

  • CNRS | Rennes, Bretagne | France | about 2 months ago

    Research Framework Programme? Not funded by a EU programme Is the Job related to staff position within a Research Infrastructure? No Offer Description Within the institute, the postdoc will be part of the

  • CNRS | Villeneuve, Queensland | Australia | 22 days ago

    computing function and training of artificial neuron network have been demonstrated based on single nanomechanical device. The main mission of this postdoc project, financially supported by IMITECH project

Searches related to proof checking postdoc computerscience

Enter an email to receive alerts for proof-checking-postdoc-computerscience positions