[TYPES/announce] open position in CS at uOttawa

[Amy Felty]

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

This position is for any area of computer science.  Applications from 
the types and logic community welcome.




The School of Electrical Engineering and Computer Science at the 
University of Ottawa invites applications for a tenure-track faculty 
position at the rank of Assistant or Associate Professor. Exceptional 
candidates may be considered at the rank of Full Professor. We are 
interested in candidates who conduct research in all areas of Computer 
Science.


*Title of the position:***Assistant or Associate Professor

*Duties:*** The functions of a member of the academic staff include, in 
varying proportions: a) teaching activities; b) scholarly activities 
revealed by research, or professional work; c) academic service 
activities, d) supervision of graduate students.


Current research strengths in Computer Science at the School of EECS 
include algorithms, distributed computing and systems, multimedia and 
interactive virtual environments, information management and mining, as 
well as text analysis and machine learning. Further information may be 
viewed on our web site, located athttp://engineering.uottawa.ca/eecs/


*Terms:***Tenure Track position

*Wage:***Commensurate to rank and experience.  The salary scale for an 
Assistant Professor starts at $81,318 and for an Associate Professor at 
$89,827


*Benefits package:*The University of Ottawa provides a complete 
compensation package which includes long term disability, basic group 
life insurance, supplementary health insurance, University of Ottawa 
Pension Plan and optional life insurance.


*Location of work: ***School of Electrical Engineering and Computer 
Science (EECS), University of Ottawa, 800 King Edward, Ottawa, ON K1N 6N5


*Contact information:***Dr. Claude D’Amours, EECS Director, Faculty of 
Engineering, Ottawa, ON K1N 6N5. cdamo...@uottawa.ca 
 Telephone: 613-562-5800, ext. 6208, fax: 
613-562-5664


·*Education:***Ph.D. in Computer Science or equivalent.  Postdoctoral 
experience in Computer Science is considered an asset.


·*Work experience:*** The successful candidates should possess a strong 
research background and a strong commitment to excellence both in 
teaching and research. The candidates will be expected to initiate and 
maintain an innovative, externally funded research program and to teach 
Computer Science courses, both at the undergraduate and graduate levels. 
Because the University of Ottawa is Canada’s premier bilingual 
university, preference will be given to candidates who are bilingual 
(French/English) and who are able to teach in both languages. Passive 
knowledge of the other official language in Canada is a requirement for 
tenure.


*Appointment date:  As of July 1, 2018*

*Application deadline:***Applications received prior to November 30, 
2017 will be given first consideration.  Applications received after 
that date will be considered until the position is filled.


Please send your curriculum vitae, a detailed research proposal, a 
description of teaching interests and the names, addresses, telephone 
numbers and e-mail addresses of at least three (3) referees to:


Dr. Claude D’Amours, Director
School of Electrical Engineering and Computer Science
University of Ottawa
cdamo...@uottawa.ca 

/All qualified candidates are invited to apply; however, preference will 
be given to Canadian citizens and permanent residents. The University of 
Ottawa is an equal opportunity employer. We strongly encourage 
applications from women, Aboriginal peoples, persons with disabilities 
and members of visible minorities. If you are invited to continue the 
selection process, please notify us of any particular adaptive measures 
you might require by contacting the Office of the Associate 
Vice-President, Faculty Affairs at 613-562-5958. Any information you 
send us will be handled respectfully and in complete confidence./


/The University of Ottawa is proud of its 160-year tradition of 
bilingualism. Through its Official Languages and Bilingualism Institute, 
the University provides training to staff members and to their spouses 
in their second official language./


L'École de science informatique et de génie électrique à l’Université 
d’Ottawa sollicite des candidatures pour pourvoir un poste de professeur 
menant à la permanence au rang d’adjoint ou agrégé. Les candidats 
peuvent être considérés au rang de professeur titulaire. Nous sommes 
particulièrement intéressés par des candidats qui font de la recherche 
dans tous les domaines informatique.


*Titre du poste :*Professeur adjoint ou agrégé

*Tâches :***Les fonctions d’un membre du personnel enseignant incluent, 
dans des proportions diverses : a) des activités d’enseignement ; b) des 
activités savantes se manifestant par la 

[TYPES/announce] FLOPS2018: Second CFP

[Martin Sulzmann]

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

SECOND Call For Papers

FLOPS 2018: 14th International Symposium on Functional and Logic Programming

In-Cooperation with ACM SIGPLAN

9-11 May, 2018, Nagoya, Japan

http://www.sqlab.jp/FLOPS2018/

