Monday, December 7, 2020

[DMANET] PostDoc Position in Algorithms for Temporal Constraint Networks (Verona-Italy)

Dear colleagues,

Apologies if you receive multiple copies of this announcement.

A fellowship grant for 12 months is available at the University of Verona, Italy, within the local project "Extending Uncertainty in Temporal Constraint Networks" coordinated by Roberto Posenato.

The main research objectives of the project are:
1) to develop new faster algorithms for checking Conditional Simple Temporal Networks with Uncertainty (CSTNUs),
2) to strengthen the dynamic controllability checking techniques for Conditional Simple Temporal Networks
with Partially Shrinkable Uncertainty (CSTNPSU) to determine a sound-and-complete DC checking algorithms, and
3) to develop an efficient implementation of such algorithms in an open-source business management system.

The subject of the grant can be adapted, as long as it is in the scope of the project.

Requirements:
- doctoral degree (or being close to) in Computer Science or Computer Engineering;
- advanced programming skills (Java);
- hard-working and enthusiastic attitude; commitment to developing high-quality research.

The position is research-only, with no teaching or administrative obligations.
Having a doctoral degree (or being close to) is required.
The starting date is no after Feb 1, 2021.
Deadline for applications: Dec 24, 2020, 13:00 CEST.

Working environment: Department of Computer Science at the University of Verona.
Remuneration: about 1800 €/month net, after taxes, and contributions for social security and retirement scheme.

More details about the project at http://profs.scienze.univr.it/~posenato/varie/EUTCNProjectProposal.pdf

Formal application: https://docs.univr.it/documenti/Albo/allegatialbo/allegatialbo282285.pdf (At page 9 of the enclosed document starts the English version)

Deadline: 2020-12-24

Best regards,
Roberto Posenato

--
Roberto Posenato_________________________________________________
Associate Professor
Department of Computer Science - University of Verona
Verona, Italy


**********************************************************
*
* 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/
*
**********************************************************