13 proof-checking-postdoc-computerscience PhD positions in France

Sort by: relevance | listed |

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

PhD (M/F) Exploring Structural and Statistical Distinguishers for Symmetric-Key Ciphers

CNRS | Vand uvre les Nancy, Lorraine | France | 2 months ago

these types is primordial: we must ensure the ciphers in use are resistant to state-of-the-art attack techniques to confidently continue using it, while before adopting a new cipher we must check its resistance
PhD position (M/F) - Study of the Higgs boson and its self-coupling in the H → γγ and HH → bbγγ channels using deep learning techniques with the ATLAS experiment at the LHC collider at CERN.

CNRS | Toulouse, Midi Pyrenees | France | 2 months ago

development. The next step is to incorporate the evaluation of trajectory parameters (Track Fit) into this process. A promising approach involves regression using Transformers, which have shown excellent
PhD Position F/M Singularity Detection and Analysis in Modular Parallel Continuum Robots

Inria, the French national research institute for the digital sciences | Villeneuve la Garenne, le de France | France | 3 months ago

correspond to the workspace boundaries and actuation limits, and type 2 singularities where the robot loses stiffness and stability, and buckles suddenly. Type 2 singularities result in dynamic snapping

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