[TYPES/announce] PhD/postdoc positions in formal methods for AI at Ecole Polytechnique, Paris, France
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Applications are invited for PhD student or postdoc positions at Ecole
Polytechnique in Paris, France. The successful candidates will work under the
supervision of Sylvie Putot
(https://urldefense.com/v3/__http://www.lix.polytechnique.fr/Labo/Sylvie.Putot/index.html__;!!IBzWLUs!SLq1Fv2BYNPYVrxHX4KoLUy-gZXRS0nou1UfDhSg8kNSlOtF8yOAVE4SdQ25pbMPubbGLEyNkuPEucsLWcnGgAuThZtJnZsKkqc_oy6KxunF$
<https://urldefense.com/v3/__http://www.lix.polytechnique.fr/Labo/Sylvie.Putot/index.html__;!!IBzWLUs!SLq1Fv2BYNPYVrxHX4KoLUy-gZXRS0nou1UfDhSg8kNSlOtF8yOAVE4SdQ25pbMPubbGLEyNkuPEucsLWcnGgAuThZtJnZsKkqc_oy6KxunF$
>) and Eric Goubault
(https://urldefense.com/v3/__http://www.lix.polytechnique.fr/Labo/Eric.Goubault/__;!!IBzWLUs!SLq1Fv2BYNPYVrxHX4KoLUy-gZXRS0nou1UfDhSg8kNSlOtF8yOAVE4SdQ25pbMPubbGLEyNkuPEucsLWcnGgAuThZtJnZsKkqc_o-K0IXg7$
<https://urldefense.com/v3/__http://www.lix.polytechnique.fr/Labo/Eric.Goubault/__;!!IBzWLUs!SLq1Fv2BYNPYVrxHX4KoLUy-gZXRS0nou1UfDhSg8kNSlOtF8yOAVE4SdQ25pbMPubbGLEyNkuPEucsLWcnGgAuThZtJnZsKkqc_o-K0IXg7$
>) on formal verification and analysis techniques of neural networks (used for
classification or as part of a larger cyber-physical system). The students will
interact also with the project members of the SAIF project
https://urldefense.com/v3/__https://project.inria.fr/saif/project-members/__;!!IBzWLUs!SLq1Fv2BYNPYVrxHX4KoLUy-gZXRS0nou1UfDhSg8kNSlOtF8yOAVE4SdQ25pbMPubbGLEyNkuPEucsLWcnGgAuThZtJnZsKkqc_o3U8muCj$
<https://urldefense.com/v3/__https://project.inria.fr/saif/project-members/__;!!IBzWLUs!SLq1Fv2BYNPYVrxHX4KoLUy-gZXRS0nou1UfDhSg8kNSlOtF8yOAVE4SdQ25pbMPubbGLEyNkuPEucsLWcnGgAuThZtJnZsKkqc_o3U8muCj$
> through regular project meetings. The particular research topic will be
determined based on the common interests of the candidate and the supervisors,
and can be either theoretical or practical. Possible themes in the area of
formal methods for robustness and explainability of AI include the analysis of
ReLU activated neural networks (possibly using tropical methods), generalized
reachability problems and hyperproperties, probabilistic properties and
imprecise probabilities etc.
Candidates should have a strong background in computer science with an interest
in formal methods, abstract interpretation/set-based methods, artificial
intelligence, cyber-physical systems...
Interested candidates should send their application (CV, references, motivation
letter) via e-mail at {sylvie.putot,eric.goubault}@polytechnique.edu
<mailto:eric.goubault...@polytechnique.edu>
Best regards, and happy New Year,
Eric Goubault and Sylvie Putot.
[TYPES/announce] Call for contributions - 11th Conference on Geometric and Topological Methods in Computer Science
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] GETCO 2022 – 11th International Conference on Geometric and Topological Methods in Computer Science GETCO 2022 will take place in Paris from May 30th to June 3rd 2022, see https://urldefense.com/v3/__https://www.lix.polytechnique.fr/*smimram/getco22/__;fg!!IBzWLUs!AVXR4UyrkrG0u27S-BQp_9JW2gGQKPvXXvD7PGtO29b2GhKtHQt-b4WoxEmnoSMij_bS3zsj4cBG0w$ <https://urldefense.com/v3/__https://www.lix.polytechnique.fr/*smimram/getco22/__;fg!!IBzWLUs!AVXR4UyrkrG0u27S-BQp_9JW2gGQKPvXXvD7PGtO29b2GhKtHQt-b4WoxEmnoSMij_bS3zsj4cBG0w$ > The Geometric and Topological Methods in Computer Science (GETCO) conference series focus on applications of algebraic topology in computer science with special emphasis in concurrency, distributed computing, networking and other situations related to systems of sequential computers that communicate with each other. It is aimed at mathematicians and computer scientists working in or interested in these subjects, including researchers and graduate students. The aim of the conference is to exchange ideas and to initiate or expand research collaborations. Special emphasis will be on directed topology, concurrency and distributed computing geometric aspects of logics, higher categories and rewriting dynamical/hybrid/control systems and robotics topological persistence theory Participation The conference is hybrid. Onsite participation is encouraged, but an option for online participation will be provided. Registration is free but mandatory on the dedicated form <https://urldefense.com/v3/__https://forms.gle/M4RBGrM8rauDfGHg8__;!!IBzWLUs!AVXR4UyrkrG0u27S-BQp_9JW2gGQKPvXXvD7PGtO29b2GhKtHQt-b4WoxEmnoSMij_bS3zt2tI8wcg$ >. Submissions The conference will feature contributed talks. Important dates are submission: 31 March 2022 notification: 15 April 2022 The submissions should consist in free-form abstracts (longer submissions are also accepted) and be uploaded on the dedicated easychair page <https://urldefense.com/v3/__https://easychair.org/conferences/?conf=getco2022__;!!IBzWLUs!AVXR4UyrkrG0u27S-BQp_9JW2gGQKPvXXvD7PGtO29b2GhKtHQt-b4WoxEmnoSMij_bS3zvC-Ket1Q$ >. There is no imposed format. Venue The conference will take place at EPITA School of Engineering and Computer Science <https://urldefense.com/v3/__https://www.epita.fr/__;!!IBzWLUs!AVXR4UyrkrG0u27S-BQp_9JW2gGQKPvXXvD7PGtO29b2GhKtHQt-b4WoxEmnoSMij_bS3zuqSLjd8A$ > located 14-16 rue Voltaire 94270 Le Kremlin-Bicêtre (just at the south border of Paris) Publication A special issue of a journal will be dedicated to selected papers from the conference. Organization Scientific committee Ulrich Fahrenberg <https://urldefense.com/v3/__http://www.lix.polytechnique.fr/Labo/Ulrich.Fahrenberg/__;!!IBzWLUs!AVXR4UyrkrG0u27S-BQp_9JW2gGQKPvXXvD7PGtO29b2GhKtHQt-b4WoxEmnoSMij_bS3zski8xAfw$ >, EPITA, France Lisbeth Fajstrup <https://urldefense.com/v3/__https://people.math.aau.dk/*fajstrup/__;fg!!IBzWLUs!AVXR4UyrkrG0u27S-BQp_9JW2gGQKPvXXvD7PGtO29b2GhKtHQt-b4WoxEmnoSMij_bS3zssCC507Q$ >, Aalborg University, Denmark Eric Goubault <https://urldefense.com/v3/__http://www.lix.polytechnique.fr/Labo/Eric.Goubault/__;!!IBzWLUs!AVXR4UyrkrG0u27S-BQp_9JW2gGQKPvXXvD7PGtO29b2GhKtHQt-b4WoxEmnoSMij_bS3zvNzjfyJA$ >, École polytechnique, France Samuel Mimram <https://urldefense.com/v3/__http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/__;!!IBzWLUs!AVXR4UyrkrG0u27S-BQp_9JW2gGQKPvXXvD7PGtO29b2GhKtHQt-b4WoxEmnoSMij_bS3ztN9x9DcA$ >, École polytechnique, France Marian Mrozek <https://urldefense.com/v3/__https://ww2.ii.uj.edu.pl/*mrozek/__;fg!!IBzWLUs!AVXR4UyrkrG0u27S-BQp_9JW2gGQKPvXXvD7PGtO29b2GhKtHQt-b4WoxEmnoSMij_bS3zskjjkmdA$ >, Jagiellonian University, Poland Steve Oudot <https://urldefense.com/v3/__https://geometrica.saclay.inria.fr/team/Steve.Oudot/__;!!IBzWLUs!AVXR4UyrkrG0u27S-BQp_9JW2gGQKPvXXvD7PGtO29b2GhKtHQt-b4WoxEmnoSMij_bS3zsdKjEDbA$ >, École polytechnique, France Sergio Rajsbaum <https://urldefense.com/v3/__https://www.matem.unam.mx/*rajsbaum/__;fg!!IBzWLUs!AVXR4UyrkrG0u27S-BQp_9JW2gGQKPvXXvD7PGtO29b2GhKtHQt-b4WoxEmnoSMij_bS3zu3KvJgSw$ >, Universidad Nacional Autonoma de Mexico Martin Raussen <https://urldefense.com/v3/__https://people.math.aau.dk/*raussen/__;fg!!IBzWLUs!AVXR4UyrkrG0u27S-BQp_9JW2gGQKPvXXvD7PGtO29b2GhKtHQt-b4WoxEmnoSMij_bS3zui0wjlaw$ >, Aalborg University, Denmark Organizing committee Cameron Calk Eric Goubault Roman Kniazev Samuel Mimram
[TYPES/announce] Call for contributions - 11th Conference on Geometric and Topological Methods in Computer Science
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR CONTRIBUTIONS 11th International Conference on Geometric and Topological Methods in Computer Science GETCO 2022 30 May to 3 June 2022, Paris, France https://urldefense.com/v3/__http://www.lix.polytechnique.fr/*smimram/getco22/__;fg!!IBzWLUs!ApY3m9z9ZqHAHcljQgYQR_B2MaXQPa5f70flIopfHbBFteBHYQev91S4W2Y5cufDSKdUZU1BL1Ecng$ The Geometric and Topological Methods in Computer Science (GETCO) conference series focus on applications of algebraic topology in computer science with special emphasis in concurrency, distributed computing, networking and other situations related to systems of sequential computers that communicate with each other. It is aimed at mathematicians and computer scientists working in or interested in these subjects, including researchers and graduate students. The aim of the conference is to exchange ideas and to initiate or expand research collaborations. Special emphasis will be on - directed topology, concurrency and distributed computing - geometric aspects of logics, higher categories and rewriting - dynamical/hybrid/control systems and robotics - topological persistence theory We are calling for presentations of original, unfinished, already published, or otherwise interesting work within the topics of the GETCO conferences. The submission can be in the form of a poster, an abstract, a paper submitted to or published at another conference, etc. GETCO will have no formal proceedings, but should be followed by a special issue dedicated to selected papers from the conference. # IMPORTANT DATES - Submission:15 March 2022 - Notification: 15 April 2022 # INVITED SPEAKERS TBC # HISTORY The first GETCO conference was held in Aalborg in 1999. Applications of algebraic topology in concurrency was a new subject, fostered by seminal papers such as those by Vaughn Pratt in ACM POPL 1991 and Eric Goubault at CONCUR 1992 and CONCUR 1993, on the formal methods side, and the ACM STOC 1993 papers by Herlihy-Shavit and Saks-Zaharoglou, on the distributed computing side; brought to attention in the Workshop on New Connections between Mathematics and Computer Science, organized by Jeremy Gunawardena in Cambridge in 1995. The following seven GETCO workshops were held as satellites to CONCUR or DISC, the main conferences on concurrency and distributed computing. The 2nd was held at Penn State University, in 2000, then in Aalborg in 2001, Toulouse 2002, Marseille 2003, Amsterdam 2004, San Francisco 2005, and Bonn 2006. The 2010 workshop had a broader scope and included further applications of algebraic topology including robotics and shape analysis. GETCO was back in Aalborg for its 9th edition in 2015, expanding to topics such as data analysis. By then, an ESF network ACAT, Applied and Computational Algebraic Topology, had been established, and two books had been published, Distributed Computing Through Combinatorial Topology and Directed Algebraic Topology and Concurrency; some of many indications that applications of algebraic topology to concurrent systems is now a mature subject, widespread and with impact in many fields. The 10th edition, which took place in Oaxaca, Mexico in 2018, expanded further to neuroscience and learning applications. The 11th edition was originally planned in 2020 in Palaiseau, but had to be delayed due to the pandemia. # SUBMISSION INSTRUCTIONS Please submit your contribution at https://urldefense.com/v3/__https://easychair.org/conferences/?conf=getco2022__;!!IBzWLUs!ApY3m9z9ZqHAHcljQgYQR_B2MaXQPa5f70flIopfHbBFteBHYQev91S4W2Y5cufDSKdUZU0hILdgSg$ by 15 March 2022. There is no imposed format for the submissions. ## SCIENTIFIC COMMITTEE - Ulrich Fahrenberg, EPITA, France - Lisbeth Fajstrup, Aalborg University, Denmark - Eric Goubault, École polytechnique, France - Samuel Mimram, École polytechnique, France - Marian Mrozek, Jagiellonian University, Poland - Steve Oudot, École polytechnique, France - Sergio Rajsbaum, Universidad Nacional Autonoma de Mexico - Martin Raussen, Aalborg University, Denmark ## ORGANIZING COMMITTEE - Cameron Calk - Eric Goubault - Roman Kniazev - Samuel Mimram
[TYPES/announce] Positions opened at the CS department of Ecole Polytechnique
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Dear colleagues,
Ecole Polytechnique welcomes applications for several full-time and part-time
computer science assistant professors, starting in September 2019 (application
deadline, March 25) :
- 1 position of full-time Assistant Professor ("Maître de Conférences") "Monge"
(tenure-track) in Data Science and Artificial Intelligence, audition scheduled
on the 22nd May.
- 1 position of assistant professor full-time ("Maître de Conférences") in
Internet of Things, audition scheduled on May 16th.
- 3 full-time Assistant Professor ("Maître de Conférences") positions in
computer science, capable of teaching at least one or more of the following:
algorithmic, programming at all levels, but also computer architecture,
operating systems, compilation and logic and complexity, audition scheduled on
May 15th and 17th.
- 1 full-time Assistant Professor ("Maître de Conférences") "Monge" position
(tenure-track) in computer science, capable of teaching at least one or more of
the following: algorithmic, programming at all levels, but also computer
architecture, operating systems, compilation and logic and complexity, audition
scheduled on May 15th and 17th.
- 1 position of part-time assistant professor in computer graphics, audition
scheduled on May 21st.
- 2 positions of part-time assistant professor in data sciences and artificial
intelligence, audition scheduled on May 14th.
- 2 positions of part-time assistant positions in computer science, audition
scheduled on May 13th.
Candidates on full-time positions must show how they would integrate into one
of the existing teams of the laboratory (see https://www.lix.polytechnique.fr
(english) http://www.lix.polytechnique.fr/Labo/Eric.Goubault/positions-2019.htm
on the department's website https://portail.polytechnique.edu/informatique
and
on the application website
https://candidatures-calliope.polytechnique.fr/calliope-fo/accueil/index.php
as well as a few details on computer science teaching at Ecole Polytechnique
and indications about statutes and salaries.
Following some questions we have been asked, please note that it is not
necessary to get the French « qualification aux postes de Maître de Conférences
» for applying
to these positions. Note also that Monge positions correspond to tenure track
positions (6 years, during which the French « Habilitation » must be passed,
with a partial discharge of teaching the 3
first years) with promotion package (tenure as professor).
Sincerely,
Eric.
