[TYPES/announce] Assistant or Associate Professor in Programming Languages at TU Delft
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] -- The TU Delft Department of Software Technology has an open position for an Assistant or Associate Professor in Programming Languages -- http://pl.ewi.tudelft.nl/hiring/2019-assistant-professor/ Deadline for applications: September 1, 2019 Code: EWI2019-11 ## Job Description We are seeking to strengthen the Programming Languages research group with an ambitious and enthusiastic assistant or associate professor. The successful candidate is expected to contribute significantly to the research portfolio of the Programming Languages research group and is encouraged to develop their own research line in a viable and promising subfield of programming languages. We welcome applications from candidates in all subfields of programming languages, but we are particularly interested in the following topics: static and dynamic program analysis (including type systems), incremental computation, program synthesis, programming systems (e.g. virtual machines and run-time systems), and, probabilistic programming (e.g. programming languages for AI and AI for programming languages). Responsibilities of the position will include: - Conducting high impact research in the area of programming languages - Supervising PhD students and helping them to become top researchers in programming languages - Teaching courses on programming and programming languages topics at the bachelor and master’s level in the TU Delft Computer Science curriculum - Supervising bachelor and master’s students in their graduation projects - Acquiring and managing externally funded research projects in programming languages - Collaborating with industry to ensure that the group's research results have a lasting impact in software development practice - Strengthening the contacts between the group and industry as well as other international academic institutions - Taking responsibility for management and committee work within the section and the department ## Requirements Applicants must have a PhD degree in the broad field of programming languages, a proven track record of research excellence, the ambition to strengthen and expand the research and teaching of the programming languages research group, a team player mentality, and good communication and social skills. Preferably, the successful candidate has experience in teaching at university level. ## The Position At the start of the tenure-track you will be appointed as Assistant Professor for the duration of six years. Section leader, department leaders and you will agree upon expected performance and (soft) skills. You will receive formal feedback on performance and skills during annual assessment meetings and the mid-term evaluation. If the performance and skills are evaluated positively at the end of the tenure track, you will be appointed in a permanent Assistant Professor position. TU Delft offers a customisable compensation package, a discount for health insurance and sport memberships, and a monthly work costs contribution. Flexible work schedules can be arranged. An International Children’s Centre offers childcare and an international primary school. Dual Career Services offers support to accompanying partners. Salary and benefits are in accordance with the Collective Labour Agreement for Dutch Universities: gross salary €3389 — €5656 per month (depending on experience) on a full-time basis, plus holiday allowance (8%) and end-of-year bonus (8.3%). TU Delft sets specific standards for the English competency of the teaching staff. TU Delft offers training to improve English competency. Inspiring, excellent education is our central aim. If you have less than five years of experience and do not yet have your teaching certificate, we allow you up to three years to obtain this. ## The Organization The Faculty of Electrical Engineering, Mathematics and Computer Science (EEMCS) (https://www.tudelft.nl/en/eemcs/the-faculty/) is known worldwide for its high academic quality and the societal relevance of its research programmes. Offering an international working environment, the faculty has more than 1100 employees (including about 500 PhD students) and more than 3000 bachelor’s and master’s students. Together they work on a broad range of technical innovations in the fields of electrical sustainable energy, microelectronics, intelligent systems, software technology, and applied mathematics. The Software Technology (ST) Department (http://www.st.ewi.tudelft.nl/) is one of the leading Dutch departments in research and academic education in computer science, employing over 150 people. The ST Department is responsible for a large part of the curriculum of the bachelor’s and master’s programmes in Computer Science as
[TYPES/announce] CPP 2020: Call for Sponsors
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP) covers all areas that consider formal verification as an essential paradigm for their work. CPP spans areas of computer science, mathematics, logic, and education and brings together 100+ researchers and practitioners to present the latest developments in formal verification. More information about CPP at: https://popl20.sigplan.org/home/CPP-2020 CPP welcomes corporate donations to help maintain and improve the overall experience at the conference. The money we get from corporate sponsors will generally be used to subsidize student attendance (e.g., registration weaving, which generally increases student participation), cover the travel costs of invited speakers, and pay for the conference dinner. This will also allow us explore new ideas such as adding a distinguished paper award, or covering the fees that would make CPP open access for everyone. ### CPP Support Levels Bronze -- Suggested donation $1000 - your name and logo prominently displayed on the CPP website - acknowledgment in the CPP PC chair's statement for the proceedings - big thank you in the CPP PC chair's report talk Silver -- Suggested donation $2500 - as above plus: - an opportunity to display printed materials or branded merchandise (e.g., t-shirts, but **no** coffee containers please) on a joint table in the CPP conference room, or, space permitting, next to the entrance door - one complementary registration to CPP (20-21 January 2019) Gold -- Suggested donation $5000 - as above plus: - acknowledgement as a sponsor of the CPP keynote talks - a banner on stage carrying the supporter's logo (it is the company's responsibility to produce and bring this to the conference) - table/booth-like space at CPP where, if you wish, you can display publicity material, distribute handouts, talk to people, or demo software (for the duration of CPP, 20-21 January 2019). - an opportunity to also display printed materials at the registration desk (which is joint with POPL) - two complementary registrations to CPP (20-21 January 2019) - other arrangements are possible based on your needs and interests (subject to ACM restrictions on commercial involvement) Platinum -- Suggested donation $1 - as above plus: - an opportunity to be the sponsor of the CPP conference dinner; a representative from the company will be granted 10 minutes at the beginning of the dinner to address the attendees - an opportunity to include branded merchandise in all POPL and CPP participant's swag bag, such as a flyer, for example, if desired - three complementary registrations to CPP (20-21 January 2019) - other arrangements are possible based on your needs and interests (subject to ACM restrictions on commercial involvement) ### Contact Questions about how to contribute to CPP may be directed to catalin.hri...@gmail.com
[TYPES/announce] SecDev 2019 Call for Participation
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Registration is open for [Secure Development (SecDev) 2019](https://secdev.ieee.org/), which will be held September 25-27 in McLean, VA. More details are below, including program highlights. The early registration deadline is August 25. Student travel grants are available. Also, there are still a few days left (Monday August 12) to submit a poster or tool demo proposal. Submission is light weight: it is just a one-page description of the poster or tool demo. See https://secdev.ieee.org/2019/posters/ for more details. We hope to see you at SecDev 2019! Best, SecDev 2019 Organizing Committee # IEEE Secure Development Conference (SecDev) 2019 Call for Participation https://secdev.ieee.org/ *Sponsored by the IEEE Computer Society Technical Committee on Security and Privacy* *September 25-September 27, 2019 at the Hilton Tysons Corner, McLean, VA, USA* ## Overview SecDev is a venue for presenting ideas, research, and experience about how to develop secure systems. It focuses on theory, techniques, and tools to "build security in" to existing and new computing systems, and does not focus on simply discovering the absence of security. The goal of SecDev is to encourage and disseminate ideas for secure system development among academia, industry, and government. It aims to bridge the gap between constructive security research and practice and to enable real-world impact of security research in the long run. Developers have valuable experiences and ideas that can inform academic research, and researchers have concepts, studies, and even code and tools that could benefit developers. ## Important Dates - Early registration deadline: August 25 - Conference: Wednesday September 25 to Friday September 27, 2019 ## Program highlights * Keynote talks: - June Andronick (Data61/CSIRO and UNSW). [Componentise, Isolate, Prove; The seL4 Security Story](http://secdev.ieee.org/2019/june/) - Colm MacCárthaigh (Amazon Web Services). [Baking the Best Security Layer-Cake](http://secdev.ieee.org/2019/colm/) * Tutorials (afternoon of Wednesday Sept 25): - [Implementing Differential Privacy Securely](https://secdev.ieee.org/2019/tutorials/). Simson Garfinkel, Phil Leclerc (US Census Bureau) - [LLVM for Security Practitioners](https://secdev.ieee.org/2019/tutorials/). John Criswell (University of Rochester) - [A Practical Introduction to Formal Development and Verification of High-Assurance Software with SPARK](https://secdev.ieee.org/2019/tutorials/). Benjamin Brosgol, Claire Dross, Yannick Moy (AdaCore) - [Deploying Secure Multi-Party Computation on the Web Using JIFF](https://secdev.ieee.org/2019/tutorials/). Kinan Dak Albab, Rawane Issa, Andrei Lapets, Peter Flockhart, Lucy Qin, Ira Globus-Harris (Boston University) * Research papers: - A Qualitative Investigation of Insecure Code Propagation from Online Forums *Michelle Mazurek, Wei Bai, Omer Akgul (University of Maryland)* - Compositional Testing of Network Protocols *Kenneth L. McMillan (Microsoft Research); Lenore D. Zuck (University of Illinois at Chicago)* - CryptoAPI-Bench: A Comprehensive Benchmark on Java Cryptographic API Misuses *Sharmin Afrose, Sazzadur Rahaman, Danfeng (Daphne) Yao (Virginia Tech)* - Detecting Callback Related Deep Vulnerabilities in Linux Device Drivers *Tuba Yavuz (University of Florida)* - Downright: A Framework and Toolchain For Privilege Handling *Remo Schweizer, Stephan Neuhaus (Zurich University of Applied Sciences)* - Exploitation Techniques and Defenses for Data-Oriented Attacks *Long Cheng (Clemson University); Hans Liljestrand (Aalto University, Finland); Md Salman Ahmed (Virginia Tech); Thomas Nyman (Aalto University, Finland); Danfeng (Daphne) Yao (Virginia Tech); Trent Jaeger (Pennsylvania State University); N. Asokan (Aalto University, Finland)* - On the Universally Composable Security of OpenStack *Hoda Maleki (University of Connecticut); Kyle Hogan (MIT); Reza Rahaeimehr (University of Connecticut); Ran Canetti, Mayank Varia, Jason Hennessey (Boston University); Marten van Dijk (University of Connecticut); Haibin Zhang (UMBC)* - Polymorphic Relaxed Noninterference *Raimil Cruz (University of Chile); Éric Tanter (University of Chile & Inria)* - Role-Based Ecosystem for the Design, Development, and Deployment of Secure Multi-Party Data Analytics Applications *Andrei Lapets, Kinan Dak Albab, Rawane Issa, Lucy Qin, Mayank Varia, Azer Bestavros, Frederick Jansen (Boston University)* - Self-Authenticating Traditional Domain Names *Paul Syverson, Matthew Traudt (U.S. Naval Research Laboratory)* - Start your ENGINEs: Dynamically Loadable Contemporary Crypto *Nicola Tuveri, Billy Bob Brumley (Tampere University)*