Writing down detailed computational steps is not the only way of
programming. The alternative, being used increasingly in practice, is
to start by writing down the desired properties of the result. The
computational steps are then (semi-)automatically derived from these
higher-level specifications. Examples of this declarative style
include functional and logic programming, program transformation and
re-writing, and extracting programs from proofs of their correctness.

FLOPS aims to bring together practitioners, researchers and
implementors of the declarative programming, to discuss mutually
interesting results and common problems: theoretical advances, their
implementations in language systems and tools, and applications of
these systems in practice. The scope includes all aspects of the
design, semantics, theory, applications, implementations, and teaching
of declarative programming.  FLOPS specifically aims to
promote cross-fertilization between theory and practice and among
different styles of declarative programming.

Scope

FLOPS solicits original papers in all areas of the declarative
programming:

* functional, logic, functional-logic programming, re-writing
 systems, formal methods and model checking, program transformations
 and program refinements, developing programs with the help of theorem
 provers or SAT/SMT solvers;
* foundations, language design, implementation issues (compilation
 techniques, memory management, run-time systems), applications and
 case studies.

FLOPS promotes cross-fertilization among different styles of
declarative programming. Therefore, submissions must be written to be
understandable by the wide audience of declarative programmers and
researchers. Submission of system descriptions and declarative pearls
are especially encouraged.

Submissions should fall into one of the following categories:
* Regular research papers: they should describe new results and will
 be judged on originality, correctness, and significance.
* System descriptions: they should contain a link to a working
 system and will be judged on originality, usefulness, and design.
* Declarative pearls: new and excellent declarative programs or
 theories with illustrative applications.
System descriptions and declarative pearls must be explicitly marked
as such in the title.

Submissions must be unpublished and not submitted for publication
elsewhere. Work that already appeared in unpublished or informally
published workshops proceedings may be submitted. See also ACM SIGPLAN
Republication Policy.

Proceedings

The proceedings will be published by Springer International Publishing
in the Lecture Notes in Computer Science (LNCS) series, as a printed
volume as well as online in the digital library SpringerLink.

Post-proceedings: The authors of 4-7 best papers will be invited to
submit the extended version of their FLOPS paper to a special issue of
the journal Science of Computer Programming (SCP).


Important dates

13 November 2017  (any time zone): Abstract Submission
20 November 2017  (any time zone): Submission deadline
15 January 2018:   Author notification
9-11 May 2018: FLOPS Symposium

Invited Talks

To be announced


Submission

Submissions must be written in English and can be up to 15 pages long
including references, though pearls are typically shorter. The
formatting has to conform to Springer's guidelines.  Regular research
papers should be supported by proofs and/or experimental results. In
case of lack of space, this supporting information should be made
accessible otherwise (e.g., a link to a Web page, or an appendix).

Papers should be submitted electronically at
https://easychair.org/conferences/?conf=flops2018


Program Committee

Andreas RossbergGoogle, Germany
Atsushi OhoriTohoku University, Japan
Bruno C. D. S. OliveiraThe University of Hong Kong, China
Carsten FuhsBirkbeck, University of London, UK
Chung-chieh ShanIndiana University, USA
Didier RemyINRIA, France
Harald SøndergaardThe University of Melbourne, Australia
Jacques GarrigueNagoya University, Japan
Jan MidtgaardUniversity of Southern Denmark, Denmark
Joachim BreitnerUniversity of Pennsylvania, USA
John GallagherRoskilde University, Denmark and IMDEA
Software Institute, Spain (co-chair)
Jorge A NavasSRI International, USA
Kazunori UedaWaseda University, Japan
Kenny Zhuo Ming LuSchool of Information Technology, Nanyang
Polytechnic, Singapore
María AlpuenteUniversitat Politècnica 

[TYPES/announce] Postdoc position at the Pennsylvania State University

[Gang Gary Tan]

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

Postdoc position at Penn State Computer Science and Engineering

