Bio
PhD in nonstandard analysis and interactive theorem proving from the University of Edinburgh.
Role
Researcher in automated reasoning
Location
united-kingdom
Please sign-up to apply for this job
Bio
PhD in nonstandard analysis and interactive theorem proving from the University of Edinburgh.
Role
Location