[TYPES/announce] PhD Position in Formal Methods for Security and Privacy at TU Wien

[Maffei, Matteo]

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



The Security and Privacy Research Unit at TU Wien is offering a fully funded 
PhD position in Formal Methods for Security and Privacy under the supervision 
of Univ.-Prof. Dr. Matteo Maffei.

Your profile:

  *   - Master degree in computer science or equivalent (degree completion by 
employment start)
  *   - Excellent English, communication, and teamwork skills
  *   - Background in formal methods (e.g., automated reasoning, type systems, 
or proof assistants) and security (e.g., cryptographic protocols, system 
security, or blockchains) is a plus
  *   - Experience in research is a plus

We offer:

  *   - A job in an internationally renowned group, which regularly publishes 
in top security venues, and consists of an international, diverse, and 
inclusive team with expertise in formal methods, cryptography, security, 
privacy, and blockchains
  *   - Diverse research topics in formal methods for security and privacy
  *   - An international English-speaking environment (German not required)
  *   - A competitive salary
  *   - Flexible hours

Applications are to be performed online 
(https://urldefense.com/v3/__https://tools.spycode.at/recruiting/call/5__;!!IBzWLUs!REAPGrFPuo4Fic4YcFNmTg9xdU37y1nrt_6EDS4_ruOnIMFx6_aIaGIuGW3YXfexisqs7kqYRinDaZ6r6yX_d-FyZGXcvF_4EYzrLpSS7MA$
 ). The application material should include:

  *   - Motivation letter
  *   - Bachelor/Master’s transcripts
  *   - Publication list (if available)
  *   - Curriculum vitae
  *   - Contact information for two referees

We strongly encourage applications from underrepresented groups.

Applications are welcome until our positions are filled. The applications will 
be evaluated in a bi-weekly fashion, and applicants will be contacted only in 
case they are selected for an interview.

---
Univ. Prof. Matteo Maffei
Security and Privacy Group
TU Wien
Favoritenstrasse 9-11, Stiege 2, 1. Stock
Wien, A-1040
Website: 
secpriv.tuwien.ac.at
Phone: +43158801184860

[TYPES/announce] 7 PhD positions available in Austria within the SPyCoDe (Semantic and Cryptographic Foundations of Security and Privacy by Compositional Design) Special Research Program

[Maffei, Matteo]

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

SPyCoDe (Semantic and Cryptographic Foundations of Security and Privacy by 
Compositional Design) is a special research program funded by FWF. World-class 
researchers from TU Wien, IST Austria, Universität Wien, TU Graz and 
Universität Klagenfurt team up to create the technological foundations for 
designing complex, multi-layer systems with provable S guarantees. 
Interdisciplinary approach integrates computer-aided verification, system 
security, cryptography, and touching on further fields, like networks, game 
theory, and blockchains. The team includes experts from all disciplines at the 
core of SPyCoDe, with 6 ERC grant holders (for a total of 10 ERC grants), 6 
young researchers who already received prestigious awards, and >40% female 
researchers.
SPyCoDe is looking for 7 highly qualified and motivated students who have a 
master's degree in computer science or another related field and experience in 
formal methods, system security, security and privacy and/or cryptography for 
collaborative interdisciplinary research. SPyCoDe is offering PhD positions for 
4 years for 30 hours/week, with an option to upgrade to 40 hours/week with very 
competitive salary.
The 7 projects available in this call are list below, along with the principal 
investigator acting as supervisor and the research institution:

№

Project Title


Principal Investigator

Research Institution

1

Interface Theory for Security and Privacy

Henzinger , Thomas A.

IST Austria


2

Game-Theoretic Models for Blockchain Applications

Fuchsbauer, Georg

TU Wien


5

Verification of Side Channel Properties

Bloem, Roderick

TU Graz


4

Cross-Layer Security for Blockchain Consensus

Pietrzak, Krzysztof

IST Austria

5

Security and Privacy by Design for Smart Contracts

Maffei, Matteo

TU Wien


6

Secure Blockchains in Network Transition Periods

Ullrich, Johanna

Universität Wien

7

Secure Network and Hardware for Efficient Blockchains

Kokoris-Kogias, Eleftherios

IST Austria




Application start: 28.11.2022
Application deadline:  23.12.2022
Expected start of work: 01.02.2023

You can find more information about the projects, requirements for candidates 
and application procedure on the SPyCoDe website 
https://urldefense.com/v3/__https://spycode.at__;!!IBzWLUs!Ug1zy62Qh-_anc49iS1lGS1lVqshVSLO09qlTVC8nBGarculcWb7a437xwQKCur1Wx8LFtxKyVrm3GQwgyIj9YZCiAV3tSMJNlV7dKk-E1M$
 

[TYPES/announce] 14 PhD positions in Austria within the SPyCoDe Special Research Program

[Maffei, Matteo]

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

14 PhD positions are available in Austria within the SPyCoDe Special Research 
Program 
(https://urldefense.com/v3/__https://spycode.at__;!!IBzWLUs!RRd1HyXBNOqURsKUDGxNF6bqhucZWXxMDBCpR0XJpj0OT1z6vsrIWWXovf4ER8EtFAxAaCmxE9KU0tiK1EaUHkYPhAB1UKuNuu4tfhrxegU$
  ).

