From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/9935 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, 25 Jun 2019 10:54:26 -0700 Message-ID: Reply-To: coq-club@inria.fr Mime-Version: 1.0 Content-Type: multipart/alternative; boundary="00000000000047b989058c299f82" Injection-Info: blaine.gmane.org; posting-host="blaine.gmane.org:195.159.176.226"; logging-data="103322"; 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 Tue Jun 25 19:54:54 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 esmtp (Exim 4.89) (envelope-from ) id 1hfpee-000Qjn-Sh for gsmlcc-coq-club@gmane.org; Tue, 25 Jun 2019 19:54:52 +0200 X-IronPort-AV: E=Sophos;i="5.63,416,1557180000"; d="scan'208,217";a="389034293" Original-Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 25 Jun 2019 19:54:51 +0200 Original-Received: by sympa.inria.fr (Postfix, from userid 20132) id 9E8277ED69; Tue, 25 Jun 2019 19:54:51 +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 95CBB7ED69 for ; Tue, 25 Jun 2019 19:54:39 +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-lf1-f51.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AtWEsSxApTT9ST6YfEZqUUyQJP3N1i/DPJgcQr6Af?= =?us-ascii?q?oPdwSPXzrsbcNUDSrc9gkEXOFd2Cra4d0ayP7+u5ADFIoc7Y9ixbKdoUD15NoP?= =?us-ascii?q?5VtjRoONSCB0z/IayiRA0BN+MGamVY+WqmO1NeAsf0ag6aiHSz6TkPBke3blIt?= =?us-ascii?q?daz6FYHIksu4yf259YHNbAVUnjq9Zq55IAmroQnLucQanJVuJrwsxhbGrXdEZv?= =?us-ascii?q?layGN1Ll6Xgxrw+9288ZF+/yhNof4t69JMXaDndKkkULJUCygrPXoo78PxrxnD?= =?us-ascii?q?SgWP5noYUmoIlxdDHhbI4hLnUJrvqyX2ruVy1jWUMs3wVrA0RC+t77x3Rx/yiS?= =?us-ascii?q?cILCA2/WfKgcFtlq1boRahpxtiw47IZYyeKfRzcr/Bcd4cWGFMWNtaWS5cDYOm?= =?us-ascii?q?d4YAAOoPM+hboYfguVUBsQCzChOwCO710DJEmmP60K883u88EQ/GxgsgH9cWvX?= =?us-ascii?q?rXsNr1NKYSUfqyzKLVzzvMdehW2Sr66IPVdR0hoOuAXbJqfsrK1EkvEBjIgU+M?= =?us-ascii?q?pozgJT+V0f4Ns2eC4udmSOmhhWknqwRrrTiuwMchkpPGhp8JylDD8yV5x4M1Jd?= =?us-ascii?q?q/SE5gf9GoCp1QuD+GN4duTcMiWWZouDsiyrEfvJ67eS0KxI4gxx7FZPyKdZWD?= =?us-ascii?q?7BH7VOuJPzt0mHZodK X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BDAwCYXhJdhjOnVdFmDggIAQYHBoFng?= =?us-ascii?q?RWBKkKBBCiEFoEdlnMBAY9ahhaBcAEDAQwjDAEBgUuFbBsHAQQ0EwEDAQEEAQE?= =?us-ascii?q?CAQIDARMBAQEICwsIKYo+DII6IoMYQwcyNwIkEgEFASMSgyIBggoPmiM8iyCBM?= =?us-ascii?q?YhsgUYSgSKLXoFXP4NzAmyCVgsDgSiDQoJYBJUHlQ0HAoIXhlCEYog5G4Iphw6?= =?us-ascii?q?OF40ohXmBPIF1glGLLA8hgUaBeTMaMHQGgjUJiwE7hQRbIjCQcQEB?= X-IPAS-Result: =?us-ascii?q?A0BDAwCYXhJdhjOnVdFmDggIAQYHBoFngRWBKkKBBCiEFoE?= =?us-ascii?q?dlnMBAY9ahhaBcAEDAQwjDAEBgUuFbBsHAQQ0EwEDAQEEAQECAQIDARMBAQEIC?= =?us-ascii?q?wsIKYo+DII6IoMYQwcyNwIkEgEFASMSgyIBggoPmiM8iyCBMYhsgUYSgSKLXoF?= =?us-ascii?q?XP4NzAmyCVgsDgSiDQoJYBJUHlQ0HAoIXhlCEYog5G4Iphw6OF40ohXmBPIF1g?= =?us-ascii?q?lGLLA8hgUaBeTMaMHQGgjUJiwE7hQRbIjCQcQEB?= X-IronPort-AV: E=Sophos;i="5.63,416,1557180000"; d="scan'208,217";a="311389040" X-MGA-submission: =?us-ascii?q?MDEUBoVam1z7QJy9rjQqtvSo9MuFUJMHFHiaRe?= =?us-ascii?q?AUleoh41pLxItMF/TIgb3hU2YfkEAyU+oliAcR4GnmoPuYhGEWBchS+M?= =?us-ascii?q?RbnRJl5LJ+p6NB3nGjA1SSD+CXuLGYidhIQqp7U/gA4YYz6D0mar2d91?= =?us-ascii?q?CAvsZhJ9myGuko21Zb1eBChA=3D=3D?= Original-Received: from mail-lf1-f51.google.com ([209.85.167.51]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 25 Jun 2019 19:54:38 +0200 Original-Received: by mail-lf1-f51.google.com with SMTP id y198so13304000lfa.1 for ; Tue, 25 Jun 2019 10:54:38 -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=pp6Au/+N/0giHIW6OhlbsLtkONWKATs8/bVkewIkrE0=; b=dmvPDOV1qP3aZtOkebedf8Px2yhzLvi9lCrDTeN7wjvFU5Mx1fWlMSHfG0SNVM6zVe KHbQlQXR7P7emzSCAxpxAS/Y6KcAwBqnJ/hIGY+8/OD0IKLoKRj12fxx9Yu+Cd5eBBwi RFiqGhy3+M1XUP63pfZKw3oQnuH9NttnwEQtqRU28nuUTw3GAqrhh/B4gJQrKWDe6BYy Aa4AbP5UtZjLFuIUqSpVC+vZ5QxhY2zKO7N6QWdAcnAS0d3epm2pOBeoiI+l9cpTthO3 2NC6NLw7N6fqrnVWzR5Pt6FyJABgA9Q9R+JTnorEG5B0fLFaeyoEPwe97rseE2pzlAOl SiNg== X-Gm-Message-State: APjAAAVvyYRx+cqMaYrEeMXCnsPVmk84ALwzKGm/1CYTNvbm+pXiqJca pb2MqMPp392NuTNr4D+dZP2DV4op4PVRnTIGMe0= X-Google-Smtp-Source: APXvYqzDapbiI668A90xKsSW8MDE48F2v22K47wra77cnhb+0fYb7lKBZ2thPEIeuaHLNt1SHyfwubBqC4tP4MT32Gc= X-Received: by 2002:ac2:546a:: with SMTP id e10mr18373lfn.75.1561485277377; Tue, 25 Jun 2019 10:54:37 -0700 (PDT) X-Loop: coq-club@inria.fr X-Sequence: 17789 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-07-09 Xref: news.gmane.org gmane.science.mathematics.logic.coq.club:22301 gmane.comp.science.types.announce:8511 gmane.science.mathematics.categories:9935 Archived-At: --00000000000047b989058c299f82 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/ --00000000000047b989058c299f82 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
[Thanks a lot for disseminating among potentially interest= ed=C2=A0candidates. Apologies for multiple copies]
Dear colleagues,

For ou= r research project (ERATO MMSD, Metamathematics for
Systems=C2=A0Design) we are looking for senior researc= hers and postdocs
(10+=C2=A0positions=C2=A0in tot= al and some are still=C2=A0open), together with
r= esearch assistants (PhD students) and internship students.
The pr= oject runs until March 2022.
<= br>
This broad project aims to extend the realm of=C2=A0formal=C2=A0methods= =C2=A0from
software to=C2=A0cyber= -physical=C2=A0sys= tems=C2=A0(CPS), with particular emphases on
logical/categ= orical metatheories and industrial application esp. in
automotive= industry.=C2=A0

In order to deal with the complex= ity of real-world=C2=A0cyber-physical=C2=A0systems,=C2= =A0
we need to rely on empirical,=C2=A0l= earning-based and data-driven measures for=C2=A0
quality a= ssurance (such as search-based testing). At the same
time, we are= finding logical and automata-theoretic=C2=A0metho= ds---the bedrock=C2=A0
of=C2=A0fo= rmal=C2=A0verification and synthesis--playing pivotal roles also in = those=C2=A0
empirical quality assurance measures. This way, our
project offers an exciting scientific environment that mixes=C2=A0= formal=C2=A0method= s,
software engineering and machine=C2=A0learning. We also collaborate closely with=C2=A0https://www.autonomoose.net/= , an automated driving project at Waterloo, Canada.

The following are prerequisites for application.

=
- Your background in one of the following fields:=C2=A0formal=C2=A0methods, progr= amming languages, control theory, control engineering, software science, so= ftware engineering, machine=C2=A0learning, = numerical optimization, user interface, mathematical logic or category theo= ry
- Your willingness to dive into the heterogeneous (and thus ex= citing!) scientific environment as described in the above

For more about the project, including our recent activities and out= put, please visit

A= bout 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 Institu= te of Informatics
i= .hasuo@acm.org =C2=A0 =C2=A0 Secretaries: hasuolab-secr@nii.ac.jp
http://group-mmm.org/~ichir= o/
--00000000000047b989058c299f82--