Sort by
Refine Your Search
-
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
-
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
-
. The project is led by Heiko Schütt and will employ one PostDoc and one PhD student. About the role... You will develop new Bayesian methods to compare models to neural data. You will test the methods
-
, particularly in formal methods and verification of multi-agent systems. You are recognized for your team spirit, excellent interpersonal skills and teaching abilities. Fluency in English is a prerequisite for
-
to educational assessment, empirical instruction research, motivation science, and quantitative methods. Responsibilities: Publication of research and project results (in English-speaking peer-reviewed journals
-
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 of Europe