SPyCoDe (Semantic and Cryptographic Foundations of Security and Privacy by 
Compositional Design) is a special research program funded by FWF. The 
collaborating research institutions are

  *   TU Wien
  *   IST Austria
  *   Universität Wien
  *   TU Graz
  *   Universität Klagenfurt

The security and privacy (S) by design principle states that data protection 
should be considered since the early design of digital technologies, making S 
a cornerstone in digitalization. SPyCoDe aims at creating the technological 
foundations for designing complex, multi-layer systems with provable S 
guarantees. This goal is highly interdisciplinary, integrating computer-aided 
verification, system security, and cryptography, and touching on further 
fields, like networks, game theory, and blockchains. The cornerstone of our 
approach is the specification and enforcement of S at the level of the 
interfaces between layers in order to establish end-to-end S guarantees in a 
compositional way.

SPyCoDe combines scientific excellence and interdisciplinarity. The team 
members are world-class researchers, whose prior work in the field led not only 
to groundbreaking theoretical contributions but also to immediate, large-scale 
industrial adoption. A unique feature of SPyCoDe is the combination of 
world-class basic research in a timely topic with immediate, large-scale 
industrial impact.

Entry level salary as a predoctoral researcher is covered by level B1 of the 
Austrian Collective Agreement for university staff, and receives a minimum of 
currently EUR 2.196,75/month gross, 14 times/year for 30 hours/week and EUR 
2.929,00/month for 40 hours/week (about EUR 28.675/year net). Relevant working 
experiences may increase the monthly income.

The application for SPyCoDe is open until November 1st, 2022.

The expected start is January 1st, 2023.

For further details, please look at 
https://urldefense.com/v3/__https://spycode.at__;!!IBzWLUs!RRd1HyXBNOqURsKUDGxNF6bqhucZWXxMDBCpR0XJpj0OT1z6vsrIWWXovf4ER8EtFAxAaCmxE9KU0tiK1EaUHkYPhAB1UKuNuu4tfhrxegU$
   . Applications are exclusivity to be conducted online at  
https://urldefense.com/v3/__https://tools.spycode.at/recruiting/call/1__;!!IBzWLUs!RRd1HyXBNOqURsKUDGxNF6bqhucZWXxMDBCpR0XJpj0OT1z6vsrIWWXovf4ER8EtFAxAaCmxE9KU0tiK1EaUHkYPhAB1UKuNuu4tPciOBRQ$
  .

In case of any questions, please contact Olha Denisova at 
recruiting-questi...@spycode.at .

