Sort by
Refine Your Search
-
Listed
-
Employer
-
Field
-
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
-
the boundaries of cellular reprogramming by introducing scalable computational methods that streamline the discovery of reprogramming targets and control strategies. A key innovation of EdgeCR is its
-
., omics or clinical data), using statistical methods, pathway/network analysis or machine learning. The candidate will conduct integrative analyses of biomedical datasets, with a focus on omics data
-
live in. Your role Research related to the following areas: Mathematical statistics, Machine Learning, High-dimensional statistics, Robust estimation methods, Probabilistic foundations of mathematical
-
Sujet de stage As a member of a multidisciplinary technological research team comprised of experts in software/hardware analyses through the application of formal methods, you will actively contribute
-
, biochemistry, or related disciplines Experience with at least two of the methods mentioned above Very good organizational skills, attention to detail, persistence Fluency in English is required We offer
-
particular focus on digital methods and tools. The C²DH's ambition is to venture off the beaten track and find new ways of doing, teaching and presenting contemporary history of Luxembourg and the history
-
their interactions with tissues and PSs; iii) formalize and implement a method for optimizing the delivered dose (source distribution); iii) study the sensitivity of non-invasive probing