From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/9656 Path: news.gmane.org!.POSTED!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: Wed, 20 Jun 2018 21:46:55 +0900 Message-ID: Reply-To: coq-club@inria.fr NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: multipart/alternative; boundary="000000000000c7dbe0056f123258" X-Trace: blaine.gmane.org 1529498716 2720 195.159.176.226 (20 Jun 2018 12:45:16 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Wed, 20 Jun 2018 12:45:16 +0000 (UTC) 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 Wed Jun 20 14:45:11 2018 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 esmtp (Exim 4.84_2) (envelope-from ) id 1fVcU3-0000c4-Kq for gsmlcc-coq-club@gmane.org; Wed, 20 Jun 2018 14:45:11 +0200 X-IronPort-AV: E=Sophos;i="5.51,247,1526335200"; d="scan'208,217";a="332587511" Original-Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 20 Jun 2018 14:47:21 +0200 Original-Received: by sympa.inria.fr (Postfix, from userid 20132) id 7EDEF824A2; Wed, 20 Jun 2018 14:47:21 +0200 (CEST) Original-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 81E0582474 for ; Wed, 20 Jun 2018 14:47:17 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=i.hasuo@gmail.com; spf=Pass smtp.mailfrom=i.hasuo@gmail.com; spf=None smtp.helo=postmaster@mail-lf0-f51.google.com IronPort-PHdr: =?us-ascii?q?9a23=3Aa6ovyx0VuFYbQW9esmDT+DRfVm0co7zxezQtwd8Z?= =?us-ascii?q?seMVI/ad9pjvdHbS+e9qxAeQG9mDtrQc06L/iOPJYSQ4+5GPsXQPItRndiQuro?= =?us-ascii?q?EopTEmG9OPEkbhLfTnPGQQFcVGU0J5rTngaRAGUMnxaEfPrXKs8DUcBgvwNRZv?= =?us-ascii?q?JuTyB4Xek9m72/q99pHPYwhEniaxba9vJxiqsAvdsdUbj5F/Iagr0BvJpXVIe+?= =?us-ascii?q?VSxWx2IF+Yggjx6MSt8pN96ipco/0u+dJOXqX8ZKQ4UKdXDC86PGAv5c3krgfM?= =?us-ascii?q?QA2S7XYBSGoWkx5IAw/Y7BHmW5r6ryX3uvZh1CScIMb7S60/Vza/4KdxUBLmiC?= =?us-ascii?q?kJOT0k/m/JlsN9l7hUrA67qhFl34LYfIOYOfxjda3dZ9MaQm9BU95SWSNdAoO8?= =?us-ascii?q?bpEPD+0cNuhatYb9vEYOrRyjDgSrBePj0D9IiWXt3a0n1OQsChvJ0xAlH94Ut3?= =?us-ascii?q?TUttr1Ob4UXOuowqfIyjDDYOlX2Tf78IXHaA0hoe2LXbJ2dsrRzE4vFwTejlqO?= =?us-ascii?q?s4DlOS2a1vgVv2iU9epgUv+vi3Y+pwF0pzivw90gio7ThoIazF3P6CZ3wJ4tKN?= =?us-ascii?q?GmVEJ2ZcSoHZhQui2AKYd6X8MvT3totSonzLANpIS1czIQyJs9wh7Sc/yHfJaM?= =?us-ascii?q?4hLkTOuRJC13hHNheL X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0C9MQAeTCpbhjPXVdFbDggHAQEiAQYBg?= =?us-ascii?q?1U+fyiDeVJLkyiEfY0ChRcOgWIjgVSCdYJ5GQcBBDQUAQIBAQEBAQEBAQETAQE?= =?us-ascii?q?BCAsLCCkjDII1IoJ7HQElBw0DDQUQNwIkEgEFASMSgyUBgWcDFQ+gRTyLCIIcg?= =?us-ascii?q?nIFg3MmDYEsZQIGEohCgVQ/g2sCgzsLA4EnZYJUglUCjSeLfQcChX2CZIYvgT+?= =?us-ascii?q?EAYgBih1PUIYUDyGBN4FzMxowdAaCER8JaoUKhFk7hQRJMDCPagEB?= X-IPAS-Result: =?us-ascii?q?A0C9MQAeTCpbhjPXVdFbDggHAQEiAQYBg1U+fyiDeVJLkyi?= =?us-ascii?q?EfY0ChRcOgWIjgVSCdYJ5GQcBBDQUAQIBAQEBAQEBAQETAQEBCAsLCCkjDII1I?= =?us-ascii?q?oJ7HQElBw0DDQUQNwIkEgEFASMSgyUBgWcDFQ+gRTyLCIIcgnIFg3MmDYEsZQI?= =?us-ascii?q?GEohCgVQ/g2sCgzsLA4EnZYJUglUCjSeLfQcChX2CZIYvgT+EAYgBih1PUIYUD?= =?us-ascii?q?yGBN4FzMxowdAaCER8JaoUKhFk7hQRJMDCPagEB?= X-IronPort-AV: E=Sophos;i="5.51,247,1526335200"; d="scan'208,217";a="332587483" Original-Received: from mail-lf0-f51.google.com ([209.85.215.51]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 20 Jun 2018 14:47:16 +0200 Original-Received: by mail-lf0-f51.google.com with SMTP id t2-v6so4755035lfd.6 for ; Wed, 20 Jun 2018 05:47:16 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:sender:from:date:message-id:subject:to; bh=FehlUOw4J7wzoIEsYjNnUSBVeS1Ze0EGVIaiHJmEKqg=; b=jXk/+k0nqmcHsFsALFtsSxHAV+60GY/8lJ4sIXxxbQMcxkPGtw9i0/A2agFaCaOd4D 5Jcpp0uAj4nQ2sFB2FuIBScsi7rwCCtrC3EtrdF623jmgclzAb++d1P+VN7izuLi9T5O DiQhOY9bb6WkzkXY/drTBXFgT/eLt4shneQ84ufIM276P2TboKzq8m12etyl+wsr0nwq YjvKcbVUl0zyN78SgIiI0mW+Q311nrVKREjVy3lBvATrLsJK9Qrob54sKqbYzYfpEAjb Kr98rH0VChYBYHsup/7aK9dnjNeAA24ZZb+9hPzMyNNhdhmNb+MS7KW/i1Mo+HF6s7Cl +LAQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:sender:from:date:message-id:subject :to; bh=FehlUOw4J7wzoIEsYjNnUSBVeS1Ze0EGVIaiHJmEKqg=; b=aYpLaj16budMp0GF8ZPRjNxgLhhIQu/E57lEEuB2qrN8h8SyZ8XoM6g2hpghEUrN+f a7cQX6dfl3dcz0sL79Whg+qowvtVEsGIJG50H+k5M+ISkyEWgWQZNyAgFspUIyKMNr+M K8ChM4bo/AEqGB0gxxXZB7X+rj+YZjouE0Xs/UImTHoijOpINPr+MoNQc3yr2EsqsdQA tSUvSbUGq0qqkvGwCchyugsRS496ckR++59HgHS8x9dnVnLXKxY/GTrWIJgqUyQfOW0h X2WW6X5HN3s9oe79cW8ZXZ+NHBEOfDAkjyaiu9VKCAJ7L4e5uhpsfmRGUC5X4svxDMbA GwPg== X-Gm-Message-State: APt69E0FayVMxko8CkVace7cooUslr2YAWkta3Jq8SaRD1f4+hDxjc+w 7ryDiOUK5Weq/0Aqax5V2yR2W4JjuwR7vv76Fp8= X-Google-Smtp-Source: ADUXVKKNuurciyFujgdKKrkQ3wosPQdIyrWDTN481gC6SyyParu5mcR4knzBIWi4e+t34QufimuV+jPirCR65Q54EdY= X-Received: by 2002:a2e:934d:: with SMTP id m13-v6mr13646953ljh.78.1529498835604; Wed, 20 Jun 2018 05:47:15 -0700 (PDT) Original-Sender: i.hasuo@gmail.com Original-Received: by 2002:a2e:3307:0:0:0:0:0 with HTTP; Wed, 20 Jun 2018 05:46:55 -0700 (PDT) X-Google-Sender-Auth: AMRyIszpjN9cOWhg69nlAQhIFEo X-Loop: coq-club@inria.fr X-Sequence: 16471 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: 2018-07-04 Xref: news.gmane.org gmane.science.mathematics.logic.coq.club:20975 gmane.comp.science.types.announce:7719 gmane.science.mathematics.categories:9656 Archived-At: --000000000000c7dbe0056f123258 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 please visit http://group-mmm.org/eratommsd About the open positions 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 http://group-mmm.org/~ichiro/ --000000000000c7dbe0056f123258 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
[Thanks a lot for disseminating among potentially int= erested
candidates. Apologies for multiple copies]

=
Dear colleagues,

For our research proje= ct (ERATO MMSD, Metamathematics for
Systems Design) we are lookin= g for senior researchers and postdocs
(10+ positions in total and= some are still open), together with
research assistants (PhD stu= dents) and internship students.
The project runs until March 2022= .

This broad project aim= s to extend the realm of formal methods from
software to cyber-ph= ysical systems (CPS), with particular emphases on
logical/categor= ical metatheories and industrial application esp. in
automotive i= ndustry.=C2=A0

In order to deal with the complexit= y of real-world cyber-physical systems,=C2=A0
we need to rely on = empirical, learning-based and data-driven measures for quality assurance (s= uch as search-based testing). At the same
time, we are finding lo= gical and automata-theoretic methods--the bedrock of formal verification an= d synthesis--playing
pivotal roles also in those empirical qualit= y assurance measures. This way, our
project offers an exciting sc= ientific environment that mixes formal methods,
software engineer= ing and machine learning. We also collaborate closely with https://www.autonomoose.net/, an automated dri= ving project at Waterloo, Canada.

The following ar= e prerequisites for application.
  • Your background in one o= f the following fields: formal methods, programming languages, control theo= ry, control engineering, software science, software engineering, machine le= arning, numerical optimization, user interface, mathematical logic or categ= ory theory
  • Your willingness to dive into the heterogeneous (and= thus exciting!) scientific environment as described in the above
=
For more about the project please visit
<= br>
About the open positions
has more information (esp. how to apply/inquire).<= /div>

Best regards,
Ichiro

=3D=3D=3D=3D=3D=3D
Ichiro Hasuo
Associate Professor, Nationa= l Institute of Informatics
i.hasuo@acm.org=C2=A0=C2=A0
--000000000000c7dbe0056f123258--