[Job-offers-cs] Post-doc position in Formal Methods for computer-aided education, U. of Lisbon, Portugal

[Pekka Orponen]

-------- Forwarded Message --------
Subject: [DMANET] Post-doc position in Formal Methods for computer-aided 
education, U. of Lisbon, Portugal
Date: Fri, 22 Feb 2019 14:01:30 +0000
From: Mikoláš Janota <mikolas.janota at gmail.com>
To: DMANET at zpr.uni-koeln.de

There is a PostDoc position opening (30 months) within the project 
INFOCOS. 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 at 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