[TYPES/announce] Faculty position in Verification at Sheffield University

[Mike Stannett]

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

The Computer Science Department at Sheffield University is currently
looking to hire a Lecturer in Verification. The deadline is October 14th.
See:


https://urldefense.com/v3/__https://www.jobs.ac.uk/job/CTU424/lecturer-in-verification__;!!IBzWLUs!XnnAwiU24Q94Qk0XanmPSsWWw2IOEtwRcskVcRCAOmPqX-aSZbaXY5czG-4fmYokbb0fiJZFFJgdHYNifT-maitzW4lepUhHJvbzXiRgZg$
  

We are seeking candidates with an outstanding record of scholarship in the
logical and mathematical foundations of computing, including hardware and
software verification. You will work within the Verification Group, a
well-established research group in the Department of Computer Science which
currently hosts six members of staff and one Research Assistant.
Current research of the group ranges from the mathematical and logical
foundations of computing to practical verification methods and tools to
support these. Particular strengths of the group include the semantic,
algebraic and categorical foundations of concurrent and distributed
systems, computational logics, finite model theory and descriptive
complexity, formal methods for hardware and software systems, verification
of quantitative systems, verification of hybrid and cyber physical systems,
verification of multi-core programs and weak memory models, as well as
interactive and automated theorem proving. To expand and complement these
strengths we encourage applications in any of the fields mentioned above,
and beyond that broadly on foundational aspects of computer science.

Sheffield provides a great environment for computer science research. In
the recent UK Research Excellence Framework (REF 2021), 99% of our research
was rated in the highest two categories (4* and 3*), meaning that it is
classed as world-leading or internationally excellent. Half of our research
outputs were judged to be world-leading. We were rated as 8th in the UK
(out of 90 institutions) for the quality of our research environment, and
70% of our impact was judged to be outstanding.

*Dr Mike Stannett, **Department of Computer Science, **The University of
Sheffield.*

[TYPES/announce] Post-doc in Programming Languages at IRIF (Paris)

[Giuseppe Castagna]

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

The Research Institute on the Foundations of Computer Science (IRIF 
) in Paris is collaborating with Dashbit 
 and José Valim, the author of the Elixir language 
, to define 
and implement a type system for the language.


A 14-month post-doc position is available at IRIF to work on the type 
system.


Full announcement: Elixir Post-doc 


Contact: giuseppe.casta...@irif.fr, jose.va...@dashbit.co
Expected start: end 2022, early 2023

[see also: IRIF post-doc available positions page 
]

[TYPES/announce] SRC@POPL 2023: Call For Submissions (DEADLINE: 11/11 AoE)

[Zhang, Danfeng]

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

--

SRC@POPL 2023 Call for Submissions
ACM Student Research Competition

https://urldefense.com/v3/__https://popl23.sigplan.org/track/POPL-2023-student-research-competition__;!!IBzWLUs!TB9zCrZhaVJPnl1805ktzziMdWnNyHG1lyWcx2RKgxnYE5AA5JxGZb8HNbxIUsqfydnPnVrb43ktS8G3p9xPQKRwHgWjWfk$
  
Location: Boston, Massachusetts, USA
SRC Posters: Jan 15, 2023 (tentative)
SRC Presentation: Jan 17, 2023 (tentative)

--

Important Dates

Abstract Submission: Fri 11 Nov 2022
Notification of (Conditional) Acceptance: Fri 2 Dec 2022 
Re-Submission for Conditionally Accepted Abstracts: Wed 7 Dec 2022 
Notification of Final Acceptance: Fri 9 Dec 2022 

--

Overview

POPL 2023 will host an ACM Student Research Competition, where undergraduate 
and graduate students can present their original research before a panel of 
judges and conference attendees. This year’s competition will consist of three 
rounds:

• Round 1, Extended abstract: All students are encouraged to submit an 
extended abstract outlining their research. The submission should be up to 
three pages using “\documentclass[acmsmall,nonacm]{acmart}”.

• Round 2, Poster at POPL: Based on the abstracts, a panel of judges 
will select the most promising entrants to participate in a poster session at 
POPL. In the poster session, students will be able to interact with POPL 
attendees and judges. After the poster session, three finalists in each 
category (graduate/undergraduate) will be selected to advance to the next round.

• Round 3, Oral presentation at POPL: The last round will consist of a 
short oral live presentation at POPL to compete for the final awards in each 
category. This round will also select an overall winner who will advance to the 
ACM SRC Grand Finals.

--

Call for Submission

POPL invites students to participate in the Student Research Competition in 
order to present their research and get feedback from prominent members of the 
programming language research community. Please submit your extended abstracts 
through HotCRP: 
https://urldefense.com/v3/__https://popl23src.hotcrp.com__;!!IBzWLUs!TB9zCrZhaVJPnl1805ktzziMdWnNyHG1lyWcx2RKgxnYE5AA5JxGZb8HNbxIUsqfydnPnVrb43ktS8G3p9xPQKRwVmejl5A$
  

