Post-doctoral researcher specializing in the application of formal methods for timing estimations
Palaiseau, Essonne
/hardware analyses through the application of formal methods, you will actively contribute to a national research project...
April 22
Palaiseau, Essonne
). ONERA and CEA are therefore developing innovative imaging methods that also exploit X-rays deflection (phase contrast... on an emerging topic with strong industrial demand wave front analysis methods composite materials and the physics of their damage...
April 12
Homotopy methods for differential algebra (M/F)
Palaiseau, Essonne
equations from a symbolic and computational point of view. The idea is to use the algebraic methods like rewriting or variable... skills are required to contribute to efficient implementations. Previous experience in differential algebra, homotopy methods...
March 27
Single-Photon Source Research Engineer
Quandela - Massy, Essonne
photons. We are seeking a full-time (permanent contract) Research Engineer to participate in the optimization of Quandela... sequences. ยท Implement characterization methods to probe quantum dots and the interaction with their solid-state environment...
February 27
Mechanical Design Engineer (F/M)
Exotrail - Massy, Essonne
of manufacturing methods, fabrication and relation with the machinists, ๐ To manage and to participate in mechanical tests, ๐...
April 26