[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]Vacancy terms: Full time, fixed term 2 years contract (can be extended up to 4 years) Salary: Around 29 000 euros Net + Social security. ====================================================== ============ About the role ============ You will work in the cyber security and formal verification lab of Axel Legay. Your main objective will be to develop new algorithms to verify hyper properties with Statistical Model Checking. You will focus on rare event and on non-deterministic stochastic systems. The position takes place is a new research project on Statistical Model Checking. You will work with one other postdoc and with international collaborators. Lab members include three postdoc and four PhD students working on cyber security and formal verification. The lab is located in the computer science department of UCLouvain: Université catholique de Louvain | UCLouvain The university is located in the beautiful university of Louvain-La-Neuve. The city is one train and 40 minutes away from Brussels. =========== About you ============ With a PhD in Computer Science or a closely related field, you will have an affinity with software engineering, and particularly testing, validation or verification. Knowledge of Statistical Model Checking and/or Statistics is a plus. Language: English and/or French. ====================== How to apply ====================== Please contact Axel Legay at [email protected]
OpenPGP_signature
Description: OpenPGP digital signature