Submissions must be original research that is not already published at POPL or 
another conference or journal. One of the goals of the SRC is to give students 
feedback on ongoing, unpublished work. Furthermore, the abstract must be 
authored solely by the student. If the work is collaborative with others and/or 
part of a larger group project, the abstract should make clear what the 
student’s role was and should focus on that portion of the work.

The extended abstract should be up to three pages using 
‘\documentclass[acmsmall,nonacm]{acmart}’. Reference lists do not count towards 
the three-page limit. You may write appendices after the three-page limit, but 
please be noted that the committee is not required to read them.

This year, we will have two review cycles. For each submission, one of the 
following decisions will be made:
• Accept: abstracts that proceed to the next round unconditionally.
• Conditional Accept: abstracts that receive revision suggestions from 
the PC members. Authors will have 5 days to revise the abstract accordingly and 
then resubmit. The revised abstracts will then be re-evaluated, and either 
accepted or rejected.
• Reject: abstracts that will not proceed to the next round.

--

Program Committee

Jeehoon Kang, KAIST 
Danfeng Zhang, Pennsylvania State University 
Youyou Cong, Tokyo Institute of Technology 
Zeyu Ding, Binghamton University, USA 
Andrew K. Hirsch, MPI-SWS 
Yoonseung Kim, Yale University 
Abhinav Verma, Pennsylvania State University 
Yuepeng Wang, Simon Fraser University

[TYPES/announce] Postdoc position (6 years) at the Security and Privacy group, TU Wien

[Maffei, Matteo]

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

TU Wien is Austria's largest institution of research and higher education in 
the fields of technology and natural sciences. With over 26,000 students and 
more than 4000 scientists, research, teaching and learning dedicated to the 
advancement of science and technology have been conducted here for more than 
200 years, guided by the motto "Technology for People". As a driver of 
innovation, TU Wien fosters close collaboration with business and industry and 
contributes to the prosperity of society.
The Institute of Logic and Computation, research unit Security and Privacy, at 
TU Wien offers a position as a university assistant (post-doc) limited to 6 
years for 40 hours/week. Expected start: November 2022
Tasks:

  *   Deep interest in scientific problems and the motivation for independent 
and goal-oriented research
  *   Independent teaching or participation in teaching and supervision of 
students
  *   Ability to develop methods, concepts, as well as their realization and 
evaluation and the willingness to contribute in interdisciplinary scientific 
projects
  *   Participation in organizational and administrative tasks of the research 
division and the faculty

Your profile:

  *   Completion of an appropriate doctorate and in-depth knowledge of the 
subject area
  *   An outstanding publication record in top security and privacy conferences
  *   Research background in one of the following topics: formal methods for 
security and privacy, blockchain technologies, intersection between machine 
learning and security or privacy, or web security
  *   Experience in teaching and publication activities as well as interest and 
pleasure in research and working with students
  *   Organisational and analytical skills as well as a structured way of 
working
  *   Excellent skills in English communication and writing, knowledge of 
German (level B2) or willingness to learn it in the first year.

We offer:

  *   Continuing personal and professional education and flexible working hours
  *   Central location of workplace with very good accessibility (U1/U4 
Karlsplatz)
  *   A creative environment in one of the most liveable cities in the world
  *   A highly competitive salary (B1 scale, 56.861,70 EUR per year before tax)
  *   Additional benefits for employees can be found at the following link: 
Fringe-Benefit Catalogue of TU 
Wien
  *   An international and interdisciplinary research environment: the Security 
and Privacy research unit 
(https://urldefense.com/v3/__https://secpriv.wien__;!!IBzWLUs!SvPQr1OZoU1RRA3LigsMVUxZ3xa47mAchnIsQUUXE82u81Rnw2OhRHTU4A4iQfsN-BQy_oXOOKB4whJ0vLwRH46awM5KXiTlVk_a9PE8RYE$
  
) works on various aspects of security and privacy (e.g., system security, 
web security, mobile security, IoT security, formal methods, machine learning, 
cryptography, and blockchain), researchers come from all over the world and 
frequently interact with each other on interdisciplinary research projects, the 
working language in the research unit is English.

TU Wien is committed to increasing the proportion of women in particular in 
leadership positions. Female applicants are explicitly encouraged to apply. 
Preference will be given to women when equally qualified, unless reasons 
specific to a male applicant tilt the balance in his favour.

People with special needs are equally encouraged to apply. In case of any 
questions, please contact the confidant for disabled persons at the university, 
Mr. Gerhard Neustätter.
Entry level salary is determined by the pay grade B1 of the Austrian collective 
agreement for university staff. This is a minimum of currently EUR 
4,061.50/month gross, 14 times/year for 40 hours/week. Relevant working 
experiences may increase the monthly income.

We look forward to receiving your application until 10.11.2022. Applications 
are only processed online: 
https://urldefense.com/v3/__https://jobs.tuwien.ac.at/Job/194015__;!!IBzWLUs!SvPQr1OZoU1RRA3LigsMVUxZ3xa47mAchnIsQUUXE82u81Rnw2OhRHTU4A4iQfsN-BQy_oXOOKB4whJ0vLwRH46awM5KXiTlVk_adw27RcA$
  
For formal inquiries, please contact Univ.-Prof. Dr. Matteo Maffei.