Connectionists: Post-Doc Position : INFOCOS: Intelligent Feedback Inteligente For Happy Students

[Manuel Lopes]

Currently there is a PostDoc position opening (30 months). Candidates 
with interest in SW analysis, formal methods, or machine-learning are 
particularly welcome.

The PostDoc will work on the development of a new generation of tools 
for computer-aided education. The objective is to develop methods to 
improve automated feedback that would help the student to make progress 
even without the help of a lecturer. The development will be based in 
Formal Methods (FM) and should contribute to state-of-the-art in FM as 
well as other fields.

The workplace will be INESC-ID — a research institute associated with 
Instituto Superior Técnico, U. de Lisboa, Portugal.

For more information, email directly to mikolas DOT janota AT gmail DOT 
com
http://www.eracareers.pt/opportunities/index.aspx?task=showAnuncioOportunities&jobId=110829&idc=1