[TYPES/announce] Postdoc position on quantified effects at Reykjavik University

2019-06-18 Thread Tarmo Uustalu 
[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

Quantified computational effects and interaction

Department of Computer Science, Reykjavik University

One postdoc position

Applications are invited for one postdoctoral position at the
Department of Computer Science, Reykjavik University.  The position is
part of a three-year research project funded by the Icelandic Research
Fund under the direction of Tarmo Uustalu. The overarching goal of to
advance the theory and practice of disciplined effectful programming,
based on graded monads, monad-like structures and interaction
laws. Interested applicants should contact the PI (email ta...@ru.is)
for closer details on the research proposal.

The successful candidate will benefit from, and contribute to, the
research environment at the Icelandic Centre of Excellence in
Theoretical Computer Science (ICE-TCS), with research groups on
concurrency, logic and semantics, algorithms, combinatorics. For
information about ICE-TCS and its activities, see

http://icetcs.ru.is/.

Moreover, she/he will cooperate with Shin-ya Katsumata and Maciej
Piróg during the project work and will benefit from the interaction
with their research groups at the National Institute of Informatics in
Tokyo and the University of Wroclaw.

*Qualification requirements*

Applicants for the postdoctoral position should have, or be about to
defend, a PhD degree in Computer Science or a closely related
field. Previous knowledge of at least one of lambda calculus and
functional programming, proof theory/type theory, programming language
semantics, category theory in computer science, proof assistants is a
prerequisite.

*Remuneration*

The wage will be approx 500 kISK per month before income tax, but
depend on the qualifications and experience of the postdoc. Check
http://payroll.is/en/ for what this means in terms of take-home pay. A
tax relief for foreign experts may apply.

The position is for two years, to start in autumn 2019 (the start date
is negotiable), and is renewable for another year, based on good
performance and mutual satisfaction.

*Application details*

Interested applicants should send their CV, including a list of
publications, to the PI (email ta...@ru.is), together with a statement
outlining their suitability for the project and the names of at least
two references.

Informal enquiries about the project and the conditions of work are
very welcome.

We will review applications as they arrive. Please apply before
5 July 2019.

[TYPES/announce] SecDev Call for Posters, Tool Demos, Practitioner Submissions

2019-06-18 Thread Stephen Chong 
[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]


### IEEE​ ​Secure​ ​Development​ ​Conference (SecDev)
*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*

https://secdev.ieee.org/.


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.​ ​Great​ ​SecDev​ ​contributions​ 
​could​ ​come​ ​from​ ​attendees​ ​of​ 
​industrial​ ​conferences like​ ​AppSec and​ ​RSA;​ 
​from​ ​attendees​ ​of​ ​academic​ ​conferences​ 
​like IEEE​ ​S,​ ​IEEE​ ​CSF,​ ​USENIX​ 
​Security,​ CCS, ​NDSS, PLDI,​ ICSE, ​FSE,​ ​ISSTA,​ 
​SOUPS, HOST,​ ​and​ ​others;​ ​and​ ​from newcomers.


We are soliciting **posters, tool demos**, and **practitioner 
submissions** for presentation at SecDev.


**Posters and Tool Demos:** Posters should present unpublished results 
about early or in-progress research projects. Demonstrations should be 
of publicly-available tools that facilitate secure development of 
software. Submissions of demos for commercial tools are permitted. All 
submissions should briefly describe the problem being solved, the 
details of the approach, and (for posters) at least some preliminary 
results.


**Practitioner Submissions:**  ​​These are brief submissions ​(at 
most one page) from​ ​practitioners​ ​to​ ​share​ 
​their​ ​practical experiences​ ​and​ ​challenges​ 
​in​ ​security​ ​development. Submissions should provide novel 
​perspectives​ ​and​ ​insights. Examples of suitable 
submissions include, but are not limited to: best practices for any 
aspect of the secure development life cycle; case studies or lessons 
learned from specific incidents or development experiences; broadly 
useful frameworks, architectures, or approaches relevant to secure 
development.


More details, including submission instructions, accepted [research 
papers](https://secdev.ieee.org/2019/accepted-papers/) and 
[tutorials](https://secdev.ieee.org/2019/tutorials/), keynote speakers 
([June Andronick, Data61/CSIRO and 
UNSW](https://secdev.ieee.org/2019/june/) and [Colm MacCárthaigh, 
Amazon Web Services](https://secdev.ieee.org/2019/colm/)) are available 
at https://secdev.ieee.org/.


 Important​ ​Dates
- Poster, Tool Demo, and Practitioner​ ​submissions deadline: 
Wednesday July 10, 2019 (11:59 PM AoE, UTC-12)
- Poster, Tool Demo, and Practitioner submissions ​notification: 
Monday July 29, 2019
- Conference: Wednesday September​ ​25​ ​to Friday​ 
September​ ​27,​ ​2019