[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.

[TYPES/announce] PhD openings in Security and Privacy at TU Wien

[Maffei, Matteo]

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

The Security & Privacy group at TU Wien (https://secpriv.wien) is currently 
looking for
outstanding PhD candidates to conduct cutting edge research in

- web security
- formal methods for security and privacy
- security and privacy in machine learning

Successful candidates will join the newly established SecInt doctoral school at 
TU Wien (https://secint.visp.wien) and will have the opportunity to engage in 
research collaborations within the Vienna Security and Privacy Research Center 
(https://visp.wien).  TU Wien offers an outstanding research environment and 
numerous professional development opportunities.  The Faculty of Informatics is 
the largest one in Austria and is consistently ranked among the best in Europe. 
Finally, Vienna has been consistently ranked by Mercer over the last years the
best city for quality of life worldwide.

The employment is full-time (40 hrs/week) and the salary is internationally 
competitive (the yearly entry-level gross salary is approx. 41.000 EUR, which 
roughly corresponds to 2.400 EUR net per month).

Interested candidates should send at their earliest convenience

- a motivation letter
- transcripts of records (Bachelor and Master)
- a curriculum vitae
- contact information of two referees

to matteo.maf...@tuwien.ac.at. More 
information on the application procedure and on additional hiring opportunities 
is available at https://secpriv.wien/work/

The working language in the group is English, knowledge of German is not 
required.

---
Univ.-Prof. Dr. Matteo Maffei
Security and Privacy Group
TU Wien
Favoritenstrasse 9-11, Stiege 2, 1. Stock
Wien, A-1040
Website: secpriv.tuwien.ac.at
Phone: +43(1)58801184860

[TYPES/announce] 10 PhD positions at TU Wien on Security and Privacy, Formal Methods, and Machine Learning

[Maffei, Matteo]

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

As part of the newly established SecInt Doctoral College (“Secure and 
Intelligent Human-Centric Technologies"), TU Wien is offering ten PhD positions 
for 4 years in the areas of Security and Privacy, Formal Methods, and Machine 
Learning. Each position is  supervised by at least two professors from the 
respective research areas. Additional details on the individual projects can be 
found at https://secint.visp.wien/projects.

We offer:

  *   Diverse and exciting tasks, with lots of interdisciplinary collaboration
  *   Continuing personal and professional education and flexible working hours
  *   Central location with very good accessibility in a city regularly ranked 
first worldwide for life quality
  *   Possibility of an internship with one of our international research 
partners
  *   Very competitive salary

Your profile:

  *   Completion of a master or diploma curriculum in computer science or 
another related field
  *   Experience in Mathematical Modeling, Computational Logic, Formal Methods, 
Security and Privacy, Robotics and/or Machine Learning
  *   Very good skills in English communication and writing.
  *   Readiness for interdisciplinary collaboration
  *   Team competences, problem-solving skills and innovative ability

A predoctoral researcher at TU Wien currently receives a minimum of EUR 
2.929,00/month, 14 times/year for 40 hours/week (about EUR 28.675/year net). 
Relevant working experience may increase the monthly income.

We look forward to receiving your application!

Closing date for applications: 30th November, 2020

Contact: sec...@visp.wien

More information: https://secint.visp.wien

[TYPES/announce] IEEE CSF 2020: Registration

[Maffei, Matteo]

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

The 33rd IEEE Computer Security Foundations Symposium is taking place online. 
The program features three outstanding invited speakers (Michael Hicks, Dan 
Boneh, and Amal Ahmed) and a great collection of papers. Further details are 
available at

 https://www.ieee-security.org/TC/CSF2020/program.html

The registration is now open and the general registration fee is 50$ only.  
Please follow the registration instructions at 

https://www.ieee-security.org/TC/CSF2020/register.html  

to attend this exciting event! 

[TYPES/announce] ERC CoG funded PhD and Postdoc positions in Formal Methods and Web Security at TU Wien

[Maffei, Matteo]

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

The Security & Privacy group at TU Wien (https://secpriv.tuwien.ac.at)
is currently looking for outstanding Ph.D. and postdoc candidates to
conduct research within the ERC Consolidator Project “Foundations and
Tools for Client-Side Web Security" .

Successful applicants should have a background and interest in at least
one of the following areas:

- security
- web technologies
- formal methods
- semantics of programming languages
- verification 

Doctoral applicants should have
recently completed (or be close to complete) a master or bachelor with
honours degree. Postdoctoral applicants should have an excellent
publication record with at least one top-tier conference in one of the
aforementioned areas. 

The employment is full-time (40 hrs/week) and the salary is
internationally competitive (the yearly entry-level gross salary is
approx. 40K EUR for PhD students and 53K for postdocs). 

Interested candidates should send

- a motivation letter 
- transcripts of records (Bachelor and Master, for PhD applicants)
- a publication list (for postdoc applicants)
- a research statement (for postdoc applicants)
- a curriculum vitae 
- contact information for two referees

to matteo.maf...@tuwien.ac.at. The application deadline is May 31, 2019. 

The working language at the university is English, knowledge of German is
not required.  

TU Wien offers an outstanding research environment and numerous
professional development opportunities.  The Faculty of Informatics is
the largest one in Austria and is consistently ranked among the best
in Europe. Ph.D. students have the possibility to join the LogiCS
doctoral school (http://logic-cs.at).  Vienna features a vibrant and 
excellence-driven
research landscape, with several leading research institutes (e.g.,
University of Vienna, IST, AIT, SBA) and universities continuously establishing
collaborations in various fields, including security and privacy. Finally,
Vienna has been consistently ranked by Mercer over the last years the
best city for quality of life worldwide. 




---
Univ. Prof. Matteo Maffei
Security and Privacy Group
TU Wien
Favoritenstrasse 9-11, Stiege 2, 1. Stock
Wien, A-1040
Website: secpriv.tuwien.ac.at
Phone: +43(1)58801184860

[TYPES/announce] Expressions of Interest for a Postdoc Position in Security and Privacy at TU Wien

[Maffei, Matteo]

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

The Security and Privacy research division (https://secpriv.tuwien.ac.at) at 
the Vienna University of Technology (TU Wien) is seeking a candidate for a 
postdoc position of two years, ideally starting in Spring 2019. The successful 
applicant will enjoy full research independence and further contribute to the 
teaching activities in security and privacy at TU Wien.

Candidates with a research background in the following areas are particularly 
invited to apply:

- Formal methods for security and privacy;
- Intersection between Machine Learning and security and privacy;
- Blockchain technologies;
- Web security.

The specific requirements for this postdoc position are the following:

- An outstanding publication record in top-tier security venues;
- A PhD in Computer Science;
- Excellent English skills.

TU Wien has about 20,000 students and a heavy emphasis on research. The Faculty 
of Informatics comprises about 3,000 students and is the largest one in 
Austria. Vienna hosts several outstanding research institutes (including IST 
Austria, AIT, SBA, RIAT) with a strong focus on security and privacy and a 
long-standing collaboration track.

TU Wien offers a first class research environment, and various academic 
development programs. Research in Austria is generously supported by a 
wide-range of funding institutes, including FWF, FFG, and, within the city of 
Vienna, WWTF.
Finally, Vienna has repeatedly been ranked number 1 worldwide in the Mercer 
Quality of Living Survey.

The  postdoctoral researcher salary is highly competitive and ruled by level B1 
of the Austrian Collective Agreement for the university staff, currently 
amounting to EUR 3.711,10 per/month/gross (14 times a year).

The TU Wien is committed to increasing female employment in leading scientific 
positions. Female applicants are explicitly encouraged to apply, and preference 
will be given to female applications when scientifically equally qualified.

Expressions of interest should be submitted by e-mail to 
christopher.vomas...@tuwien.ac.at and 
include in a single pdf

• A cover letter stating the candidate's motivation to apply, and the reason(s) 
why they should be selected for the position;
• A CV;
• A short research statement;
• Three most significant publications;
• The contact details of two referees.

Expressions of interest submitted by February 15, 2019 will receive full 
consideration.

For informal inquiries, please contact 
matteo.maf...@tuwien.ac.at

---
Univ. Prof. Matteo Maffei
Security and Privacy Group
TU Wien
Favoritenstrasse 9-11, Stiege 2, 1. Stock
Wien, A-1040
Website: secpriv.tuwien.ac.at
Phone: +43(1)58801184860

[TYPES/announce] Professorship on Security and Privacy at the University of Vienna

[Maffei, Matteo]

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


At the Faculty of Computer Science of the University of Vienna the position of a

University Professor of Security and Privacy

(full time, permanent position) is to be filled.

We are looking for outstanding scientists who are active in the core areas to 
be covered by this position: information and network security, including 
privacy. The position is envisioned to serve as a crystallization point in the 
faculty for security and privacy research and teaching, with the thematic focus 
on software and systems security. The candidate should demonstrate deep 
knowledge and have an excellent research record in the theory and practice of 
security and privacy, with documented outreach to application areas, for 
example (but not limited to) Cyber Physical Systems or Internet of Things, 
addressing the increasing demand for security and privacy solutions in research 
and industry.

More Information: 
https://personalwesen.univie.ac.at/jobs-recruiting/professuren/detail-seite/news/security-and-privacy/?no_cache=1_new

Closing Date for Applications: 2019-02-07
--
Univ. Prof. Matteo Maffei
Security and Privacy Group
TU Wien
Favoritenstrasse 9-11, Stiege 2, 1. Stock
Wien, A-1040
Website: secpriv.tuwien.ac.at
Phone: +43158801184860

[TYPES/announce] Full Professorship in Security and Privacy at Uni Wien. Application Deadline: January 7, 2019.

[Maffei, Matteo]

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

At the Faculty of Computer Science of the University of Vienna the position of a

University Professor of Security and Privacy

(full time, permanent position) is to be filled.

We are looking for outstanding scientists who are active in the core areas to 
be covered by this position: information and network security, including 
privacy. The position is envisioned to serve as a crystallization point in the 
faculty for security and privacy research and teaching, with the thematic focus 
on software and systems security. The candidate should demonstrate deep 
knowledge and have an excellent research record in the theory and practice of 
security and privacy, with documented outreach to application areas, for 
example (but not limited to) Cyber Physical Systems or Internet of Things, 
addressing the increasing demand for security and privacy solutions in research 
and industry.

More Information: 
https://personalwesen.univie.ac.at/jobs-recruiting/professuren/detail-seite/news/security-and-privacy/?no_cache=1_new

Closing Date for Applications: 2019-01-07

[TYPES/announce] CFP: 32nd IEEE Computer Security Foundations Symposium

[Maffei, Matteo]

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

32nd IEEE Computer Security Foundations Symposium

June 25-28, 2019, Hoboken NJ, USA


Call for Papers


The Computer Security Foundations Symposium is an annual conference for 
researchers in computer security. CSF seeks papers on foundational aspects of 
computer security, such as formal security models, relationships between 
security properties and defenses, principled techniques and tools for design 
and analysis of security mechanisms, as well as their application to practice. 
While CSF welcomes submissions beyond the topics listed below, the main focus 
of CSF is foundational security: submissions that lack foundational aspects 
risk rejection.



Topics


New results in computer security are welcome. We also encourage 
challenge/vision papers, which may describe open questions and raise 
fundamental concerns about security. Possible topics for all papers include, 
but are not limited to:


access control

accountability

anonymity and privacy

authentication

blockchain

computer-aided cryptography

data and system integrity

database security

decidability and complexity

distributed systems security

electronic voting

formal methods and verification

decision theory

hardware-based security

information flow control

intrusion detection

language-based security

machine learning

network security

data provenance

mobile security

security metrics

security protocols

smart contract

software security

socio-technical security

trust management

usable security

web security


SoK papers: Systematization of Knowledge Papers


CSF'19  solicits systematization of knowledge (SoK) papers in foundational 
computer security and privacy research. These papers systematize, re-formulate, 
or evaluate existing work in one established and significant research topic. 
Such papers must provide new insights. Survey papers without new insights are 
not appropriate. Submissions will be distinguished by the prefix “SoK:” in the 
title and a checkbox on the submission form. Accepted papers will be presented 
at the symposium and included in the proceedings.


Special Sessions


This year, we strongly encourage papers in three foundational areas of research 
we would like to promote at CSF:


MACHINE LEARNING MEETS SECURITY AND PRIVACY (Chair: Matt Fredrikson). Machine 
learning has revolutionized computer science. However, machine learning 
algorithms are often applied in ways that offer few guarantees in terms of 
fairness and transparency of the results or privacy of the dataset. We invite 
submissions on foundational work in this area. Topics include identifying 
security, privacy, and fairness issues in machine learning algorithms; new 
reasoning techniques necessary to justify the security and privacy properties 
of machine learning algorithms; techniques for ensuring security, fairness, and 
transparency of machine learning algorithms; and techniques for protecting the 
privacy of training data and models.


BLOCKCHAIN and SMART CONTRACTS (Chair: Aniket Kate). The rapid development of 
blockchain technology and smart contracts has led us to several non-traditional 
security and privacy challenges, as evidenced by a number of high-profile 
attacks that resulted in huge financial losses. There is a strong need to 
develop formal foundations for the security and privacy of blockchain and smart 
contracts. We invite submissions on foundational work in these areas. Topics 
include identifying security and privacy issues; analysis and verification of 
existing solutions; design of new systems with better security and privacy 
properties; broader foundational issues such as how blockchain mechanisms 
interoperate and fit into larger distributed ecosystems and foundational 
security aspects of applications built on top of blockchain mechanisms; and new 
programming languages for smart contracts.


COMPUTER-AIDED CRYPTOGRAPHY (Chair: Dominique Unruh). Modern cryptography is 
built on firm theoretical foundations. However, cryptography proofs that do not 
abstract away from the actual cryptography are often intricate and the gap from 
model to code is usually large, which opens the door to bugs and 
vulnerabilities. Computer-aided formal methods can provide assurance of the 
security of cryptographic protocols, primitives and their implementations in 
software and hardware. We invite submissions on foundational work in this area. 
Topics include, but are not limited to, verification of cryptographic protocols 
and primitives, verification of cryptographic software and hardware, tools to 
automate formal verification, models and proof techniques that are more 
verification-friendly, and formal proofs of side-channel countermeasures.


These papers will be reviewed under the supervision of the special session 
chairs. They will be presented at the conference, and will appear in the CSF 
proceedings, without any 

[TYPES/announce] PhD openings in the Security and Privacy group at TU Wien

[Maffei, Matteo]

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

The Security & Privacy group at TU Wien
(https://secpriv.tuwien.ac.at/home/) is currently looking for
outstanding Ph.D.  candidates. The successful applicants should have
recently completed (or be close to complete) a master or bachelor with
honours degree, and have a good background and interest in at least
one of the following areas:

- security
- cryptography
- semantics of programming languages (e.g., functional programming, theorem 
proving)
- verification (e.g., type systems, abstract interpretation, model checking)

The successful candidates will conduct research in one of the following topics:

- formal methods for security and privacy
- web security
- blockchain technologies

The employment is full-time (40 hrs/week) and the salary is
internationally competitive (the yearly entry-level gross salary is
approx. 39K EUR, which roughly corresponds to 2.2K EUR net per month).

Interested candidates should apply within the Doctoral School on Logical 
Methods in Computer Science at TU Wien, following the instructions at 
http://logic-cs.at/phd/admission/ .  The next application deadline is September 
1st,
but applications will be accepted until the positions are filled.

The working language in the group is English, knowledge of German is
not required.

TU Wien offers an outstanding research environment and numerous
professional development opportunities.  The Faculty of Informatics is
the largest one in Austria and is consistently ranked among the best
in Europe.  Vienna features a vibrant and excellence-driven
research landscape, with several leading research institutes (e.g.,
IST, AIT, SBA) and universities continuously establishing
collaborations in various fields, including cybersecurity. Finally,
Vienna has been consistently ranked by Mercer over the last years the
best city for quality of life worldwide.

[TYPES/announce] PhD openings in the Security and Privacy group at TU Wien

[Maffei, Matteo]

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

The Security & Privacy group at TU Wien
(https://secpriv.tuwien.ac.at/home/) is currently looking for 
outstanding Ph.D.  candidates. The successful applicants should have
recently completed (or be close to complete) a master or bachelor with
honours degree, and have a good background and interest in at least
one of the following areas:

- security
- cryptography
- semantics of programming languages (e.g., functional programming, theorem 
proving)
- verification (e.g., type systems, abstract interpretation, model checking)

 The successful candidates will conduct research in one of the following topics:

- formal methods for security and privacy 
- web security
- blockchain technologies

These positions are supported by

- the ERC Consolidator Grant "BROWSEC: Foundations and Tools for Client-Side 
Web Security";
- the FWF Doctoral Program "LogiCS: Logical Methods in Computer Science";
- the FFG Project "pDLART: Privacy-respecting Distributed Ledger and Regulatory 
Technologies”;
- and internal TU Wien funding.

The employment is full-time (40 hrs/week) and the salary is
internationally competitive (the yearly entry-level gross salary is
approx. 39K EUR, which roughly corresponds to 2K EUR net per month). 

Interested candidates should send

- a motivation letter 
- transcripts of records (Bachelor and Master)
- a curriculum vitae 
- contact information for two referees

to matteo.maf...@tuwien.ac.at. The application deadline is Juli 15,
but applications will be accepted until the positions are filled. 

The working language in the group is English, knowledge of German is
not required.  

TU Wien offers an outstanding research environment and numerous
professional development opportunities.  The Faculty of Informatics is
the largest one in Austria and is consistently ranked among the best
in Europe. Ph.D. students have the possibility to join the LogiCS
doctoral school (http://logic-cs.at).  Vienna features a vibrant and 
excellence-driven
research landscape, with several leading research institutes (e.g.,
IST, AIT, SBA) and universities continuously establishing
collaborations in various fields, including cybersecurity. Finally,
Vienna has been consistently ranked by Mercer over the last years the
best city for quality of life worldwide. 

[TYPES/announce] Vienna Research Groups for Young Investigators (Tenure-Track Professorship at TU Wien + 1.6M funding for 6-8 years)

[Maffei, Matteo]

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

The Faculty of Informatics at the Vienna University of Technology is looking 
for outstanding young researchers from abroad to set up and manage an 
independent research group as part of the Vienna Science and Technology Fund’s 
(WWTF)  Vienna Research Groups for Young Investigators (VRG) Call 2018 -  
“Information and Communication Technologies".

Expressions of interest are sought from researchers who have recently completed 
their PhD (2 – 8 years ago) with an excellent research track record. Selected 
candidates will, together with an experienced researcher of the Faculty of 
Informatics as a proponent, prepare a proposal to be submitted to the WWTF. 
Should this proposal be successful, the proposed project will be funded to the 
amount of 1.6 million euro by the WWTF for a period of 6 – 8 years. The Vienna 
University of Technology will also contribute to the funding of the project: 
during this time the successful candidate(s) will set up and manage his or her 
own research group as a group leader, and she or he will receive a tenure-track 
position (assistant professor), which will be later transformed into a tenured 
position (associate professor) subject to a positive overall assessment, with 
subsequent possibility of promotion to full professor.

Expressions of interest from researchers working in any area of Security and 
Privacy are welcome. These should be sent in digital format (a single pdf file) 
to Univ. Prof. Matteo Maffei 
(matteo.maf...@tuwien.ac.at) by May 1st, 
2018.  The expression of interest should include

- CV
- List of publications
- Short abstract of the envisioned research project (about 1 page)

Important Dates:

- May 1st, 2018: deadline for expressions of interest
- Mid of May: notification of the first screening phase
- July 12th, 2018: deadline for the final proposal

Further information on the call is available at:
https://www.wwtf.at/programmes/vienna_research_groups/#VRG18

Contact for informal inquiries in the area of Security and Privacy:  Univ. 
Prof. Matteo Maffei 
(matteo.maf...@tuwien.ac.at)


---
Univ. Prof. Matteo Maffei
Security and Privacy Group
TU Wien
Favoritenstrasse 9-11, Stiege 2, 1. Stock
Wien, A-1040
Website: secpriv.tuwien.ac.at
Phone: +43(1)58801184860

[TYPES/announce] Multiple PhD and Postdoc positions, Security and Privacy Group, TU Wien, Austria (ERC, FWF, FFG grants)

[Maffei, Matteo]

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

The Security & Privacy group at TU Wien is currently looking for
outstanding Ph.D. and postdoc applicants, with a particular focus on

- web security
- formal methods for security and privacy
- cryptocurrencies
- applied cryptography and privacy-enhancing technologies

Outstanding candidates in other disciplines are also encouraged to
apply. These positions are supported by

- the ERC Consolidator Grant "BROWSEC: Foundations and Tools for
Client-Side Web Security";
- the FWF Doctoral Program "LogiCS: Logical Methods in Computer Science";
- the FFG Project "pDLART: Privacy-respecting Distributed Ledger and
Regulatory Technologies";
- and internal TU Wien funding.

The employment is full-time (40 hrs/week) and the salary is
internationally competitive (the entry-level gross salary per year is
approx. 39K for PhD students and 52K per postdoc).

Interested candidates should send

- a motivation letter
- transcript of records (for Ph.D. applicants)
- a research statement (for postdoc applicants)
- a publication list
- a curriculum vitae
- contact information for two referees

to matteo.maf...@tuwien.ac.at. For more 
information on the positions,
please visit https://secpriv.tuwien.ac.at (thesis and job opportunities).

The first application deadline is March 1, 2018:  applications
received by then will receive full consideration but positions will be
filled continuously also later on.

Postdoc applicants are expected to have an outstanding publication
record, while Ph.D. applicants should have an excellent transcript of
records.

The working language in the group is English, knowledge of German is
not required.

TU Wien offers an outstanding research environment and numerous
professional development opportunities.  The Faculty of
Informatics is the largest one in Austria and is consistently ranked
among the best in Europe. Ph.D. students have the possibility to join
the LogiCS doctoral school.  Vienna features a vibrant and
excellence-driven research landscape, with several leading research
institutes (e.g., IST, AIT, SBA, RIAT) and universities continuously
establishing collaborations in various fields, including
cybersecurity. Finally, Vienna has been consistently ranked by Mercer
over the last years the best city for quality of life worldwide.





---
Univ. Prof. Matteo Maffei
Security and Privacy Group
TU Wien
Favoritenstrasse 9-11, Stiege 2, 1. Stock
Wien, A-1040
Website: secpriv.tuwien.ac.at
Phone: +43(1)58801184860

[TYPES/announce] 16 Ph.D. positions on Logical Methods in Computer Science (Austria)

[Maffei, Matteo]

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

TU Wien, TU Graz, and JKU Linz are seeking exceptionally talented and motivated 
students for their joint doctoral program on Logical Methods in Computer 
Science (LogiCS).  LogiCS has been established in 2014 and currently includes 
44 students.

http://logic-cs.at/phd/

THE PROGRAM
LogiCS focuses on logic and its applications in computer science. Successful 
applicants will work on interdisciplinary research topics covering
(i) computational logic,
(ii) databases and artificial intelligence,
(iii) computer-aided verification, and
(iv) emerging application domains, such as cyber-physical systems, distributed 
systems, and security & privacy.

FACULTY MEMBERS
Austria has a vibrant and highly active and successful logic in computer 
science community. Students are supervised by leading researchers in their 
fields:

M. Baaz  E. Bartocci  A. Biere  
R. Bloem
A. Ciabattoni  G. Gottlob   T. Eiter
C. Fermueller
R. Grosu  L. Kovacs M. Maffei   
M. Ortiz
R. PichlerU. Schmid   M. Seidl  
S. Szeider
G. Weissenbacher  S. Woltran

Details are provided on http://logic-cs.at/faculty/

POSITIONS AND FUNDING
We are looking for 16 doctoral students, where 30% of the positions are 
reserved for highly qualified female candidates.  The doctoral positions are 
funded for a period of 4 years according to the funding scheme of the Austrian 
Science Fund (details: 
http://www.fwf.ac.at/de/forschungsfoerderung/personalkostensaetze/). Additional 
positions will be available through other funding.

HOW TO APPLY
Detailed information about the application process is available on the LogiCS 
web-page
http://logic-cs.at/phd/admission/

The applicants are expected to have completed an excellent master's degree in 
computer science, mathematics, or a related field. Candidates with comparable 
achievements (e.g., bachelor of honors) may be considered on a case-by-case 
basis. Applications by the candidates need to be submitted electronically.
The positions will be filled on continuous basis till October 2018.
The evaluation of applications will start on 1st of March, 2018.

STUDYING AND LIVING IN AUSTRIA
Austria has a vibrant and highly active and successful logic in computer 
science  community. Vienna, Graz, and Linz, located close to the Alps, are 
surrounded by beautiful nature. Vienna is constantly ranked the city with the 
highest quality of life in the world. Austria has an exciting cultural scene, 
world-famous historical sites, a large international community, varied cuisine, 
and famous coffee houses.

For further information please contact: 
i...@logic-cs.at

[TYPES/announce] CSF 2018 Call for Papers

[Maffei Matteo]

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

CSF 2018 Call for Papers
31st IEEE Computer Security Foundations Symposium

http://csf2018.org/
July 9-12, 2018
Oxford, UK
Part of FLOC 2018: http://www.floc2018.org/

The Computer Security Foundations Symposium is an annual conference for 
researchers in computer security. This year CSF is organized as part of the the 
Federated Logic Conference (FLOC). CSF seeks papers on foundational aspects of 
computer security, such as formal security models, relationships between 
security properties and defenses, principled techniques and tools for design 
and analysis of security mechanisms, as well as their application to practice. 
While CSF welcomes submissions beyond the topics listed below, the main focus 
of CSF is foundational security: submissions that lack foundational aspects 
risk rejection.

This year, CSF will use a light form of double-blind reviewing; see below.

Topics 
--
New results in computer security are welcome. We also encourage 
challenge/vision papers, which may describe open questions and raise 
fundamental concerns about security. Possible topics for all papers include, 
but are not limited to:

access control,
accountability,
anonymity and privacy,
authentication,
computer-aided cryptography,
data and system integrity,
database security,
decidability and complexity,
distributed systems security,
electronic voting,
formal methods and verification,
decision theory,
hardware-based security,
information flow control,
intrusion detection,
language-based security,
network security,
data provenance,
mobile security,
security metrics,
security protocols,
software security,
socio-technical security,
trust management,
usable security,
web security.


Special Sessions 
 
This year, we strongly encourage papers in two foundational areas of research 
we would like to promote at CSF:

  BLOCKCHAIN (Chair: Elaine Shi).  Many challenges arise with the rapid 
development of the blockchain technology, including the need for formal 
foundations for the security and privacy of blockchains. CSF 2018 will include 
a special session devoted to this topic and we invite submissions on 
foundational work in this area. Topics include security and privacy issues, 
analysis and verification of existing solutions, design of new systems, but 
also broader foundational issues such as how blockchain mechanisms fit into 
larger distributed ecosystems and foundational security aspects of applications 
built on top of blockchain mechanisms.
  
  COMPUTER-AIDED CRYPTOGRAPHY (Chair: Bogdan Warinschi).  Modern cryptography 
is built on firm theoretical foundations. However, cryptography proofs are 
often intricate and the gap from model to code is usually large, which opens 
the door to bugs and vulnerabilities. Computer-aided formal methods can provide 
assurance of the security of cryptographic protocols, primitives and their 
implementations in software and hardware. We invite submissions on foundational 
work in this area. Topics include, but are not limited to, verification of 
cryptographic protocols and primitives, verification of cryptographic software 
and hardware, tools to automate formal verification, and formal proofs of 
side-channel countermeasures. 

These papers will be reviewed under the supervision of the special session 
chairs. They will be presented at the conference, and will appear in the CSF 
proceedings, without any distinction from the other papers.

Proceedings will be published by the IEEE Computer Society Press and will be 
available at the symposium. Some small number of papers will be selected by the 
PC as "Distinguished Papers".

* 
IMPORTANT DATES 

Abstract due: January 29, 2018
Papers due: January 31, 2018
Author response period: March 14-16, 2018
Notification: March 31, 2018
Final papers due: April 30, 2018
Symposium: July 9-12, 2018

* 
PROGRAM COMMITTEE 

Mário Alvim, Universidade Federal de Minas Gerais
Myrto Arapinis, University of Edinburgh
Owen Arden, UC Santa Cruz
Alessandro Armando, University of Genova
Liqun Chen, University of Surrey
Stephen Chong, Harvard University (Program Co-Chair)
Anupam Datta, Carnegie Mellon University
Stefan Deian, University of California, San Diego  
Stéphanie Delaune, CNRS, IRISA (Program Co-Chair)
Marco Gaboardi, University at Buffalo
Deepak Garg, Max Planck Institute for Software Systems
Benjamin Gregoire, Inria
Flaminia Luccio, Università Ca' Foscari Venezia
Heiko Mantel, TU Darmstadt
Sjouke Mauw, University of Luxembourg
Olivier Pereira, Université Catholique de Louvain
Tamara Rezk, Inria
Alejandro Russo, Chalmers 

[TYPES/announce] Tenure-track Professorship for Female Researchers at TU Wien

[Maffei Matteo]

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

We encourage applications in Cryptography, Security, and Privacy! Deadline: 
November 5.

Interested applicants in the aforementioned areas can contact Matteo Maffei 
(matteo.maf...@tuwien.ac.at) for further 
information or questions on the application procedure.

==


As part of a special measure towards increasing female employment in scientific 
positions and promoting young researchers, the Faculty of Informatics at the TU 
Wien (Vienna University of Technology) invites applications for an Assistant 
Professor position (tenure track) for women expected to begin on May 2, 2018.

Candidates can apply in any of the Faculty’s main research areas: Computer 
Engineering, Distributed and Parallel Systems, Logic & Computation, Media 
Informatics & Visual Computing, as well as Business Informatics 
(http://www.informatik.tuwien.ac.at/research).

The work contract is initially limited to six years. The candidate and TU Wien 
can agree upon a tenure evaluation, which when positive, opens the possibility 
to change the position to Associate Professor with an unlimited contract.

Duties include research in one of the Faculty’s main research areas (see above) 
as well as graduate and undergraduate teaching.

The TU Wien (Vienna University of Technology) is among the most successful 
technical universities in Europe and it is Austria’s largest 
scientific-technical research and educational institution. The Faculty of 
Informatics, one of the eight faculties at the TU Wien (Vienna University of 
Technology), has an excellent reputation and plays an active role in national 
and international research.

For a more detailed announcement and information on how to apply, visit 
www.informatik.tuwien.ac.at/vacancies.

Application deadline: November 5, 2017

[TYPES/announce] Open position: Professorship of COMPUTER AIDED VERIFICATION at TU Wien (successor of Helmut Veith)

[Maffei Matteo]

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

The TU Wien (Vienna University of Technology) invites applications for a full 
professorship according to § 98 University Act 2002 at the Faculty of 
Informatics. The position is affiliated to the Institute of Information 
Systems. The candidate will become the head of the already existing and valid 
established research group Formal Methods in Systems Engineering, previously 
headed by Helmut Veith. The estimated starting date is October 1, 2018.

The applicant is required to have an outstanding academic record in the field 
of Computer Aided Verification (CAV). Correctness, safety, and reliability of 
electronic systems are paramount in today’s software- controlled world. The 
focus of the professorship on CAV will be on automated techniques to verify 
soft- and hardware. Besides a proven ability in CAV core methods (Computational 
Logic, Theoretical Computer Science), the candidate will also have a strong 
interdisciplinary background, especially in relation to Embedded Information 
Systems, Software Verification, Synthesis or Distributed Algorithms. This 
position will strengthen the area of Logic and Computation as well as form a 
link to other research foci of the faculty. Duties include teaching informatics 
curricula courses (in English or German) as well as supervising graduates and 
PhD students working on their theses. The professor is expected to contribute 
to usual management and faculty service tasks.

The appointment will be made at tenure level, full time and permanent. If this 
is a candidate’s first appointment as a full professor, the initial appointment 
is for 5 years and will then be made permanent following a positive evaluation.

The TU Wien is among the most successful technical universities in Europe and 
it is Austria’s largest scientific technical research and educational 
institution. The Faculty of Informatics, one of the eight faculties at the TU 
Wien, plays an active role in national and international research and has an 
excellent reputation. The main areas of research include Logic and Computation, 
Computer Engineering, Distributed and Parallel Systems, Media Informatics and 
Visual Computing, as well as Business Informatics.

The Faculty of Informatics offers

- Excellent working conditions in an attractive research environment.

- An attractive salary, including additional contributions to a pension fund.

- Additional financial research support during the first few years (equipment 
etc.).

- Support for relocating to Vienna (if required).

- A position in a city with an exceptional quality of life.

For a more detailed announcement and information on how to apply, see the 
attached announcement or visit 
www.informatik.tuwien.ac.at/vacancies.

Application Deadline: October 16, 2017