[TYPES/announce] Postdoc Position at IMDEA in Security/Privacy/Verification

[Boris Köpf]

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

We invite applications for a postdoctoral position at the IMDEA Software 
Institute in Madrid, Spain. The successful candidate will join the group of 
Boris Köpf to work on topics at the intersection of security, privacy, and 
formal verification.

The post is available from September 2016 for the duration of up to three 
years. Applicants should have, or expect to obtain shortly, a PhD in Computer 
Science, preferably with a focus on the topics mentioned above.

The IMDEA Software Institute is located in the vibrant area of Madrid, Spain. 
It offers an open and collaborative working environment, where researchers can 
focus on developing new ideas and projects. Salaries at the Institute are 
internationally competitive. Potential candidates are encouraged to contact 
Boris Köpf with inquiries (boris dot koepf at imdea dot org). 

[TYPES/announce] 2016 Autumn School on Computational Logic

[German Vidal]

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

(Apologies if you receive multiple copies of this email. 
Please distribute to interested parties.)


The 2016 Autumn School on Computational Logic will be held on 
October 16-17, 2016, in New York, affiliated to the 
32nd International Conference on Logic Programming (ICLP'16). 
Researchers and PhD students are encouraged to attend. Student 
scholarships are available (Deadline for application: July 20)

   Association for Logic Programming

2016 Autumn School on Computational Logic

   http://iclp16school.webs.upv.es/
 October 16-17, New York, USA
(Affiliated to ICLP'16)

Researchers interested in research in computational logic are 
invited to attend the 2016 Autumn School. The 2-day school is 
suited for those who wish to learn advanced topics in computational 
logic and logic programming. It will consist of four half-day 
tutorials on the following topics:

1. Constraint Logic Programming
   Lecturer: Roman Bartak, Charles University, Czech Republic

2. Language processing through logic grammars and constraints
   Lecturer: Veronica Dahl, Simon Fraser University, Canada

3. Answer Set Programming: foundations and applications
   Lecturer: Torsten Schaub, University of Potsdam, Germany

4. Verification and probabilistic programming
   Lecturer: C.R. Ramakrishnan, SUNY Stony Brook, USA

A number of scholarships for students that cover local expenses for the 
duration of the school are available. To apply for these scholarships, 
students should also register to the Doctoral Consortium and send the 
following information to German Vidal at gvi...@dsic.upv.es by July 20th:
- A short vita of the applicant.
- A letter of recommendation from applicant's faculty advisor.
- A one paragraph statement outlining how the school will benefit the applicant.
The letter from the advisor should also certify that the applicant is a 
full-time student.

Organizers:
John Gallagher, Roskilde University, Denmark
German Vidal, Universitat Politecnica de Valencia, Spain

[TYPES/announce] Lab docent position at University of Amsterdam

[Clemens Grelck]

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


Dear all,

I would like to draw your attention to the following job opening at
the University of Amsterdam:

http://www.uva.nl/en/about-the-uva/working-at-the-uva/vacancies/item/16-267-lecturer-software-engineering.html

This is a full-time teaching position in our MSc Software Engineering
programme that is rated among the best ICT Master programmes
in the Netherlands:

http://www.uva.nl/en/education/master-s/master-s-programmes/item/software-engineering.html

We take at least partially a fairly formal approach to software engineering,
so the position might indeed be of interest to subscribers of this mailing
list.

After some local hickups the definitive and firm deadline for 
application is

Monday July 11 any time Amsterdam time.

If you have any questions, do not hesitate to contact me.

Best regards,
  Clemens Grelck

--
--
Dr Clemens Grelck Science Park 904
University Lecturer   1098XH Amsterdam
   Netherlands
University of Amsterdam
Institute for InformaticsT +31 (0) 20 525 8683
Computer Systems Architecture Group  F +31 (0) 20 525 7490

Office C3.105 staff.fnwi.uva.nl/c.u.grelck
--

[TYPES/announce] Associate Professor in Software Technology with Starting Grant, at Lund University, Sweden

[Görel Hedin]

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

The following position is announced on the types-announce mailinglist, as new 
programming languages, type systems, and verification techniques are important 
techniques and tools in the software technology field.

STRONGLY FINANCED ASSOCIATE PROFESSOR POSITION IN SOFTWARE TECHNOLOGY

The Computer Science department at Lund University, Sweden, invites 
applications for a newly created position as Associate Professor in Software 
Technology, supported by WASP, Wallenberg Autonomous Systems Program.

The position includes a generous starting grant of roughly 2.5 million Euro, 
adequate to finance four PhD/postdoc students over a period of 4 years, i.e., 
comparable to an ERC starting grant.

We are looking for candidates with an excellent research record, demonstrated 
through a clear and innovative research vision along with research results, 
including software, and publications in conferences and journals of top 
quality. Special attention will be paid to industry collaboration and the long 
term development potential of the candidate.

WASP is a 10 year research program funded by a donation of more than 100 
million Euro by the Knut and Alice Wallenberg Foundation, and with additional 
funding provided by industry and participating universities in Sweden. WASP 
supports a number of strongly financed positions in Sweden, see 
http://wasp-sweden.org/ .

Lund University is ranked as one of the top 100 in the world. 
Seehttp://www.lunduniversity.lu.se/about/work-at-lund-university/why-work-at-lund-university
 .

Lund, "city of ideas", is over 1000 years old and is consistently ranked as one 
of the best places in Sweden to live. It is located in the southern part of 
Sweden, just 35 minutes by train from the Danish Copenhagen international 
airport. Close to the engineering faculty is the IDEON Science Park with 350 
companies, including many global actors in ICT.

Formal announcement: 
https://lu.mynetworkglobal.com/en/what:job/jobID:105412/where:4/

Application deadline: September 15, 2016

For more information, contact:

Prof. Görel Hedin, http://cs.lth.se/gorel-hedin
Prof. Per Runeson, http://cs.lth.se/per-runeson

[TYPES/announce] 3rd Call for Papers: OCL and Textual Modeling Tools and Textual Model Transformations (OCL 2016) - Less Than 10 Days Left To Submit Your Paper!

[Achim D. Brucker]

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

(Apologies for duplicates)

 Less than 10 days until the deadline!


CALL FOR PAPERS
16th International Workshop on OCL and Textual Modeling

   Co-located with ACM/IEEE 19th International Conference on
 Model Driven Engineering Languages and Systems (MODELS 2016)
   October 2, 2016, Saint-Malo, France 
   http://oclworkshop.github.io

Modeling started out with UML and its precursors as a graphical
notation. Such visual representations enable direct intuitive
capturing of reality, but some of their features are difficult to
formalize and lack the level of precision required to create complete
and unambiguous specifications. Limitations of the graphical notations
encouraged the development of text-based modeling languages that
either integrate with or replace graphical notations for
modeling. Typical examples of such languages are OCL, textual MOF,
Epsilon, and Alloy. Textual modeling languages have their roots in
formal language paradigms like logic, programming and databases.

The goal of this workshop is to create a forum where researchers and
practitioners interested in building models using OCL or other kinds
of textual languages can directly interact, report advances, share
results, identify tools for language development, and discuss
appropriate standards. In particular, the workshop will encourage
discussions for achieving synergy from different modeling language
concepts and modeling language use. The close interaction will enable
researchers and practitioners to identify common interests and options
for potential cooperation.

Topics of interest include (but are not limited to)
===
- Mappings between textual modeling languages and other languages or
  formalisms
- Algorithms, evaluation strategies and optimizations in the context
  of textual modeling languages for
  -- validation, verification, and testing,
  -- model transformation and code generation,
  -- meta-modeling and DSLs, and
  -- query and constraint specifications
- Alternative graphical/textual notations for textual modeling languages
- Evolution, transformation and simplification of textual modeling
  expressions
- Libraries, templates and patterns for textual modeling languages
- Tools that support textual modeling languages (e.g., verification of
  OCL formulae, runtime monitoring of invariants)
- Complexity results for textual modeling languages
- Quality models and benchmarks for comparing and evaluating
  textual modeling tools and algorithms
- Successful applications of textual modeling languages
- Case studies on industrial applications of textual modeling languages
- Experience reports
  -- usage of textual modeling languages and tools in complex domains,
  -- usability of textual modeling languages and tools for end-users
- Empirical studies about the benefits and drawbacks of textual modeling
  languages
- Innovative textual modeling tools
- Comparison, evaluation and integration of modeling languages
- Correlation between modeling languages and modeling tasks

This year, we particularly encourage submissions describing tools that
support - in a very broad sense - textual modeling languages (if you
have implemented OCL.js to run OCL in a web browser, this is the right
workshop to present your work) as well as textual model
transformations.

Venue
=
The workshop will be organized as a part of MODELS 2016 Conference in
Saint-Malo, France. It continues the series of OCL workshops held at
UML/MODELS conferences: York (2000), Toronto (2001), San Francisco
(2003), Lisbon (2004), Montego Bay (2005), Genova (2006), Nashville
(2007), Toulouse (2008), Denver (2009), Oslo (2010), Zurich (2011, at
the TOOLs conference), 2012 in Innsbruck, 2013 in Miami, 2014 in
Valencia, Spain, and 2015 in Ottawa, Canada. Similar to its
predecessors, the workshop addresses both people from academia and
industry. The aim is to provide a forum for addressing integration of
OCL and other textual modeling languages, as well as tools for textual
modeling, and for disseminating good practice and discussing the new
requirements for textual modeling.

Workshop Format
===
The workshop will include short (about 15 min) presentations, parallel
sessions of working groups, and sum-up discussions.

Submissions
===
Two types of papers will be considered:
* short contributions (between 6 and 8 pages) describing new ideas, innovative 
tools
or position papers.
* full papers (between 12 and 16 pages)
in LNCS format. Submissions should be uploaded to EasyChair
(https://easychair.org/conferences/?conf=ocl16).  The
program committee will review the submissions (minimum 2 reviews per
paper, usually 3 reviews) and select papers according to their
relevance and interest for discussions that will take place at the
workshop. Accepted papers will be 

[TYPES/announce] PhD or Postdoc in Semantics Engineering for Language Designer's Workbench at TU Delft

[Eelco Visser]

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

We have open positions for PhD students and Postdocs in the Programming
Languages group of Eelco Visser  at TU Delft. If
you would like to provide a contribution to our work on language
engineering, semantics engineering, and/or language design in the context
of the Language Designer's Workbench
 project and the Spoofax
Language Workbench , and you have a strong background
in programming languages, language engineering, and/or verification you are
most welcome to apply. Please include a motivation letter explaining how
you could contribute and a CV showing your background.

In the project we are exploring a new approach to type systems and name
binding based on the scope graph framework (ESOP 2015, ETAPS best paper),
which we use as the basis for static name resolution and a uniform model
for memory in dynamic semantics (ECOOP 2016); see links to publications
below.

Candidates are expected to start in the Fall of 2016 and applications are
due August 7, 2016

For more information see

https://department.st.ewi.tudelft.nl/jobs/job/5/phd-or-postdoc-in-semantics-engineering

-- Eelco Visser

Professor of Computer Science, TU Delft

http://eelcovisser.org


The Language Designers Workbench
http://eelcovisser.org/wiki/projects/ldwb

## Publications

Scopes describe Frames: A uniform model for memory layout in dynamic
semantics (ECOOP16)
http://researchr.org/publication/PoulsenFrames2016

A constraint language for static semantic analysis based on scope graphs
(PEPM16)
http://researchr.org/publication/AntwerpenNTVW16

A theory of name resolution (ESOP 2015)
http://researchr.org/publication/NeronTVW-ESOP-2015

DynSem: A DSL for Dynamic Semantics Specification (RTA 2015)
http://researchr.org/publication/VerguNV15

A language designer's workbench: A one-stop-shop for implementation and
verification of language designs (Onward! 2014)
http://researchr.org/publication/VisserOnward14


IceDust: Incremental and eventual computation of derived values in
persistent object graphs (ECOOP16)
http://researchr.org/publication/HarkesIceDust2016

Unifying and generalizing relations in role-based data modeling and
navigation (SLE 2014)
http://researchr.org/publication/HarkesV14

[TYPES/announce] Chair in Information/Computer Security (Sheffield, UK)

[Achim D. Brucker]

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

(Apologies for duplicates)


Dear all,
The Computer Science Department of The University Of Sheffield has an open 
position 
for a Chair in Computer and Information Security. The new chair will lead a new 
research group in the Department of Computer Science and establish an agenda 
for 
security and privacy research across the wider university.

Applications are welcome in all areas of computer and/or information security, 
including 

* Human factors and secure systems
* Security aspects of distributed and autonomous systems Internet of things, 
  cloud computing
* Applications of secure systems Manufacturing, health, transport, robotics
* Security analysis Intrusion monitoring, threat detection, links with machine 
  learning and language processing
* Secure software engineering (Both empirical and theoretical approaches)
* Applied cryptography Applications in IT systems, homomorphic encryption

For more information about the position and the Department, please visit 
http://www.sheffield.ac.uk/dcs/research/groups/security/index

Or apply directly at https://goo.gl/FSfk5P, application deadline is 27th July, 
2016.

Best,
Achim 

-- 
Dr. Achim D. Brucker | Software Assurance & Security | University of Sheffield
 https://www.brucker.uk/ | https://logicalhacking.com/blog