From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <pes20@cl.cam.ac.uk>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104])
	by sympa.inria.fr (Postfix) with ESMTPS id 85BE77EF37
	for <caml-list@sympa.inria.fr>; Tue, 28 Jul 2015 17:44:21 +0200 (CEST)
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  pes20@cl.cam.ac.uk) identity=pra; client-ip=128.232.25.20;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="pes20@cl.cam.ac.uk";
  x-sender="pes20@cl.cam.ac.uk"; x-conformance=sidf_compatible
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  pes20@cl.cam.ac.uk) identity=mailfrom;
  client-ip=128.232.25.20;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="pes20@cl.cam.ac.uk";
  x-sender="pes20@cl.cam.ac.uk"; x-conformance=sidf_compatible
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@mta0.cl.cam.ac.uk) identity=helo;
  client-ip=128.232.25.20;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="pes20@cl.cam.ac.uk";
  x-sender="postmaster@mta0.cl.cam.ac.uk";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: A0BmBwAeordVYBQZ6IBbgxUjMWmpLQEBAQEBAQaDRwGRMAaHVUwBAQEBAQEHGAsJBiQuhhSJDg2qQpFMj0eFE4YfhS+EI4ECghcMQYExBYUljz0GihWCLQGBRIQdk0mBCmYBCgEBAYImb4JLAQEB
X-IPAS-Result: A0BmBwAeordVYBQZ6IBbgxUjMWmpLQEBAQEBAQaDRwGRMAaHVUwBAQEBAQEHGAsJBiQuhhSJDg2qQpFMj0eFE4YfhS+EI4ECghcMQYExBYUljz0GihWCLQGBRIQdk0mBCmYBCgEBAYImb4JLAQEB
X-IronPort-AV: E=Sophos;i="5.15,563,1432591200"; 
   d="scan'208";a="141406810"
Received: from mta0.cl.cam.ac.uk ([128.232.25.20])
  by mail3-smtp-sop.national.inria.fr with ESMTP; 28 Jul 2015 17:44:20 +0200
Received: from limbus.cl.cam.ac.uk ([128.232.64.104] helo=cl.cam.ac.uk)
	by mta0.cl.cam.ac.uk with esmtp (Exim 4.63)
	(envelope-from <pes20@cl.cam.ac.uk>)
	id 1ZK73E-0002Yi-8s
	for caml-list@inria.fr; Tue, 28 Jul 2015 16:44:20 +0100
To: caml-list@inria.fr
Date: Tue, 28 Jul 2015 16:44:20 +0100
From: Peter Sewell <pes20@cl.cam.ac.uk>
Message-Id: <E1ZK73E-0002Yi-8s@mta0.cl.cam.ac.uk>
X-Validation-by: peter.sewell@cl.cam.ac.uk
Subject: [Caml-list] REMS postdoc researcher / research-engineer positions


Dear all,

we've just advertised for two postdoc researcher / research-engineer
positions, to work with the REMS semantic models of key
infrastructure interfaces (multiprocessor semantics, C, ELF,
filesystems, TCP, TLS ...), emulators and verification tools built
above those, and the semantic tools we use to express them (Lem, Ott,
Coq, HOL4, Isabelle/HOL). If you know of any good potential
candidates, please draw this to their attention:

http://www.jobs.cam.ac.uk/job/7576/

thanks,
Peter