[TYPES/announce] PostDoc Position at UCLouvain in Formal Verificaion, Privacy, and Security

[Thomas Wilson]

Hi Everyone,

A two years postdoc scholarship to work at UCLouvain with Axel Legay and
Thomas Given-Wilson. Further details below.

Regards,

- Thomas Given-Wilson


Position:
-------------

A two years postdoc scholarship to work at UCLouvain with Axel Legay and
Thomas Given-Wilson. Net salary between 2300 and 2500 euro after taxes,
social security included.

Main Competences: Formal verification, privacy, security.

Beneficial Competencies: software development, model checking,
information theory.

Starting date: February 2019 (flexible)


Objective of the Serums project:
------------------------------

In order to achieve high quality healthcare provision, it is
increasingly important to collect highly confidential and personal
medical data that has been obtained from a variety of sources, including
personal medical devices and to share this through a variety of means,
including public networks and other systems whose security cannot be
implicitly trusted. Patients rightly expect full privacy, except where
permission has been explicitly given, but they equally expect to be
provided with the best possible medical treatment. Evidence suggests
that integrating home-based healthcare into a holistic treatment plan is
more cost effective, reduces travel-associated risks and costs, and
increases the quality of healthcare provision, by allowing the
incorporation of more frequent home-, work- and environment-based
monitoring and testing into medical diagnostics. There is thus a strong
and urgent demand to deliver better, more efficient and more effective
healthcare solutions that can achieve excellent patient-centric
healthcare provision, while also complying with increasingly strict
regulations on the use and sharing of patient data. This provision needs
to be multi-site, crossing traditional physical and professional
boundaries of hospitals, health centres, home and workplace, and even
national borders. It needs to engage hospitals, medical practitioners,
consultants and other specialists, as well as incorporating
patient-provided data that is produced by personal monitoring devices,
healthcare apps, environmental monitoring etc. This creates huge
pressures. The goal of the Serums project is to put patients at the
centre of future healthcare provision, enhancing their personal care,
and maximising the quality of treatment that they can receive, while
ensuring trust in the security and privacy of their confidential medical
data.

 

UCLouvain's role in the project:
-----------------------------------

The objective of this postdoc position is to develop new security proofs
to ensure correctness of security properties developed in Sérums.

In addition, the postdoc will participate to development of new research
to guarantee privacy of data and evaluate solutions developed by the
consortium.


How to apply:
------------------

Contact Axel Legay at axel.legay at uclouvain.be with a CV and, if
possible, a letter of recommendation

 
For more information:
------------------

Contact Axel Legay at axel.legay at uclouvain.be

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: OpenPGP digital signature
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20181017/baada972/attachment-0001.asc>