-
of proof assistant technology capable of understanding the dynamical linguistic structures found in current high-level mathematical texts. The project includes the study of interpretation mechanisms
-
candidate will join the SIGNAL team under the supervision of Dr. Yoan Coudert. Research topic : The recruited postdoc will investigate the genetic mechanisms underlying the pre-patterning and development at a
Searches related to proof checking postdoc computerscience
Enter an email to receive alerts for proof-checking-postdoc-computerscience positions