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.
For more information, email directly to mikolas DOT janota AT gmail DOT com
The workplace will be INESC-ID — a research institute associated with Instituto Superior Técnico, U. de Lisboa, Portugal.
To apply, please follow this link.