Bergen University College, Faculty of Engineering, has an open position for a PhD research fellow in informatics/communication systems focusing on software modelling and verification for sensor networks.
The PhD student will be affiliated with the Department of Computer Engineering and the Department Electrical and Electronics Engineering, and be part of Bergen University College’s IT-oriented research programmes on software technologies for distributed systems (DISTECH, http://prosjekt.hib.no/distech) and communication systems. The departments are responsible for bachelor programmes, including computer engineering, information technology, and communication systems, as well as master’s programmes in software engineering (with the University of Bergen) and in communication systems (with the University of Oslo). The PhD project will span one or more of the following areas, depending on the qualifications and interests of the successful applicant: - Identify and further develop computer tools and technologies for testing, validation, and verification of sensor network software and platforms, - Behavioural modelling, prototype implementation, and experimental evaluation of software and platforms for sensor networks, - Application of model-based software testing and verification on case studies identified in cooperation with industrial partners. The DISTECH research programme is an internationally oriented research programme with emphasis on software for distributed computing systems, and the research programme on communication systems has a strong emphasis on industrial research cooperation via the Center for Wireless Innovation Norway (http://wiki.unik.no/index.php/CWI/HomePage ). The IT-oriented research environment at Bergen University College currently includes 12 permanent professors and associate professors, and several PhD candidates and master’s thesis students. The successful candidate will become an active part in the research and development activities of this research environment. For further information about the position, see: http://hib.easycruit.com/vacancy/598906/41311 Lars Michael Kristensen, Professor, PhD Department of Computer Engineering Bergen University College, Bergen, Norway Email: Lars.Michael.Kristensen [ at ] hib.no
---- [[ 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] ]]
