k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

[[K-user] ] PostDoc offer around K - 1 year - Luxembourg

From: bongiovanni AT gmail.com
To: k-user AT lists.cs.illinois.edu
Subject: [[K-user] ] PostDoc offer around K - 1 year - Luxembourg
Date: Wed, 25 May 2016 01:26:19 -0500

Hi everyone,

I am looking for a PostDoc specialized in the K-Framework, starting ideally
from January 2016 (or a bit before) to work on an internal project. The idea
is to create a `scalability profiler` based on the K-formal semantics of C and
Python.

Location: Luxembourg Institute of Science and Technology (LIST) in
Luxembourg.

Duration: one year

More details:
https://drive.google.com/open?id=0BxLgO2Ga8pcyUk1lZTRpOVF3LUE

You can ping me if you want to have a chat about it.

Do not hesitate to share the ad.

Thanks !

- Francesco Bongiovanni
(francesco.bongiovanni AT list.lu)

[[K-user] ] PostDoc offer around K - 1 year - Luxembourg, bongiovanni, 05/25/2016
- Re: [[K-user] ] PostDoc offer around K - 1 year - Luxembourg, bongiovanni, 05/29/2016