[TYPES/announce] Postdoc position: Automated Reasoning and Proof Certificates (part-time)

[Georg Weissenbacher]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

This is an announcement of a part-time postdoc position at TU Wien
(Vienna, Austria).

The Research Unit Formal Methods in Systems Engineering at TU Wien is
looking for a postdoctoral researcher and offers a position for 6
years (for 20 hours/week). The expected starting date is January 2022.

Tasks:
+ Independent teaching or participation in teaching and supervision of students
+ Project work and leadership of project groups
+ Publishing activities
+ Participation in and organization of scientific events
+ Participation in organizational and administrative tasks of the
research division and the faculty

Your profile:
+ Completed doctoral studies in a relevant field (e.g., automated reasoning)
+ Research experience in the area automated propositional reasoning
and checking of proof certificates; in-depth knowledge of the subject
area propositional reasoning (CDCL), checking of propositional proof
certificates (DRAT, DPR, DSR), and Craig Interpolation
+ Deep interest in scientific problems and the motivation for
independent and goal-oriented research
+ The ability to develop methods, concepts, as well as their
realization and evaluation and the willingness to contribute in
scientific projects
+ Experience in national and international research cooperation as
well as in project management and presentations
+ Experience in teaching and publication activities as well as
interest and enthusiasm in research and work/support with students
+ Organizational and analytical skills as well as a structured way of working
+ Excellent command of the English language and very good
communicative skills and team competences
+ Very good skills in English communication and writing. Knowledge of
German (level B2) or willingness to learn it in the first year.

More details and the application form can be found on
https://urldefense.com/v3/__https://jobs.tuwien.ac.at/Job/168937__;!!IBzWLUs!GnI7CRlER0RPBnSdLfkSIqfhSQ5CewoYzU0VV4JeSzZe9zbLONKX5-1Aq3VFv7ae33NrqL_onkI4LA$
 

[TYPES/announce] FMCAD 2017 (Call for participation: early registration ends Sept 2)

[Georg Weissenbacher]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

FMCAD 2017: CALL FOR PARTICIPATION

International Conference on
Formal Methods in Computer-Aided Design (FMCAD)
TU Wien, Vienna, Austria, October 2-6, 2017

http://www.fmcad.org/FMCAD17

FMCAD Tutorial Day: October 2, 2017
FMCAD Regular Program:  October 3-6, 2017

Part of the FMCAD 2017 program:
- FMCAD Student Forum
- Hardware Model Checking Competition 2017
- Symposium in memoriam of Helmut Veith

