-
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
-
engineering Researcher Profile Recognised Researcher (R2) Country France Application Deadline 6 Oct 2025 - 23:59 (UTC) Type of Contract Temporary Job Status Full-time Hours Per Week 35 Offer Starting Date 1 Nov
Searches related to electrical engineering
Enter an email to receive alerts for electrical-engineering positions