[Concurrency] PhD and PostDoc positions at University of Zaragoza,
==========================================================================
* PhD position with a grant for 4 years.
* PostDoc position for one year (and can be extended to a second one).
Systems Engineering and Discrete Event Systems Group
(http://webdiis.unizar.es/GISED)
University of Zaragoza (Spain)
==========================================================================
The activities of the group are related to the modelling, analysis and
formal synthesis of some classes of artificial systems that are
interesting from a technical point of view (production, computer,
logistic, coordination, etc.). Usually more adequately modelled by
means of discrete event systems formalisms (automata, Petri nets,
process algebra, queuing networks…), the state explosion problem
puts a limit to most of the analysis or synthesis techniques.
Relaxations based on fluidification appear as a possible way to
overcome these difficulties when largely populated systems or systems
with high cadence are considered.
More specifically, the project will be mainly focused on the formalism
of continuous and hybrid Petri nets, defined by relaxing the
integrality constraint in a similar way as in fluid queuing networks.
Activities will be mainly related to the following aspects:
* Modelling (fluidisability of ?discrete event? net models)
* Analysis and verification (both structural and model checking)
* Optimization of design (placement and size of buffers, equipment
selection, …)
* Operation (centralized and modular control, scheduling)
* Observers design
* Discretization of ?optimal? continuous trajectories
* Development of adequate computer tools for the modelling,
analysis and synthesis.
==========================================================================
PhD position
The main task for the accepted candidate will be to conduct research
towards his/her PhD. The candidate is expected to complete the degree
within 4 years.
Applicants must have MSc (or equivalent) degree in Automatic Control,
Computer Science, Mathematics, Electrical/Electronics or
Communications Engineering. Some knowledge on formal models on
computer science, automatic control or operational research will be
especially welcome.
The salary will be around 1200 EUR/month, with an incremental raise in
the following years. Health insurance will also be provided.
The candidate could start on October-November 2008 or January 2009.
==========================================================================
PostDoc position
The position will be for one year (and can be extended to a second one).
A PhD-degree in automatic control, computer science, or operations
research is required. Knowledge on Petri nets, hybrid or piecewise
linear systems will be especially welcome.
The salary will be around 2000 EUR/month (in case, with an incremental
raise in the following year). Health insurance will also be provided.
The candidate could start on October-November 2008 or January 2009.
==========================================================================
Contact: Applicants should send by email their CVs before 8th
September 2008 to:
Prof. Manuel Silva (silva@unizar.es)
with copy to Dr. Cristian Mahulea (cmahulea@unizar.es)
Departamento de Inform?tica e Ingenier?a de Sistemas, and
Instituto de Investigaci?n en Ingenier?a de Arag?n (I3A)
Universidad de Zaragoza
Mar?a de Luna, 1
50018 ZARAGOZA (Spain)
==========================================================================
_______________________________________________
Concurrency mailing list
Concurrency@listserver.tue.nl
http://listserver.tue.nl/mailman/listinfo/concurrency