PostDoc position
PostDoc Position in Formal Modelling of Biological Systems, Ref: F1-120016
Organisation
The University of Luxembourg seeks to hire outstanding researchers at the Computer Science and Communications research unit (CSC). We are seeking PostDoc candidates (assistant chercheur) to participate in the activities of the SaToSS research group. For further information you may consult our web site.
Your Role
The successful candidate will join the SaToSS group led by Prof. Dr. Sjouke Mauw. The SaToSS group is focused on formalising and applying formal reasoning to real-world security problems and trust issues.The area of expertise of the SaToSS members covers security protocols, security modeling, trust and risk management, privacy, formal methods, verification, etc.
Recently, SaToSS identified a new strategic research field in the application of formal methods to the modeling and analysis of biological systems, establishing a close cooperation with the Systems Biology group at the Life Science research unit. Your role is to develop this field of research.
Your profile
- Qualifications: A Ph.D. degree in Computer Science, preferably in the area of formal methods. Experience in and knowledge of Systems Biology will be a strong advantage.
- Language Skills: Fluent written and verbal communication skills in English are required.
We offer
The University of Luxembourg offers an initial two year employment contract that may be extended up to five years. The university offers highly competitive salaries. You will work in an exciting international environment and will have the opportunity to participate in the development of a new research field.
The University of Luxembourg is an equal opportunity employer.
Applications
Applications should include (PDF format only):
- cover letter indicating the research area of interest
- current curriculum vitae
- list of publications
- contact information for 3 referees
Applications should be written in English.
All applications should be submitted electronically by 31 March 2012 via the University of Luxembourg's recruitment portal.
For further inquiries please contact:
Dr. Jun Pang (jun.pang AT uni.lu) or
Prof. Dr. Sjouke Mauw (sjouke.mauw AT uni.lu)