From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/9885 Path: news.gmane.org!.POSTED.blaine.gmane.org!not-for-mail From: Ichiro Hasuo Newsgroups: gmane.science.mathematics.logic.coq.club,gmane.comp.science.types.announce,gmane.science.mathematics.categories Subject: Open Positions in Tokyo: Formal Methods, Learning and Cyber-Physical Systems Date: Tue, 9 Apr 2019 01:23:21 +0900 Message-ID: Reply-To: coq-club@inria.fr Mime-Version: 1.0 Content-Type: multipart/alternative; boundary="000000000000ee5df90586074114" Injection-Info: blaine.gmane.org; posting-host="blaine.gmane.org:195.159.176.226"; logging-data="270309"; mail-complaints-to="usenet@blaine.gmane.org" To: announcements@lists.artist-embedded.org, types-announce@lists.seas.upenn.edu, pvs@csl.sri.com, fmcad@utlists.utexas.edu, hscc@lists.illinois.edu, qest-announce@iti.illinois.edu, coq-club@inria.fr, categories@mta.ca Original-X-From: coq-club-owner@inria.fr Mon Apr 08 18:23:40 2019 Return-path: Envelope-to: gsmlcc-coq-club@gmane.org Original-Received: from mail2-relais-roc.national.inria.fr ([192.134.164.83]) by blaine.gmane.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.89) (envelope-from ) id 1hDX3b-0018Bf-KH for gsmlcc-coq-club@gmane.org; Mon, 08 Apr 2019 18:23:39 +0200 X-IronPort-AV: E=Sophos;i="5.60,325,1549926000"; d="scan'208,217";a="377728239" Original-Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 08 Apr 2019 18:23:38 +0200 Original-Received: by sympa.inria.fr (Postfix, from userid 20132) id 5FD1882687; Mon, 8 Apr 2019 18:23:38 +0200 (CEST) Original-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 ECFBD8249D for ; Mon, 8 Apr 2019 18:23:34 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=i.hasuo@acm.org; spf=Pass smtp.mailfrom=i.hasuo@gmail.com; spf=None smtp.helo=postmaster@mail-lj1-f171.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AezXjxRA4QWStprv9SxRBUyQJP3N1i/DPJgcQr6Af?= =?us-ascii?q?oPdwSPXypcbcNUDSrc9gkEXOFd2Cra4d0qyP6OuxCSRAuc/H7ClaNsQUFlcsso?= =?us-ascii?q?Y/p0QYGsmLCEn2frbBThcRO4B8bmJj5GyxKkNPGczzNBX4q3y26iMOSF2kbVIm?= =?us-ascii?q?buv6FZTPgMupyuu854PcYxlShDq6fLh+MAi6oR/eu8ULnIduMLs9xxXGrnZMeO?= =?us-ascii?q?ld2GdkKU6Okxrm6cq84YJv/z5Mt/498sJLTLn3cbk/QbFEFjotLno75NfstRnN?= =?us-ascii?q?TAuP4mUTX2ALmRdWAAbL8Q/3UI7pviT1quRy1i+aPdbrTb8vQjSt871rSB7zhy?= =?us-ascii?q?gZMTMy7XzahdZxjKJfpxKhugB/zovJa4ybKPZyYqXQds4cSGFcXMheSjZBD5uz?= =?us-ascii?q?YIUPAeQPPvtWoZfhqFYVtxSyGROhCfnzxjNUhHL727Ax3eQ7EQHB2QwtB9EAv2?= =?us-ascii?q?jUrNX0LqcSVv2+wqvSwjXYcvNW3ir25Y/Jchw7ofGDR6lwcdfWyUQ0DQzKklCQ?= =?us-ascii?q?pZbiPzOP2eQAqm6W5PduW+Kojm4osQBxoj63y8g2l4nJmoUVylbD9SV8x4Y1Is?= =?us-ascii?q?a4R1Bhbd6iDpRQqzmWN4RsQsMlXmFooD82yrgDuZ6+ZiQKz44nxxHZZveacIaI?= =?us-ascii?q?+gruWPiNLTp8nn5oe7 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CXBgCVdKtchqvQVdFlDggIAQYHBoFlg?= =?us-ascii?q?Q+BaoEDJ4QOgR2SH4UVAQGVUIF3I4FUiFwaBwEENBIBAQMBAQkBAgEBAQETAQE?= =?us-ascii?q?BCAsLCCkjDII6IoMYQwcyNwIkEgEFASMSgyIBgXUPokA8ix2BL4omEoEei0eBV?= =?us-ascii?q?z+DcwJsglYLA4Eog0KCVwOSaZMdBwKIA4Qeh2IaggWGFoxBi1OFAoEggUyCI4o?= =?us-ascii?q?GDyGBRYF3MxowdAaCNQmKSTuFBEozMJBtAQE?= X-IPAS-Result: =?us-ascii?q?A0CXBgCVdKtchqvQVdFlDggIAQYHBoFlgQ+BaoEDJ4QOgR2?= =?us-ascii?q?SH4UVAQGVUIF3I4FUiFwaBwEENBIBAQMBAQkBAgEBAQETAQEBCAsLCCkjDII6I?= =?us-ascii?q?oMYQwcyNwIkEgEFASMSgyIBgXUPokA8ix2BL4omEoEei0eBVz+DcwJsglYLA4E?= =?us-ascii?q?og0KCVwOSaZMdBwKIA4Qeh2IaggWGFoxBi1OFAoEggUyCI4oGDyGBRYF3Mxowd?= =?us-ascii?q?AaCNQmKSTuFBEozMJBtAQE?= X-IronPort-AV: E=Sophos;i="5.60,325,1549926000"; d="scan'208,217";a="302204014" X-MGA-submission: =?us-ascii?q?MDGjX9qZUXNTLLi45ZlaEBQH+WpQcHXUQWN0GH?= =?us-ascii?q?7bTjx6TOAiWSLphWu2yn4cxSleSBvAz5PZ+Dq2yLdOc5KfNQM9qMQVI9?= =?us-ascii?q?M5P5aIAHkZEIntrVegDmiIJow1HjxV6IXLf8aXQG0bGs8v74WJk0JwtO?= =?us-ascii?q?4Fo/cn0DQmxsvUH1IzSII3YQ=3D=3D?= Original-Received: from mail-lj1-f171.google.com ([209.85.208.171]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 08 Apr 2019 18:23:33 +0200 Original-Received: by mail-lj1-f171.google.com with SMTP id v13so11824396ljk.4 for ; Mon, 08 Apr 2019 09:23:33 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=IbRSVVpHd2XhawgSAeIRncq3gqyl4pimmOw06W45F80=; b=QdcuxEGusMCxwy5mIQs6jLMW6ZRQ5MuYdUyFZjMbH9XxYrYrLzsgM4mL4IlQgRGcqd gFid+wWcfAFUUbHI3t5GV/HldQXDkxFS2GEuj4wzukll+Dr5KY815ZXOc/1W8RZaWepo sZcLEJbq0oXzt/1CLASGXFUH/T45Yhm508HUJR+l/qb71SiVHOpCpm4VLiwwq8vRaVO8 o82mamVPfHGX1B6w+N6Knrsy0M6ma1OxpBsthxfA5H18s2UMvTlzcMjZ/3XwO+rs6maZ g41BkcVNI4TMSGYKMb+zbeqtqyrBx+S/tWj0xsedzyTEG6ITeQMt6M44f1x+iTYkTVk/ /59A== X-Gm-Message-State: APjAAAWMI4cjDVSLr4+xfjOyDI076vpIubPa5gfBn50ok6arwiuuv9EQ qM06soJZMJmK0gJMFJZRrhfXfyie3vdSYCe0wu0= X-Google-Smtp-Source: APXvYqzM/8fBfgEEXOrfdYadZUxrNLU+ymZwA3a0R3+otVVviiLDR34zpKCgdn41txGfgDnsJNu202T7ZpkVZKHCfZ4= X-Received: by 2002:a2e:6a05:: with SMTP id f5mr2853729ljc.149.1554740612585; Mon, 08 Apr 2019 09:23:32 -0700 (PDT) X-Loop: coq-club@inria.fr X-Sequence: 17548 Errors-to: coq-club-owner@inria.fr Precedence: list Precedence: bulk Original-Sender: coq-club-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: X-Gmane-Expiry: 2019-04-22 Xref: news.gmane.org gmane.science.mathematics.logic.coq.club:22059 gmane.comp.science.types.announce:8298 gmane.science.mathematics.categories:9885 Archived-At: --000000000000ee5df90586074114 Content-Type: text/plain; charset="UTF-8" [Thanks a lot for disseminating among potentially interested candidates. Apologies for multiple copies] Dear colleagues, For our research project (ERATO MMSD, Metamathematics for Systems Design) we are looking for senior researchers and postdocs (10+ positions in total and some are still open), together with research assistants (PhD students) and internship students. The project runs until March 2022. http://group-mmm.org/eratommsd This broad project aims to extend the realm of formal methods from software to cyber-physical systems (CPS), with particular emphases on logical/categorical metatheories and industrial application esp. in automotive industry. In order to deal with the complexity of real-world cyber-physical systems, we need to rely on empirical, learning-based and data-driven measures for quality assurance (such as search-based testing). At the same time, we are finding logical and automata-theoretic methods---the bedrock of formal verification and synthesis--playing pivotal roles also in those empirical quality assurance measures. This way, our project offers an exciting scientific environment that mixes formal methods, software engineering and machine learning. We also collaborate closely with https://www.autonomoose.net/, an automated driving project at Waterloo, Canada. The following are prerequisites for application. - Your background in one of the following fields: formal methods, programming languages, control theory, control engineering, software science, software engineering, machine learning, numerical optimization, user interface, mathematical logic or category theory - Your willingness to dive into the heterogeneous (and thus exciting!) scientific environment as described in the above For more about the project, including our recent activities and output, please visit http://group-mmm.org/eratommsd About the open positions, the page http://group-mmm.org/eratommsd/openpositions.html has more information (esp. how to apply/inquire). Best regards, Ichiro ====== Ichiro Hasuo Associate Professor, National Institute of Informatics i.hasuo@acm.org Secretaries: hasuolab-secr@nii.ac.jp http://group-mmm.org/~ichiro/ --000000000000ee5df90586074114 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
[Thanks a lot for disseminating among potentially interested=C2= =A0candidates. Apologies for multiple copies]
Dear colleagues,

For = our research project (ERATO MMSD, Metamathematics for
Systems Des= ign) we are looking for senior researchers and postdocs
(10+=C2= =A0positions=C2=A0in total and some are sti= ll=C2=A0open), together with
rese= arch assistants (PhD students) and internship students.
The proje= ct runs until March 2022.

=
This broad project aims to extend the realm of formal methods fr= om
software to cyber-physical systems (CPS), with particular emph= ases on
logical/categorical metatheories and industrial applicati= on esp. in
automotive industry.=C2=A0

In= order to deal with the complexity of real-world cyber-physical systems,=C2= =A0
we need to rely on empirical, learning-based and data-driven = measures for=C2=A0
quality assurance (such as search-based testin= g). At the same
time, we are finding logical and automata-theoret= ic methods---the bedrock=C2=A0
of formal verification and synthes= is--playing pivotal roles also in those=C2=A0
empirical quality a= ssurance measures. This way, our
project offers an exciting scien= tific environment that mixes formal methods,
software engineering= and machine learning. We also collaborate closely with=C2=A0https://www.autonomoose.net/, an automated driving project at Waterloo, Canada.

<= div>The following are prerequisites for application.

- Your background in one of the following fields: formal methods, progra= mming languages, control theory, control engineering, software science, sof= tware engineering, machine learning, numerical optimization, user interface= , mathematical logic or category theory


About the=C2=A0open=C2=A0positions, the page
= has more information (esp. how to apply/inquire).

Best regards,
Ichiro
=3D= =3D=3D=3D=3D=3D
Ichiro Hasuo
Associate Professor, National Institute = of Informatics
i.ha= suo@acm.org =C2=A0 =C2=A0 Secretaries: hasuolab-secr@nii.ac.jp
http://group-mmm.org/~ichiro/<= /a>
--000000000000ee5df90586074114--