[TYPES/announce] Faculty positions at University of Ottawa

[Amy Felty]

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

The University of Ottawa invites applications for one Tier 2 Canada Research 
Chair (CRC) in Cybersecurity. The selected candidate will hold tenure-track 
faculty positions in the Faculty of Engineering and will be expected to 
establish a strong, externally funded, and collaborative research program, in 
the broadly defined area of cybersecurity that will complement the existing 
expertise of the School of Electrical Engineering and Computer Science. The 
candidate will be a member of the School and will contribute to teaching and 
service in the School. The candidate will work in either hardware or software 
areas of cybersecurity with potential emphasis on issues such as 
tamper-resistant hardware, side-channel resistant algorithms, secure storage 
devices, power analysis, secure algorithms and software-based techniques for 
Cybersecurity. Shaping the Digital World is one of the four pillars of the 
University’s Strategic Research Plan.  Cybersecurity is a key component of the 
Faculty of Engineering’s Technology for the Digital Transformation of Society 
research axis.  This position will participate in the establishment of a Cyber 
Hub at the University of Ottawa with the goal of becoming a globally recognized 
university in cybersecurity and cybersafety research and education by 2025.

Application deadline is December 22.
[English version]: Tier 2 Canada Research Chair in 
Cybersecurity
[French version]: Chaire de recherche du Canada de niveau 2 en 
cybersécurité


The Department of Mathematics and Statistics of the University of Ottawa 
invites applications to fill at least one tenure-track position in Quantum 
Information or Artificial Intelligence at the Assistant or Associate Professor 
level, to begin July 1, 2022. We welcome candidates in the research areas of 
Quantum Information (QI) or Artificial Intelligence (AI). Emphasis will be 
given to candidates with demonstrated attention to mathematical aspects of QI 
or AI.
Application deadline is December 1.
[English and French versions]: 
https://urldefense.com/v3/__https://www.mathjobs.org/jobs/list/18914__;!!IBzWLUs!CNrdW5-6z0dcI3JXy_wWFGbaxxEq4A_KGqDcdamDhb-lZ29dkDOk4s-yYVq_E1nEejAmpunhR-QQqQ$
 

[TYPES/announce] POPL 2022 CALL FOR STUDENT VOLUNTEERS

[Konstantinos Kallas]

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

## POPL 2022 CALL FOR STUDENT VOLUNTEERS


POPL is a leading forum for the discussion of all aspects of programming

languages and programming systems, from theoretical to experimental aspects.

In order to smoothly run the conference and associated workshops and

tutorials, we need student volunteers to help out on the practical aspect

of the organization. All the events associated with POPL ’22 will take place

from Sun 16 to Sat 22 January 2022 in Philadelphia, Pennsylvania, USA.

The student volunteer program is a chance for students from around the

world to participate in the conferences whilst assisting us in preparing

and running the events. In return, volunteers are granted free registration

to the conferences, tutorials, workshops, and panel, and a ticket for the

banquet.

As a POPL 2022 Student Volunteer, you will interact closely with

researchers, academics and practitioners from various disciplines and meet

other students from around the world.

Job assignments for student volunteers include but are not restricted to:

assisting with technical sessions, workshops, tutorials and panels,

checking badges at doors, operating the information desk, providing

information about the conference to attendees, helping with traffic flow,

and general assistance to keep the conferences running smoothly.

To be considered as a Student Volunteer for POPL, please fill in the

application form: 
https://urldefense.com/v3/__https://forms.gle/wSJJWdwYAm125Qw67__;!!IBzWLUs!HE8XA5j4Zec6qfvhbFTsbSdGyHeM5fQtiKHwX0_NXX_EpGvB4MVpjGGYWRSk_nR2diTE_1TiphBGCQ$
 

There are two rounds of calls:

- deadline for first round: Nov 24rd, 2021 AoE (notification: Dec 3)

- deadline for second round: Dec 13th, 2021 AoE (notification: Dec 17)

Positive notifications given in the first round are firm, and the second

round is only for spots not filled by the first round.

If you have any questions feel free to contact Aaron Weiss (awe...@hey.com)
or Konstantinos Kallas (kal...@seas.upenn.edu).

[TYPES/announce] PhD openings in Programming Language at Sorbonne Université, Paris

[Christine Tasson]

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

We are opening a PhD position in collaboration between the LiP6 lab
at Sorbonne Université, Paris and the Renault Software labs based in 
Toulouse.


The PhD will start in the first semester of 2022 and the position is for 
3 years. The job will be mainly in Paris, Campus Jussieu with some visit 
at Renault in Toulouse.


== Objectives

The project aims at designing the prototype of a Domain Specific 
Language based on functional reactive programming and used to model 
automotive systems. The language will be compiled to high insurance 
programming languages such as SCADE and to interoperable language such 
as Kotlin.


== Expectations from the candidates

We expect some experience in the field of formal methods of software 
engineering, in a general sense. The typical candidate would be someone 
who graduated im Computer Science with a curriculum in Programming 
Languages (compilation, functional programming or reactive programming, 
practice of shared development).


== How to apply

The PhD position should be filled as soon as possible and before June 2022.

The first step to apply is to contact Christine Tasson 
 and Sebastien Tasson 
, joining a detailed CV and a motivation 
letter.

[TYPES/announce] Postdoc position in distributed computing at the IMDEA Software Institute

[Alexey Gotsman]

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

Applications are invited for a postdoc position at the IMDEA Software Institute 
in Madrid, Spain. The successful candidate will work under the supervision of 
Alexey Gotsman 
(https://urldefense.com/v3/__https://software.imdea.org/*gotsman/__;fg!!IBzWLUs!FJLHfUxN51laoXQiqq-QhAhDmnBJIj0hzQBw9R8QsnzIKzbhyt_IeWDpvsBYPfa3cjR0s_7Ty7ptNA$
 ), with research topics determined based on the common interests of the 
candidate and the supervisor. Possible areas include blockchains and 
distributed transaction processing. This covers algorithms, correctness proofs 
and system engineering.

Candidates should have, or expect shortly to obtain, a PhD in Computer Science, 
with expertise in distributed computing theory, distributed systems or formal 
methods. The position is initially for one year, with possibilities for 
extension. The starting date is negotiable. The position is based in Madrid, 
Spain, where the IMDEA Software Institute is situated. The institute provides 
for travel expenses and an internationally competitive salary. The working 
language at the institute is English.

Applicants interested in the position should submit their application at 
https://urldefense.com/v3/__https://careers.software.imdea.org/using__;!!IBzWLUs!FJLHfUxN51laoXQiqq-QhAhDmnBJIj0hzQBw9R8QsnzIKzbhyt_IeWDpvsBYPfa3cjR0s_6IkkGLyQ$
  reference code 2021-11-postdoc-distributed. The deadline for applications is 
January 9th, 2022. For enquiries about the position please contact Alexey 
Gotsman 
(https://urldefense.com/v3/__https://software.imdea.org/*gotsman/__;fg!!IBzWLUs!FJLHfUxN51laoXQiqq-QhAhDmnBJIj0hzQBw9R8QsnzIKzbhyt_IeWDpvsBYPfa3cjR0s_7Ty7ptNA$
 ).