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 systems, computer systems, logistic systems, coordination systems, 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. Relaxation based on continuization 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 Petri nets, defined relaxing the integrality constraint in a similar way as in fluid queuing networks. Activities will be related to the following aspects: 1.- Modelling 2.- Analysis and verification 3.- Optimization of design (situation and size of buffers, equipment selection, ...) and operation (control or scheduling) 4.- 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 Computer Science, Mathematics, Electrical/Electronics or Communications Engineering. Knowledge on Computer Science, Automatic Control or Operational Research will be specially welcome. The salary will be around 1100 EUR/month, with an incremental raise in the following years. Health insurance will also be provided. The candidate could start on July or September 2005. ------------------------------------------------------------------- PostDoc position: The position will be for one year (and can be extended to one more year) A PhD-degree in computer science, automatic control or operational research is required. Some knowledge on Petri nets or switched linear systems will be specially welcome. The salary will be around 2000 EUR/month, with an incremental raise in the following years. Health insurance will also be provided. The candidate could start on July or September 2005. ------------------------------------------------------------------- Contact: Applicants should send their CVs before 15th June to Laura Recalde (lrecaldeunizar [dot] es) Departamento de Informática e Ingeniería de Sistemas Universidad de Zaragoza Maria de Luna 1, 50018 Zaragoza, España