Sort by
Refine Your Search
-
team focuses on the formal analysis of security protocols and studies numerous protocols, including electronic voting. The team has developed several algorithms to prove protocol security and regularly
-
to RNA-seq, except that these are restricted to RNA sequences that have been translated. The goal is to develop computational algorithms and tools to analyse such sequencing data, to predict translated
-
22 Feb 2026 Job Information Organisation/Company CNRS Department Laboratoire de physique de l'ENS Research Field Computer science Mathematics » Algorithms Researcher Profile First Stage Researcher
-
should be implemented to speed-up the acquisition rate and to optimize the setup sensibility and efficiency. Then implementation of new algorithms to build new biomarker maps should be also developed
-
analyses in the neutrino sector with the future DUNE experiment, development of simulations and of reconstruction algorithms and related performance studies , characterization, installation and commissioning