Research fellow in Automated detection of conflict in models of medical
care pathways, University of Birmingham, UK
The School of Computer Science at University of Birmingham is seeking
strong and motivated research fellows to investigate, design and
develop software frameworks for automated detection of
conflicts in models representing clinical guidelines. Core skills
required are
- Experience of software development with Eclipse
- Experience of working with Constraint Solvers (SAT, SMT, Alloy, ...)
- Experience of development of a reasonably large software in industry
or academia,
- Knowledge of workflows and business processes (desirable)
- Familiarity with model transformation technologies (desirable)
For further details see http://www.cs.bham.ac.uk/~bxb/public/52820.pdf.
For an informal discussion contact Behzad Bordbar [email protected].
Starting date and duration:
This is a fixed-term post for 3 years, starting on the 1st July 2015 or
soon thereafter (starting date can be adjusted).
Salary:
Funded by the EPSRC, the starting salary is normally in the range 28,695
GBP to 37,394 GBP.
With potential progression once in post to £39,685 a years.
Application procedure:
Interested applicants please apply through http://tinyurl.com/o3bpr9b
and send your resume and a covering letter to [email protected].
Closing date:
11 May 2015
----
[[ 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] ]]
