Welcome People Hires

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.