Co-located event: MEMOCODE 2017 (http://memocode.irisa.fr/2017/)

CONFERENCE SCOPE

FMCAD 2017 is the seventeenth in a series of conferences on the theory and
applications of formal methods in hardware and system verification. FMCAD
provides a leading forum to researchers in academia and industry for
presenting and discussing ground-breaking methods, technologies, theoretical
results, and tools for reasoning formally about computing systems. FMCAD
covers formal aspects of computer-aided system design including
verification,
specification, synthesis, and testing.

REGISTRATION

Early Registration Deadline: September 02, 2017
Registration Deadline: September 29, 2017

Registration details are available on
http://fmcad.org/FMCAD17/registration

TECHNICAL PROGRAM

The program comprises presentations of 25 regular papers and 4 tool
papers, 3 tutorials and 2 keynotes, a student forum, the Hardware
Model Checking Competition, and a symposium in memoriam Helmut Veith.
Details are available on the web-site: http://fmcad.org/FMCAD17

KEYNOTES

- Byron Cook (Amazon, University College London)
  "Formal Verification, Model Checking, and Constraints
   for Security of the Cloud"

- Wilfried Steiner (TTTech)
  "Formal Methods in Industrial Dependable Systems Design"

TUTORIALS

- Shin'ichiro Matsuo (MIT Media Lab/CELLOS Consortium/BSafe.network)
  "How Formal Methods and Analysis Helps Security of Entire
   Blockchain-based Systems"

- Cas Cremers (Oxford University)
  "Symbolic Security Analysis using the Tamarin Prover"

- Jade Alglave (Microsoft Research, University College London)
  "Consistency Properties of Parallel/Distributed Programs in cat"

STUDENT FORUM AND HELMUT VEITH SYMPOSIUM

The FMCAD student forum consists of short presentations and posters
of doctoral students presenting their work-in-progress.

The Symposium in memoriam Helmut Veith features talks on
model checking, synthesis, distributed algorithms, and security,
as well as a LogicLounge on Teaching Logic in Computer Science.

SPONSORS

- Sponsored by FMCAD, Inc.
- Technical Co-sponsor: IEEE
- In-cooperation with: ACM SIGPLAN/SIGSOFT

- Financial support: Amazon, ARM, BMVIT, Centaur Technology, DiffBlue,
  Galois, Microsoft, NSF, Oski Technology, Real Intent, Synopsys,
  TTTech, WWTF

[TYPES/announce] Vienna Research Groups for Young Investigators - Call for Applications

[Georg Weissenbacher]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

Applications are being invited for outstanding early-career scientists
(2-8 years post PhD), interested in establishing their first
independent research group in an interdisciplinary field, connecting
Logic with Mathematics and Computer Science. In this context, the
FORSYTE group at TU Wien (http://www.forsyte.at) is looking for strong
candidates applying static analysis to mathematics (e.g., proof
theory, mathematical models, or data science code).

We are seeking outstanding candidates who are interested in submitting
an application to the open call “Vienna Research Groups for Young
Investigators” (VRGYI) of the Vienna Science and Technology Fund
(WWTF): https://www.wwtf.at/upload/VRG17_web.pdf. The deadline for the
submission of the final proposal to the funding body (WWTF) is July
13, 2017.

In the case of a successful application, the research group will be
funded for 6-8 years, with up to 1.6 million EUR by the WWTF,
supplemented by an additional contribution from the University. After
a successful interim evaluation, TU Wien will offer a tenure-track or
tenured position to the group leader.

Requirements: Applicants should have an excellent track record
demonstrating the innovative combination of mathematics and computer
science. Application procedure: For a first step, informal inquiries,
including a short CV with publication list, list of research projects
and potential topics for a WWTF grant application should be sent to
 as soon as possible.

[TYPES/announce] FMCAD 2017 Final Call for Papers - Extended Deadline

[Georg Weissenbacher]

the appendix.

Submissions in both categories must contain original research that has not
been previously published, nor is concurrently submitted for publication.
Any partial overlap with published or concurrently submitted papers must be
clearly indicated. If experimental results are reported, authors are
strongly encouraged to provide the reviewers access to their data at
submission time, so that results can be independently verified.

FMCAD 2017 COMMITTEES

PROGRAM CHAIRS:

Daryl Stewart, ARM
Georg Weissenbacher, TU Wien

STUDENT FORUM CHAIR:

Keijo Heljanko, Aalto University

LOCAL ARRANGEMENTS CHAIR & WEBMASTER:

Jens Katelaan, TU Wien

PUBLICATION CHAIR:

Mitra Tabaei Befrouei, TU Wien

PROGRAM COMMITTEE

Jade Alglave   University College London and Microsoft Research
Christel Baier Technical University of Dresden
Roderick Bloem Graz University of Technology
Hana Chockler  King's College London
Andreas Griesmayer ARM
Arie Gurfinkel University of Waterloo
Ziyad HannaCadence Design Systems
Fei He Tsinghua University
Alan J. Hu University of British Columbia
Warren A. Hunt Jr. University of Texas
Alexander IvriiIBM
Barbara Jobstmann  EPFL and Cadence Design Systems
Dejan JovanovicSRI International
Gerwin Klein   Data61 and UNSW Australia
Igor KonnovTU Wien
Rebekah Leslie-HurdIntel
Ines Lynce INESC-ID/IST, Universidade de Lisboa
Ken McMillan   Microsoft Research
Charles Morisset   Newcastle University
Lee Pike   Galois Inc.
Mitra PurandareIBM
Ajitha Rajan   University of Edinburgh
Ahmed Rezine   Linköping University
Sean Safarpour Synopsys
Roopsha SamantaPurdue University
Martina Seidl  Johannes Kepler University Linz
Natasha Sharygina  USI Lugano
Anna Slobodova Centaur Technology
Ana Sokolova   University of Salzburg
Daryl Stewart  ARM
Murali Talupur FormalSim
Michael Tautschnig Queen Mary University of London
Thomas WahlNortheastern University
Chao Wang  University of Southern California
Georg WeissenbacherTU Wien
Florian ZulegerTU Wien

FMCAD STEERING COMMITTEE

Armin Biere, Johannes Kepler University in Linz, Austria
Alan Hu, University of British Columbia, Canada
Warren A. Hunt Jr., University of Texas at Austin, USA
Vigyan Singhal, Oski Tech

[TYPES/announce] CfP FMCAD 2017 - Formal Methods in Computer Aided Design

[Georg Weissenbacher]

nal research that has not
been previously published, nor is concurrently submitted for publication.
Any partial overlap with published or concurrently submitted papers must be
clearly indicated. If experimental results are reported, authors are
strongly encouraged to provide the reviewers access to their data at
submission time, so that results can be independently verified.

FMCAD 2017 COMMITTEES

PROGRAM CHAIRS:

Daryl Stewart, ARM
Georg Weissenbacher, TU Wien

STUDENT FORUM CHAIR:

Keijo Heljanko, Aalto University

LOCAL ARRANGEMENTS CHAIR & WEBMASTER:

Jens Katelaan, TU Wien

PUBLICATION CHAIR:

Mitra Tabaei Befrouei, TU Wien

PROGRAM COMMITTEE

Jade Alglave   University College London and Microsoft Research
Christel Baier Technical University of Dresden
Roderick Bloem Graz University of Technology
Hana Chockler  King's College London
Andreas Griesmayer ARM
Arie Gurfinkel University of Waterloo
Ziyad HannaCadence Design Systems
Fei He Tsinghua University
Alan J. Hu University of British Columbia
Warren A. Hunt Jr. University of Texas
Alexander IvriiIBM
Barbara Jobstmann  EPFL and Cadence Design Systems
Dejan JovanovicSRI International
Gerwin Klein   Data61 and UNSW Australia
Igor KonnovTU Wien
Rebekah Leslie-HurdIntel
Ines Lynce INESC-ID/IST, Universidade de Lisboa
Ken McMillan   Microsoft Research
Charles Morisset   Newcastle University
Lee Pike   Galois Inc.
Mitra PurandareIBM
Ajitha Rajan   University of Edinburgh
Ahmed Rezine   Linköping University
Sean Safarpour Synopsys
Roopsha SamantaPurdue University
Martina Seidl  Johannes Kepler University Linz
Natasha Sharygina  USI Lugano
Anna Slobodova Centaur Technology
Ana Sokolova   University of Salzburg
Daryl Stewart  ARM
Murali Talupur FormalSim
Michael Tautschnig Queen Mary University of London
Thomas WahlNortheastern University
Chao Wang  University of Southern California
Georg WeissenbacherTU Wien
Florian ZulegerTU Wien

FMCAD STEERING COMMITTEE

Armin Biere, Johannes Kepler University in Linz, Austria
Alan Hu, University of British Columbia, Canada
Warren A. Hunt Jr., University of Texas at Austin, USA
Vigyan Singhal, Oski Tech

[TYPES/announce] CfP: FMCAD 2017 - Formal Methods in Computer Aided Design

[Georg Weissenbacher]

ted, authors are
strongly encouraged to provide the reviewers access to their data at
submission time, so that results can be independently verified.

FMCAD 2017 COMMITTEES

PROGRAM CHAIRS:

Daryl Stewart, ARM
Georg Weissenbacher, TU Wien

STUDENT FORUM CHAIR:

Keijo Heljanko, Aalto University

LOCAL ARRANGEMENTS CHAIR & WEBMASTER:

Jens Katelaan, TU Wien

PUBLICATION CHAIR:

Mitra Tabaei Befrouei, TU Wien

PROGRAM COMMITTEE

Jade Alglave   University College London and Microsoft Research
Christel Baier Technical University of Dresden
Roderick Bloem Graz University of Technology
Hana Chockler  King's College London
Andreas Griesmayer ARM
Arie Gurfinkel University of Waterloo
Ziyad HannaCadence Design Systems
Fei He Tsinghua University
Alan J. Hu University of British Columbia
Warren A. Hunt Jr. University of Texas
Alexander IvriiIBM
Barbara Jobstmann  EPFL and Cadence Design Systems
Dejan JovanovicSRI International
Gerwin Klein   Data61 and UNSW Australia
Igor KonnovTU Wien
Rebekah Leslie-HurdIntel
Ines Lynce INESC-ID/IST, Universidade de Lisboa
Ken McMillan   Microsoft Research
Charles Morisset   Newcastle University
Lee Pike   Galois Inc.
Mitra PurandareIBM
Ajitha Rajan   University of Edinburgh
Ahmed Rezine   Linköping University
Sean Safarpour Synopsys
Roopsha SamantaPurdue University
Martina Seidl  Johannes Kepler University Linz
Natasha Sharygina  USI Lugano
Anna Slobodova Centaur Technology
Ana Sokolova   University of Salzburg
Daryl Stewart  ARM
Murali Talupur FormalSim
Michael Tautschnig Queen Mary University of London
Thomas WahlNortheastern University
Chao Wang  University of Southern California
Georg WeissenbacherTU Wien
Florian ZulegerTU Wien

FMCAD STEERING COMMITTEE

Armin Biere, Johannes Kepler University in Linz, Austria
Alan Hu, University of British Columbia, Canada
Warren A. Hunt Jr., University of Texas at Austin, USA
Vigyan Singhal, Oski Tech