French ministry of Higher Education and Research is funding doctoral
position at University of Strasbourg, LSIIT in France. The funding is
available for three years for PhD programme in the field of learning
environment for interactive proof in geometry. Students must hold a
master degree in computer science and logic, automated and/or
interactive theorem proving skill is required. Good knowledge of English
is required but French is not mandatory. Send complete application
electronically.
Study Subject(s): The scholarship is provided to study in learning environment for interactive proof in geometry.
Course Level: This scholarship is available for pursuing PhD degree level.
Scholarship Provider : French ministry of Higher Education and Research
Scholarship can be taken at : France
Course Level: This scholarship is available for pursuing PhD degree level.
Scholarship Provider : French ministry of Higher Education and Research
Scholarship can be taken at : France
Eligibility: -The candidate should hold a master degree in computer science.
-Skills in logic, automated and/or interactive theorem proving is desirable asset.
-Good working knowledge of the English language is necessary, but French is not a requisite.
-Skills in logic, automated and/or interactive theorem proving is desirable asset.
-Good working knowledge of the English language is necessary, but French is not a requisite.
Scholarship Open for Students of Following Countries: The students of France can apply for this scholarship.
Scholarship Description: 
In
the proposal, they aim at developing a computer based learning
environment for interactive proof in geometry based on technologies for
interactive and automated theorem proving and dynamic geometry.
Technological tools are widely used to teach mathematics in schools.
Dynamic Geometry Software (D.G.S.) and Computer Algebra Software (C.A.S)
are the two families of software that are well represented. On the one
hand, these tools are widely used to explore, experiment, visualize,
calculate, measure, find counter examples, conjecture.
In
the proposal, they aim at developing a computer based learning
environment for interactive proof in geometry based on technologies for
interactive and automated theorem proving and dynamic geometry.
Technological tools are widely used to teach mathematics in schools.
Dynamic Geometry Software (D.G.S.) and Computer Algebra Software (C.A.S)
are the two families of software that are well represented. On the one
hand, these tools are widely used to explore, experiment, visualize,
calculate, measure, find counter examples, conjecture.
Number of awards offered: Not Known
Duration of award(s): Grant is funded for three years.
Notification: Not Known
How to Apply:
Applicants can apply electronically. Interested candidates are invited
to send a Curriculum Vitae and name of references to Julien Narboux (narboux@unistra.fr) and Pascal Schreck (schreck@unistra.fr).
Scholarship Application Deadline: The application closing date is June 2013 but contact them as soon as possible, the PhD will start in September 2013.
