[TYPES/announce] Postdoc in Statistical Model Checking at UCLouvain -- Belgium

[Thomas Given-Wilson]

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 axel.legay at uclouvain.be

 


-------------- next part --------------
A non-text attachment was scrubbed...
Name: OpenPGP_signature
Type: application/pgp-signature
Size: 840 bytes
Desc: OpenPGP digital signature
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20201231/a24519cc/attachment.sig>