coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Research position for 36 months in Cambridge, UK: AI for Integrative Cancer Medicine

From: Joelle Despeyroux <Joelle.Despeyroux AT inria.fr>
To: types-announce AT lists.seas.upenn.edu, coq-club AT inria.fr, theorem-provers AT ai.mit.edu, linear AT cs.stanford.edu
Cc: Pietro Lio' <pl219 AT cam.ac.uk>
Subject: [Coq-Club] Research position for 36 months in Cambridge, UK: AI for Integrative Cancer Medicine
Date: Thu, 4 Oct 2018 18:39:00 +0200

[ Thanks a lot for disseminating among potentially interested candidates. Apologies for multiple copies. ]

Dear colleagues,

We are looking for enthusiastic researchers to work on a Cancer-AI project in integrative cancer medicine. The ideal person will have a good track
record and experience in developing machine learning algorithms and/or in logic and formal reasoning. It would be good but not necessary to have also experience in working with bio/medical data. Here is more information:
http://www.jobs.cam.ac.uk/job/18850/

Thank you and with kind regards,

Pietro Lio' (pl219 AT cam.ac.uk) and Mateja Jamnik (mateja.jamnik AT cl.cam.ac.uk)

-- 
   Joëlle Despeyroux on behalf of Pietro Lio'

[Coq-Club] Research position for 36 months in Cambridge, UK: AI for Integrative Cancer Medicine, Joelle Despeyroux, 10/04/2018