k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

[[K-user] ] would you like to work on K and be paid?

From: "Rosu, Grigore" <grosu AT illinois.edu>
To: "k-user AT cs.illinois.edu" <k-user AT cs.illinois.edu>
Subject: [[K-user] ] would you like to work on K and be paid?
Date: Sat, 12 Aug 2017 01:56:35 +0000
Accept-language: en-US
Authentication-results: illinois.edu; spf=pass smtp.mailfrom=grosu AT illinois.edu

Dear K users,

Runtime Verification, Inc., is hiring one or two K experts. The successful
applicants will need to help with developing K and its afferent tools
(symbolic execution engine, program verifier, model checker, test-case
generator, etc.), with developing K semantics to various languages (C, C++,
EVM, PureScript, etc.), and also to verify programs using the defined
language semantics.

https://runtimeverification.com/blog/?p=286

Please feel free to distribute and to contact me with any questions.

Grigore

[[K-user] ] would you like to work on K and be paid?, Rosu, Grigore, 08/11/2017