================================================================
PhD and PostDoc positions
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:
1.- Modelling (fluidisability of discrete event net models)
2.- Analysis and verification (both structural and model checking)
3.- Optimization of design (placement and size of buffers,
equipment selection, ...)
4.- Operation (centralized and modular control, scheduling)
5.- Observers design
6.- Discretization of optimal continuous trajectories
7.- 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 ([EMAIL PROTECTED])
with copy to Dr. Cristian Mahulea ([EMAIL PROTECTED])
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
50.018 ZARAGOZA (Spain)
================================================================
----
[[ Petri Nets World: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies: ]]
[[ [email protected] ]]
