2 multiple-sequence-alignment Postdoctoral research jobs at Inria, the French national research institute for the digital sciences

Post-Doctoral Research Visit F/M Reasoning up to equivalent representations in proof assistants

Inria, the French national research institute for the digital sciences | Paris 15, le de France | France | about 2 months ago

structure (e.g. boolean values vs decidable propositions, Peano numbers vs binary numbers, sequences as list vs sequences as functions, ...) ? automatic translation of inductive predicates into recursive

Post-Doctoral Research Visit F/M Postdoctoral Position - Neural correlates of social interaction and its impact on performance in middle childhood

Inria, the French national research institute for the digital sciences | Paris 15, le de France | France | 2 months ago

of hyperscanning data. Hands-on management of hyperscanning experiments, including the use of PsychoPy and lab recorder software to develop triggers to allow alignment of the different kinds of data (language