imogenimorris
Researcher In Automated Reasoning
PhD in nonstandard analysis and interactive theorem proving from the University of Edinburgh.
Experience: 5 years
Yearly salary: $120,000
Hourly rate: $0
Nationality: 🇬🇧 United Kingdom
Residency: 🇬🇧 United Kingdom
Experience
Skills
math
matlab
data-science
english