Western Norway University of Applied Sciences (HVL), Faculty of Engineering and Natural Sciences has an open position as a post-doctoral researcher for two years with possible extension for one additional year. Application deadline, June 10.
The post-doctoral position is initially linked to the EU Horizon 2020 project COEMS - Continuous Observation of Embedded Multicore Systems (https://www.coems.eu ) which concentrates on runtime verification and testing of software in industrial automation. HVL is partner in the COEMS project together with five academic and industrial partners, including Airbus and Thales. The postdoctoral researcher will also be more broadly involved in ongoing research efforts within model-driven software engineering, automated code generation, software testing, quality, and verification. The researcher will be affiliated with the software engineering research group at HVL (https://ict.hvl.no/research/software-engineering/ ). For further information about the position, including instructions on how to apply, see: https://www.jobbnorge.no/en/available-jobs/job/170349/post-doctoral-fellow-position-in-computer-science-on-formal-methods-and-model-driven-software-engineering Lars Michael Kristensen, Professor, PhD Department of Computing, Mathematics, and Physics Western Norway University of Applied Sciences, Bergen, Norway Email: lars.michael.kristen...@hvl.no<https://mail.hib.no/owa/redir.aspx?C=f726cf027ded43d099dee82e0019fb5d&URL=mailto%3aLars.Michael.Kristensen%40hib.no> Web: http://home.hib.no/ansatte/lmkr<https://mail.hib.no/owa/redir.aspx?C=f726cf027ded43d099dee82e0019fb5d&URL=http%3a%2f%2fwww.hib.no%2fansatte%2flmkr> HVL Computer Science: http://ict.hvl.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: ]] [[ petri...@informatik.uni-hamburg.de ]]