Applications are invited for a full-time postdoctoral researcher
position in the Security of Software (SOS) Lab at Penn State
(http://www.cse.psu.edu/~gxt29/sos/).  The SOS Lab focuses on
methodologies that help create secure software systems.  We are
seeking a highly qualified individual to work in the area of software
security, including binary code analysis and hardening as well as
compiler-based software security.  An applicant should possess a
doctoral degree in Computer Science or Computer Engineering and have
strong background in computer security, programming languages, or
formal methods.  The candidate must have an excellent track record of
original research and the ability to work as part of a team.

The postdoc will be provided with competitive salary and employment
benefits. The initial appointment will be for one year, with an option
to renew for a second year.

Inquiries about the position should be directed to Dr. Gang Tan
(g...@cse.psu.edu).  Applicants should send a resume with at least two
names of references. Applications will be reviewed until the position
is filled.

Penn State is a major research university ranked 3rd in U.S.  in
industry-sponsored research.  The CSE department is ranked 8th in
U.S. in research expenditures and has strong research programs in
security.  The U.S. News and World Report consistently ranks Penn
State's College of Engineering undergraduate and graduate programs
among the top in the nation.

--
Gang (Gary) Tan
Associate Professor, CSE Department
Penn State University
W358 Westgate Building
http://www.cse.psu.edu/~gxt29/
Tel: 814-8657364, Fax: 814-8653176

[TYPES/announce] PhD Studentship in Software Engineering/Programming Languages in New York City

[Raffi T Khatchadourian]

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

Graduate (PhD) Research Assistant Position in Programming Languages and 
Software Engineering


Overview


I am currently seeking a graduate student interested in programming languages 
and software engineering research to commence at the Fall 2018 semester. 
Potential
research topics include (static/dynamic) program analysis and/or transformation 
(e.g., refactoring) with a focus on helping to maintain and/or evolve large and
complex existing software systems. Potential topics also include automated bug 
finding approaches and software security w.r.t. software evolution and/or
component composition. The successful candidate will be expected to work on 
projects that normally yield open source developer tool research prototypes,
typically plug-ins to popular IDEs, build systems, or static analyzers. More 
information can be found [on the main supervisor's web 
page](http://www.cs.hunter.cu
ny.edu/~Raffi.Khatchadourian99). Of particular interest are students interested 
in applying to the City University of New York - CUNY's Graduate Center Ph.D.
program in Computer Science concurrently with the research assistantship. 
Please see below for additional details on applying. 

Topics of Interest
--

-   Static code analysis
-   Dynamic code analysis
-   Program transformation
-   Refactoring
-   Software evolution and software security

Keywords


programming languages, software engineering, software evolution, refactoring, 
static analysis, dynamic analysis, IDEs, developer tools, software evolution,
software security, software composition

Location


The graduate student will have a shared lab space with an available personal 
computer at the [Computer Science Department](http://www.hunter.cuny.edu/csci),
[Hunter College](http://hunter.cuny.edu), [City University of New 
York](http://cuny.edu), New York, NY, USA. The Ph.D. program mentioned earlier 
is part of the
[Computer Science 
Department](http://gc.cuny.edu/Page-Elements/Academics-Research-Centers-Initiatives/Doctoral-Programs/Computer-Science),
 [The Graduate
Center](http://gc.cuny.edu), [City University of New York](http://cuny.edu).

Funding
---

Successful candidates will receive a stipend of $25K US/year, which may include 
part-time teaching obligations. Funding will be renewable annually based on
performance. Funding is available for up to two years with additional funding 
beyond the initial two years based on future availability. Successful candidates
will also be encouraged to apply for additional internal and/or external 
funding when appropriate.

Start Date
--

For students applying to the City University of New York - CUNY's Graduate 
Center Ph.D. program in Computer Science concurrently with the research 
assistantship,
the Graduate Center's semester start date is August 2018. The research 
assistantship may start earlier depending on the successful applicant's 
circumstances.
Successful applicants are encouraged to discuss their particular circumstances 
with the main supervisor.

Contact
---

[Dr. Raffi Khatchadourian](mailto:raffi.khatchadour...@hunter.cuny.edu), main 
supervisor. More info at [this web 
page](http://www.cs.hunter.cuny.edu/~Raffi.Khatc
hadourian99).

Expected Skills and Qualifications
--

Successful candidates will have earned either a BS or MSc degree (or 
equivalent) in Computer Science or a related field. A successful candidate will 
have a
strong practical and theoretical background in Object-Oriented programming 
language and (front-end) compilers, data structures, algorithms, software design
patterns, software testing, and a variety of software engineering tools, e.g., 
IDEs, build systems, and version control. A successful candidate will also have 
a
strong foundation in mathematical logic and set theory. Candidates with 
industrial experience are welcome. Successful candidates will possess a strong 
set of
software engineering skills. Successful candidates will also have high-quality 
analytical skills. Experience in Eclipse plug-in development, relational
databases, software security, software composition techniques, and/or data 
mining is a plus.

Applying


Please complete [the application form](http://wp.me/p8fqJa-ix#gf_7). Please 
note that partial form submissions can be saved for later completion. For 
students
interested in applying to the City University of New York - CUNY's Graduate 
Center Ph.D. program in Computer Science concurrently with the research
assistantship, information and requirements regarding admission are available 
[here](http://www.gc.cuny.edu/Prospective-Current-Students/Prospective-
Students/Admissions). The Computer Science program requirements are listed