k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

[K-user] postdoc on K and language semantics

From: "Rosu, Grigore" <grosu AT illinois.edu>
To: "k-user AT cs.uiuc.edu" <k-user AT cs.uiuc.edu>
Subject: [K-user] postdoc on K and language semantics
Date: Wed, 21 Nov 2012 15:27:19 +0000
Accept-language: en-US
List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
List-id: <k-user.cs.uiuc.edu>

Dear K users,

Is there anybody on this list looking for a postdoc/researcher/programmer
with me at UIUC? The ideal candidate should have interest in defining formal
(K) semantics of low-level languages, such as C or fragments, and then use it
for formal program analysis. This also requires adding new features to the K
tool.

Thank you and sorry for the spam,
Grigore

[K-user] postdoc on K and language semantics, Rosu, Grigore, 11/21/2012