Bergen University College, Faculty of Engineering, has an open position for a PhD research fellow in computer science/informatics focusing on model-driven software engineering and verification. The PhD student will be affiliated with the Department of Computing, Mathematics and Physics, and be part of Bergen University College’s IT-oriented research programme on software technologies for distributed systems (DISTECH, http://prosjekt.hib.no/distech). The department is responsible for bachelor programmes in software engineering and information technology, as well as a master’s programme in software engineering.
The PhD project will span one or more of the following areas, depending on the qualifications and interests of the successful applicant: * Domain-specific modeling languages and verification techniques for workflow systems; * Application of software modeling, simulation and verification on composite service-oriented applications; * Model-driven software engineering and verification for web and mobile applications. The successful applicant is expected to become an active part of the DISTECH research environment at Bergen University College which has a strong focus on use-inspired and applied research, including cooperation with industry partners and national and international research groups and centers. The DISTECH research programme at Bergen University College currently includes 12 permanent professors and associate professors, and several PhD candidates and master’s thesis students. For further information, see: http://hib.easycruit.com/vacancy/836641/41311 Lars Michael Kristensen, Professor, PhD Director of DISTECH [ http://prosjekt.hib.no/distech ] Department of Computer Engineering Bergen University College, Bergen, Norway Office: +47 555 871 64 / Mobile: +47 938 66 491 Email: [email protected] Web: http://www.hib.no/ansatte/lmkr
---- [[ 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] ]]
