Sort by
Refine Your Search
-
tested using CODE V software and/or software developed in the laboratory (Fibertech platform). In parallel, the experimental work will initially involve precise measurement of the laser's transverse
-
post-doc in the field of formal methods at Irisa. The research project will focus on formal verification and testing of real-time systems using timed automata and techniques from game theory
-
processors, securing their integration into system-on-chips, new security primitives, methodologies and tools for securing embedded software and secure operating system kernels. These new technologies will be
-
, action levers aimed at promoting more sustainable territorial development are being explored and tested, particularly in intensive agricultural landscapes. Agricultural land management, at the intersection
-
the preparation for the 2025 Pb-gas data taking and will develop the trigger lines and software selections for UPC physics. He/She will conduct feasibility studies for quarkonium photoproduction measurements
-
part of this new research topic. More specifically, the aim is to improve our understanding of the hydrogen system in Brazil's Sao Francisco Basin by numerically simulating and testing different
-
the detector's data reconstruction, in particular the adaptation of the reconstruction software for atmospheric and beam neutrinos, as well as in oscillation analyses. Travel expenses to Japan (in particular
-
the search for LLP generating displaced activity in the ATLAS calorimeters in association with a quark top. In addition, you will play a key role in the development of data analysis software for LLP searches