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.janota@gmail.com
Requirements and conditions can be found at the following address.
http://www.eracareers.pt/opportunities/index.aspx?task=showAnuncioOportunities&jobId=110829&idc=1
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
