From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 8098D7EEF8 for ; Mon, 10 Aug 2015 14:04:57 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of lcaires@fct.unl.pt) identity=pra; client-ip=209.85.212.178; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="lcaires@fct.unl.pt"; x-sender="lcaires@fct.unl.pt"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of lcaires@fct.unl.pt designates 209.85.212.178 as permitted sender) identity=mailfrom; client-ip=209.85.212.178; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="lcaires@fct.unl.pt"; x-sender="lcaires@fct.unl.pt"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wi0-f178.google.com) identity=helo; client-ip=209.85.212.178; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="lcaires@fct.unl.pt"; x-sender="postmaster@mail-wi0-f178.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CsBQARkshVlLLUVdFdFoJocWkGgx6qJAEBj0KCLQEJgkOEYgdMAQEBAQEBEgEBAQEHCwsJHzCEPBF1BzcCJBIBBQFXiAwNqEeCBYEuPjGLQJYVCpBughcMLxKBMQWVC4UCZoZ7gUmEJZJDEiOBFxEGgVkBCgEBAWeBPz0zAYJLAQEB X-IPAS-Result: A0CsBQARkshVlLLUVdFdFoJocWkGgx6qJAEBj0KCLQEJgkOEYgdMAQEBAQEBEgEBAQEHCwsJHzCEPBF1BzcCJBIBBQFXiAwNqEeCBYEuPjGLQJYVCpBughcMLxKBMQWVC4UCZoZ7gUmEJZJDEiOBFxEGgVkBCgEBAWeBPz0zAYJLAQEB X-IronPort-AV: E=Sophos;i="5.15,645,1432591200"; d="scan'208";a="173163329" Received: from mail-wi0-f178.google.com ([209.85.212.178]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 10 Aug 2015 14:04:57 +0200 Received: by wibhh20 with SMTP id hh20so147544202wib.0 for ; Mon, 10 Aug 2015 05:04:56 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:date:message-id:subject:from:to :content-type; bh=adRo/7qvtn1Q0OjU00dHTdpwXNghxAGG0n3bjl5wnt4=; b=Hg6rnxVmJlsVdqnQ+j6/GP2XCG8usOipZf+kHK6A9LE/9EPPXHiGLcIgixiR8J6unY tiKxxy+LhsMFr0QlGOnpyFvwVHK/7oBtAhakm1518DGy1oqsp6+mpUj7j0mEqlrDreSM ryGbQPg9JHO1cfyYjl+KywvCH84GzsNSlEwx6l/1pkYqv9sHZyZu79TeiuNXfn3kKrx2 AyIiG9vMEdLvCMfwyo9wQhcpQEwDRZcxmJS/yWLFZsvSp205xnC34sYIKprH46AFDoaG zv6mPQHIMENJ+RVZ9w7xZIRNd5PbfCogyO9hTq3CmAhdVTfEZALjuD58rZXijKsZyUEb JORQ== X-Gm-Message-State: ALoCoQkvnKRW9cEp2ELFCEg+y4t5RphzM5xPQ4kzUX6RmUKmGPcc/88wlxml5cHaRSXtdqnycrgo MIME-Version: 1.0 X-Received: by 10.180.103.69 with SMTP id fu5mr22326787wib.95.1439208296689; Mon, 10 Aug 2015 05:04:56 -0700 (PDT) Received: by 10.28.226.133 with HTTP; Mon, 10 Aug 2015 05:04:56 -0700 (PDT) Date: Mon, 10 Aug 2015 13:04:56 +0100 Message-ID: From: Luis Caires To: caml-list@inria.fr Content-Type: multipart/alternative; boundary=f46d0442813248477d051cf3cba1 X-Validation-by: lcaires@fct.unl.pt Subject: [Caml-list] POSTDOC position at NOVA LINCS Lisbon (background in Programming Languages and Tools) --f46d0442813248477d051cf3cba1 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Dear all, We would like to announce a post doc / research associate position at NOVA Laboratory for Computer Science and Informatics (Lisbon) for candidates with a strong background in topics such as programming languages, programming language design and implementation, software verification, and program analysis. The successful candidate will join a just launched project on new programming models, incremental verification techniques, and programming environments for the interactive / live construction of trustworthy web/cloud applications. Please contact me (lcaires(at)fct.unl.pt) for additional information about the position and project. More information at: http://nova-lincs.di.fct.unl.pt/open-positions/position-4 Best regards, Luis Caires --=20 Best regards, Luis Caires Head of Department Director of NOVA Laboratory for Computer Science and Informatics Departamento de Inform=C3=A1tica FCT Universidade Nova de Lisboa http://ctp.di.fct.unl.pt/~lcaires --f46d0442813248477d051cf3cba1 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Dear all,
<= div class=3D"gmail_quote">

We would like to announce a post = doc / research associate position at
NOVA Laboratory for Computer= Science and Informatics (Lisbon) for
candidates with a strong ba= ckground in topics such as programming
languages, programming lan= guage design and implementation, software
verification, and progr= am analysis. The successful candidate will join
a just launched p= roject on new programming models, incremental
verification techni= ques, and programming environments for the
interactive / live con= struction of trustworthy web/cloud applications.

=
Please contact me (lcaires(at)fct.unl.pt) for additional information
about th= e position and project. More information at:

=

Best regards,

Luis = Caires


--
<= div class=3D"gmail_signature">
Best regard= s,

Luis Caires
Head of Department
Director of NOVA Laboratory for Computer Science and Informatics<= br>
Departamento de Inform=C3=A1tica
FCT Universid= ade Nova de Lisboa
http://ctp.di.fct.unl.pt/~lcair= es
--f46d0442813248477d051cf3cba1--