[TYPES/announce] Professor positions in Computer Science at the University of Twente

[m.huisman]

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

[The department of Computer Science of the University of Twente is hiring. Note 
in particular the positions in Topic 2, Topic 5 and Topic 7 which might be of 
particular interest for members of this list]

Within the Faculty of Electrical Engineering, Mathematics and Computer Science 
(EEMCS), the department of Computer Science is looking for highly motivated and 
enthusiastic Assistant/Associate/Full Professors (f/m) in the areas of Computer 
Architecture and Networking, Intelligent Interactive Systems, Software Science 
and in the area of Privacy & Security.

Within these identified focus areas we offer positions in the following sub 
areas:

*Computer Architecture and Networking:*

Topic 1. Data centric distributed networks

Focus on a data-centric approach in the entire design trajectory of distributed 
networks: from hardware, to the networking and processing for tomorrow's IoT 
and cyber-physical systems.

Topic 2. High level Synthesis of Embedded Computer Architectures

To realize power efficient, flexible, predictable, reliable, and secure 
embedded systems, embedded computer architectures (hardware and 
platform-software) are required that are designed in a way that addresses these 
aspects at a relatively high level of abstraction.

*Intelligent Interactive Systems*

Topic 3. Computational Models of Mind for Human-AI Interaction

Reasoning over interpreted human signals to support complex decision making and 
an ongoing human-agent dialogue will complement the strong expertise available 
on virtual agents, social robots and other AI machines that humans interact 
with.

Topic 4. Methods for Classification and Prediction of Human Behaviour

Coming to a generic description of dynamic behavioural models so that 
classification and predictions of human behaviour become possible, grounding 
and developing new appropriate machine learning methods to recognise human 
behaviour and generating adaptive AI responses in human-computer interaction.

*Software Evolution*

Topic 5. Software Evolution

Software Evolution investigates how to develop reliable software that can 
easily be maintained and extended and can be adapted to changing requirements 
and situations. This combines formal methods to guarantee reliability, with 
research on requirements, architecture-design and model-driven engineering

*Privacy and Security*

Topic 6. Big Data and Cybersecurity

Many of the cybersecurity challenges that we are facing today are related to 
Big Data. On the one hand, there are many security technologies and systems 
that require the processing of massive amounts of data (including attack, flow, 
DNS, application and usage data) to create signatures of (potentially) 
malicious behaviour. Such signatures can be used to create models to detect 
(ab)normal behaviour and attacks. Dealing with the rapidly increasing amount of 
data that needs to be processed requires novel techniques, such as machine 
learning and AI, in combination with domain specific knowledge. On the other 
hand, the ubiquitous collection of data poses the challenge of how to securely 
store and process this data. To achieve this, we need dedicated security 
technologies for Big Data that scale well with the growing amount of data to be 
processed.

Topic 7. Security and the Internet of Things

Our modern digital society completely depends on technologies like the Internet 
and 5G for our daily communication. In recent years we have witnessed the 
development of the "Internet of Things" (IoT), where automated sensors and 
systems exchange information to manage and control our digital society. A key 
problem with these new technologies is trust, since most are manufactured 
outside Europe. Not only may these systems and their data get compromised, but 
we even have to assume that (the capabilities to add) backdoors exist. Such 
threats put the digital independence of our (western) society at risk. A key 
challenge is to therefore develop new methods and techniques to design trusted 
devices, to detect and isolate untrusted devices, but also to protect data 
handled by such devices.

As an Assistant/ Associate and Full Professor
- You will spend your time 50/50 on teaching and research, a reduced teaching 
load in the beginning years is the norm;
- You will give lectures in English. Mastering the Dutch language is not a 
prerequisite, but naturally a long term goal;
- We strongly encourage a high degree of responsibility and independence, while 
collaborating with close colleagues, researchers and other university staff.
- You can more information about the positions here: Assistant Professor 
(https://fws.e-office.com/VSNU/fws.nsf/wwwpdfEN/Universitair_docent4/$File/Universitair%20docent4EN.pdf)
 , Associate Professor 
(https://fws.e-office.com/VSNU/fws.nsf/wwwpdfEN/Universitair_hoofddocent4/$File/Universitair%20hoofddocent4EN.pdf)
 and 

[TYPES/announce] Postdoc position on the Mercedes project in Twente (Netherlands): Maximal Reliability of Concurrent and Distributed Software

[m.huisman]

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

Postdoc position on the Mercedes project in Twente (Netherlands):
Maximal Reliability of Concurrent and Distributed Software

University of Twente
Group: Formal Methods and Tools
Contact: Prof. Dr. Marieke Huisman 
(m.huis...@utwente.nl)

Job Description
You will be working on the Mercedes project, a 1,5 million euro personal grant 
for Marieke Huisman, funded by NWO.

Goal of the Mercedes project is to develop techniques to ensure the maximal 
reliability of concurrent and distributed software. In earlier projects, we 
started working on the development of a tool set for the verification of 
concurrent programs, called VerCors which is a result of Marieke Huisman’s 
earlier ERC project on verification of concurrent software. The VerCors tool 
set uses deductive program verification, i.e., the desired program properties 
are written in a pre-postcondition style (using a form of separation logic).

The focus of this Postdoc project will be on enabling verification of large 
programs with a significant concurrent aspect. Your ideas would be implemented 
in or should be applicable to the VerCors tool set. We value contributions to 
the theory of large-scale verification, to the process in which verification 
can be applied to large-scale software projects, and/or to the implementation 
of features that may have a significant impact on the usability of VerCors in 
the context of large scale verification.

For more information about the concrete project, please contact Marieke Huisman 
(m.huis...@utwente.nl).

We seek
We are looking for a researcher with an independent mind who is willing to 
cooperate in our team. It is understood that he or she works on the topics 
listed above. Further we ask for good communicative and collaboration skills. 
Candidates should be prepared to prove their English language skills.

As a research outcome we expect publications and (prototype) tools.

We offer
- One post doc position for two years (38 hrs/week), with a possibility of 
extension of upto 2 more years.
- A stimulating scientific environment
- Full status as an employee at the University of Twente, including pension and 
health care benefits.
- Gross salary for a Postdoc is dependent on experience and background, but 
will minimally be € 3.068,00 per month (scale 10.4), plus holiday allowance 
(8%) and end-of-year bonus (8.3%).
- Excellent facilities for professional and personal development.
- Good secondary conditions, in accordance with the collective labour agreement 
CAO-NU for Dutch universities
- A green Campus with lots of sports facilities

Further information
- FMT group: http://fmt.cs.utwente.nl/
- Prof. Dr. Marieke Huisman 
(m.huis...@utwente.nl): 
http://wwwhome.cs.utwente.nl/~marieke/
- Project webpage: http://fmt.ewi.utwente.nl/research/projects/Mercedes/

Application
To apply for the button, visit
https://www.utwente.nl/en/organization/careers/vacancy/!/423176/postdoc-position-on-the-mercedes-project-on-maximal-reliability-of-concurrent-and-distributed-software

Please use the Apply Now button at the bottom of the page.

Deadline: November 24, 2018. Earlier applications are welcome and an early 
start date is an advantage.

Your application should consist of:

- a cover letter (explaining your specific interest and qualifications);
- a full Curriculum Vitae,
  to apply for the PhD student position, this should include a list of
  all courses + marks, and a short description of your MSc thesis;
  to apply for the post doc position, this should include a list of
  all publications, and a short description of your PhD thesis;
- references (contact information) of two scientific staff members.

[TYPES/announce] 2 PhD positions and 1 Postdoc position on the Mercedes project in Twente (Netherlands): Maximal Reliability of Concurrent and Distributed Software

[m.huisman]

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

2 PhD positions and 1 Postdoc position

on the Mercedes project in Twente (Netherlands):

Maximal Reliability of Concurrent and Distributed Software



University of Twente

Group: Formal Methods and Tools

Contact: Prof.Dr. Marieke Huisman (m.huis...@utwente.nl)



Job Description

You will be working on the Mercedes project, a 1,5 million euro personal grant 
for Marieke Huisman, funded by NWO.



Goal of the Mercedes project is to develop techniques to ensures the maximal 
reliability of concurrent and distributed software. This is achieved by 
developing a technique to construct an abstract mathematical model from a 
concurrent or distributed application, such that program logics can be used to 
prove the formal connection between the software and its abstraction.



The framework will be general, capturing many different concurrent and 
distributed programming paradigms. An important goal of the project is to 
support automated reasoning, by developing techniques to automatically generate 
the necessary additional annotations. The project will also investigate the use 
of the abstraction theory in the opposite direction, to derive a correct 
program via refinement.



Two PhD positions are available to work on the following subprojects:

- Abstraction theory: a general compositional abstraction theory for models of 
concurrent and distributed software

- Code-level Verification: algorithms for automated verification of non-trivial 
program properties



One Post Doc position is available to work on the following subproject:

- Refinement: a refinement technique to derive concrete program code from an 
abstract model



All results of the Mercedes project will be integrated in the VerCors tool set 
for verification of concurrent software, which is a result of Marieke Huisman’s 
earlier ERC project on verification of concurrent software.



For more information about the concrete subprojects, please contact Marieke 
Huisman: m.huis...@utwente.nl.



We seek

- Two PhD students with an MSc degree (or equivalent) in Computer Science

- One post doc with a PhD degee in Computer Science (or equivalent)



The candidates should be enthousiastic, and have a thorough theoretical 
background, a demonstrable interest in program verification, and some knowledge 
about multithreaded programming (in Java/C/C++).



We are looking for a researcher with an independent mind who is willing to 
cooperate in our team. It is understood that he or she works on the

topics listed above.  Further we ask for good communicative and collaboration 
skills. Candidates should be prepared to prove their English language skills.



As a research outcome we expect publications, (prototype) tools, and for the 
PhD students a PhD thesis.



Starting date of the position: as soon as possible, preferably before June 1, 
2017.



We offer

- Two PhD position for four years (38 hrs/week)

- One post doc position for two years (38 hrs/week), with a possibility of 
extension of upto 3 more years.

- A stimulating scientific environment

- Full status as an employee at the University of Twente, including pension and 
health care benefits.

- Gross salary PhD student: ranging from € 2.191,00 (1st year) to € 2.801,00 
(4th year) per month, plus holiday allowance (8%) and end-of-year bonus (8.3%).

- Gross salary for a Postdoc is dependent on experience and background, but 
will minimally be € 3.068,00 per month (scale 10.4), plus holiday allowance 
(8%) and end-of-year bonus (8.3%).

- Excellent facilities for professional and personal development.

- Good secondary conditions, in accordance with the collective labour agreement 
CAO-NU for Dutch universities

- A green Campus with lots of sports facilities



The PhD student will be a member of the Twente Graduate School in the research 
programme 'Dependable and Secure Computing'. The research programme offers 
advanced courses to deepen your scientific knowledge in preparation to your 
future career (within or outside academia). We provide our PhD students with 
excellent opportunities to broaden their personal knowledge and to 
professionalise their academic skills. Participation

in national and/or international summer schools and workshops, and visits to 
other prestigious research institutes and universities can be part of this 
programme.



Further information

- FMT group: http://fmt.cs.utwente.nl/

- Prof.Dr. Marieke Huisman 
(m.huis...@utwente.nl): 
http://wwwhome.cs.utwente.nl/~marieke/

- Project webpage: http://fmt.ewi.utwente.nl/research/projects/Mercedes/



Application

To apply for the PhD position directly:

https://www.utwente.nl/en/organization/careers/vacancies/!/vacature/1019842

To apply for the post doc position directly:

https://www.utwente.nl/en/organization/careers/vacancies/!/vacature/1019858



Please use the Apply Now button 

[TYPES/announce] Westerdijk fellowship for female assistant professor at Utrecht University

[m.huisman]

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

The Westerdijk fellowship is a very prestigious position for young female 
researchers offered jointly by the Faculty of Science and the Department 
Information and Computing Sciences at Utrecht University. Beside the standard 
employment conditions, the Westerdijk fellowship offers the following benefits:
- A (fully financed) PhD position;
- Technical and/or secretarial support;  
- Additional budget of € 50,000 for personal development, facilities and travel.

The department is looking for an outstanding candidate with complementary yet 
connectable research interests to those of the current departmental research 
staff. For the types community, the most relevant work is done in the Software 
Technology group, who work on topics such as generic programming, program 
analysis and transformation, and formal verification of distributed algorithms

More details and the link to the UU application system can be found on:
https://www.academictransfer.com/employer/UU/vacancy/35436/lang/en/

[TYPES/announce] Call for Participation: VerifyThis Verification Competition 2016

[m.huisman]

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


VerifyThis Verification Competition 2016

CALL FOR PARTICIPATION

Competition to be held at ETAPS 2016
2 April 2016, Eindhoven, Netherlands

http://etaps2016.verifythis.org/

- Travel grants available


IMPORTANT DATES

Travel grant application deadline: February 24
Travel grant notification: February 26
After this date, travel grants can be applied for subject to availability of 
funding
ETAPS early registration ends on: March 1
Competition:  April 2  (full-day event)
Post-competition discussions: April 3
Announcement of prizes: April 4 (during ETAPS welcome reception)


ABOUT

VerifyThis 2016 is a program verification competition taking place as part of 
the European Joint Conferences on Theory and Practice of
Software (ETAPS 2016) on April 2nd, 2016 in Eindhoven, Netherlands. It is the 
5th event in the VerifyThis competition series.

The aims of the competition are:

- to bring together those interested in formal verification, and to provide an 
engaging, hands-on, and fun opportunity for discussion
- to evaluate the usability of logic-based program verification tools in a 
controlled experiment that could be easily repeated by others.

The competition will offer a number of challenges presented in natural 
language. Participants have to formalize the requirements, implement a 
solution, and formally verify the implementation for adherence to the 
specification.

There are no restrictions on the programming language and verification 
technology used. The correctness properties posed in problems will have the 
input-output behavior of programs in focus. Solutions will be judged for 
correctness, completeness and elegance.

TRAVEL GRANTS

The competition has funds for a limited number of travel grants. A grant covers 
the incurred travel and accommodation costs up to a certain amount. The amount 
is EUR 250 for those coming from Europe and EUR 500 for those coming from 
outside Europe.

To apply for a travel grant, send an email to etaps2...@verifythis.org. The 
application should include:

- your name
- your affiliation
- the academic degree you are seeking resp. your career stage
- the verification system(s) you plan to use at the competition
- the planned composition of your team
- a short letter of motivation explaining your involvement with formal 
verification so far
- if you are a student or PhD student, please have your supervisor send a 
brief letter of support by email to the same address.

Evaluation criteria are qualifications (for the applicant's career level), need 
(please explain briefly in your application), and diversity (technical, 
geographical, etc.).

PRIZES

Prizes will be awarded in the following categories:

- best team
- best student team
- tool used by most teams
- tool providing most assistance to the user


PARTICIPATION and REGISTRATION

Participation is open for anybody interested. Teams of up to two people are 
allowed. Physical presence on site is required. We particularly encourage 
participation of:

- student teams (this includes PhD students)
- non-developer teams using a tool someone else developed
- several teams using the same tool

VerifyThis is an official one-day satellite event of ETAPS. Please register 
with ETAPS. To facilitate planning, please also send an email to 
etaps2...@verifythis.org stating your planned team composition and verification 
system(s) you plan to use. Informal inquiries are welcome at the same address.

ORGANIZERS

* Marieke Huisman, University of Twente, the Netherlands
* Vladimir Klebanov, Karlsruhe Institute of Technology, Germany
* Rosemary Monahan, National University of Ireland Maynooth
* Peter Müller, ETH Zurich, Switzerland

CONTACT

etaps2...@verifythis.org
http://etaps2016.verifythis.org/

[TYPES/announce] Deadline extended: iFM 2016 (integrated Formal Methods), 1 - 3 June 2016, Reykjavik

[m.huisman]

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

Apologies for cross-posting!

===

The submission deadline for iFM 2016 has been extended:

Abstract submission:  January 6, 2016 (extended)
Paper submission: January 13, 2016 (extended)
Paper notification:   February 29, 2016

Please find an updated version of CfP below.

Best regards,

Erika Abraham
Marieke Huisman


===
 CALL FOR PAPERS
 iFM 2016

 12th International Conference on integrated Formal Methods
 June 1-3, 2016, Reykjavik, Iceland

   http://en.ru.is/ifm/
===

=== Important dates ===

Abstract submission:  January 6, 2016 (extended)
Paper submission: January 13, 2016 (extended)
Paper notification:   February 29, 2016
Final version:March 14, 2016
Conference:   June 1-3, 2016

=== Objectives and scope ===

Applying formal methods may involve the usage of different formalisms
and different analysis techniques to validate a system, either because
individual components are most amenable to one formalism or technique,
because one is interested in different properties of the system, or
simply to cope with the sheer complexity of the system. The iFM
conference series seeks to further research into hybrid approaches to
formal modeling and analysis; i.e., the combination of (formal and
semi-formal) methods for system development, regarding both modeling
and analysis.  The conference covers all aspects from language design
through verification and analysis techniques to tools and their
integration into software engineering practice.

Areas of interest include but are not limited to:
  - Formal and semi-formal modelling notations
  - Integration of formal methods into software engineering practice
  - Hybrid systems
  - Program verification
  - Program synthesis
  - Model checking
  - Static analysis
  - Runtime analysis, monitoring, performance evaluation
  - Decision procedures, SAT and SMT solving
  - Software engineering
  - Component-based systems (compositional, embedded, distributed, etc.)
  - Testing
  - Abstraction and refinement

=== Submission guidelines ===

iFM 2016 solicits high quality papers reporting research results
and/or experience reports related to the overall theme of method
integration.

We solicit papers in the following categories:

  - research papers (max. 15 pages including bibliography)
  - regular tool papers (max. 15 pages including bibliography)
  - short tool papers (max. 8 pages including bibliography)
  - case study papers (max. 15 pages including bibliography)

All submissions must be original, unpublished, and not submitted for
publication elsewhere. Each paper will undergo a thorough review
process. If necessary, a paper may be supplemented with a clearly
marked appendix, which will be consulted at the discretion of the
reviewers.

Submissions should be made using the iFM 2016 Easychair site:
https://easychair.org/conferences/?conf=ifm2016
Submissions must be in PDF format, using the Springer LNCS style
files; we suggest to use the LaTeX2e package (the llncs.cls class
file, available in llncs2e.zip and the typeinst.dem available in
typeinst.zip as a template for your contribution). The conference
proceedings will be published in Springer's Lecture Notes in Computer
Science series.

All accepted papers must be presented at the conference. Their authors
must be prepared to sign a copyright transfer statement. At least one
author of each accepted paper must register to the conference by the
early date, to be indicated by the organizers, and present the paper.

=== Invited speakers ===

 Marsha Chechik (University of Toronto, Canada)
 Laura Kovacs (Chalmers University of Technology, Sweden)
 Reiner Haehnle (Technical University Darmstadt, Germany)
 Edmund Clarke (Carnegie Mellon University, USA)

=== Workshops ===

iFM 2016 will be accompanied by a series of workshops. Further
information is available from the conference website
http://en.ru.is/ifm/

=== Conference location ===

iFM 2016 is organized by the University of Reykjavik and will take
place at the university campus in Reykjavik, the capital of Iceland.

=== Committees ===

General Chair:
  Marjan Sirjani (University of Reykjavik, Iceland)

Program Chairs:
  Erika Abraham (RWTH Aachen University, Germany)
  Marieke Huisman (University of Twente, The Netherlands)

Workshop Chair:
  Marcel Kyas (University of Reykjavik, Iceland)
  Wojciech Mostowski (Halmstad University, Sweden)

Program Committee:
  Wolfgang Ahrendt (Chalmers University of Technology, Sweden)
  Elvira Albert (Complutense University of Madrid, Spain)
  Bernd Becker (Albert-Ludwigs-University Freiburg, Germany)
  Clara Benac Earle (Universidad Politecnica de Madrid, Spain)
  Borzoo Bonakdarpour (McMaster 

[TYPES/announce] 2nd CFP iFM 2016 (integrated Formal Methods), 1 - 3 June 2016, Reykjavik

[m.huisman]

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

[Apologies for multiple copies]


 CALL FOR PAPERS
 iFM 2016

 12th International Conference on integrated Formal Methods
 June 1-3, 2016, Reykjavik, Iceland

   http://en.ru.is/ifm/


=== Important dates ===

Abstract submission: December 21, 2015
Paper submission: January 6, 2016
Paper notification:   February 29, 2016
Final version:   March 14, 2016
Conference:   June 1-3, 2016

=== Objectives and scope ===

Applying formal methods may involve the usage of different formalisms and 
different analysis techniques to validate a system, either because individual 
components are most amenable to one formalism or technique, because one is 
interested in different properties of the system, or simply to cope with the 
sheer complexity of the system. The iFM conference series seeks to further 
research into hybrid approaches to formal modeling and analysis; i.e., the 
combination of (formal and semi-formal) methods for system development, 
regarding both modeling and analysis.  The conference covers all aspects from 
language design through verification and analysis techniques to tools and their 
integration into software engineering practice.

Areas of interest include but are not limited to:
  - Formal and semi-formal modelling notations
  - Integration of formal methods into software engineering practice
  - Hybrid systems
  - Program verification
  - Program synthesis
  - Model checking
  - Static analysis
  - Runtime analysis, monitoring, performance evaluation
  - Decision procedures, SAT and SMT solving
  - Software engineering
  - Component-based systems (compositional, embedded, distributed, etc.)
  - Testing
  - Abstraction and refinement

=== Submission guidelines ===

iFM 2016 solicits high quality papers reporting research results and/or 
experience reports related to the overall theme of method integration.

We solicit papers in the following categories:

  - research papers (max. 15 pages including bibliography)
  - regular tool papers (max. 15 pages including bibliography)
  - short tool papers (max. 8 pages including bibliography)
  - case study papers (max. 15 pages including bibliography)

All submissions must be original, unpublished, and not submitted for 
publication elsewhere. Each paper will undergo a thorough review process. If 
necessary, a paper may be supplemented with a clearly marked appendix, which 
will be consulted at the discretion of the reviewers.

Submissions should be made using the iFM 2016 Easychair site: 
https://www.easychair.org/account/signin.cgi?conf=ifm2016
Submissions must be in PDF format, using the Springer LNCS style files; we 
suggest to use the LaTeX2e package (the llncs.cls class file, available in 
llncs2e.zip and the typeinst.dem available in typeinst.zip as a template for 
your contribution). The conference proceedings will be published in Springer's 
Lecture Notes in ComputerScience series.

All accepted papers must be presented at the conference. Their authors must be 
prepared to sign a copyright transfer statement. At least one author of each 
accepted paper must register to the conference by the early date, to be 
indicated by the organizers, and present the paper.

=== Invited speakers ===

 Marsha Chechik (University of Toronto, Canada)
 Laura Kovacs (Chalmers University of Technology, Sweden)
 Reiner Haehnle (Technical University Darmstadt, Germany)
 Edmund Clarke (Carnegie Mellon University, USA)

=== Workshops ===

iFM 2016 will be accompanied by a series of workshops. Further information is 
available from the conference website http://en.ru.is/ifm/

=== Conference location ===

iFM 2016 is organized by the University of Reykjavik and will take place at the 
university campus in Reykjavik, the capital of Iceland.

=== Committees ===

General Chair:
  Marjan Sirjani (University of Reykjavik, Iceland)

Program Chairs:
  Erika Abraham (RWTH Aachen University, Germany)
  Marieke Huisman (University of Twente, The Netherlands)

Workshop Chair:
  Marcel Kyas (University of Reykjavik, Iceland)
  Wojciech Mostowski (Halmstad University, Sweden)

Program Committee:
  Wolfgang Ahrendt (Chalmers University of Technology, Sweden)
  Elvira Albert (Complutense University of Madrid, Spain)
  Bernd Becker (Albert-Ludwigs-University Freiburg, Germany)
  Clara Benac Earle (Universidad Politecnica de Madrid, Spain)
  Borzoo Bonakdarpour (McMaster University, Canada)
  Ferruccio Damiani (Universita di Torino, Italy)
  Frank de Boer (CWI, The Netherlands)
  Delphine Demange (University of Rennes 1/IRISA, France)
  Jan Friso Groote (Eindhoven University of Technology, The Netherlands)
  Dilian Gurov (KTH Royal Institute of Technology, Sweden)
  Holger 

[TYPES/announce] PhD position in Monitoring Concurrent Software

[m.huisman]

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

Please pass this message on to any of your potentially interested Master 
students.

I am looking for a PhD student to develop a monitoring system for concurrent 
software. Making monitoring transparent is the big challenge: monitoring should 
not affect program behavior. A general-purpose approach will be designed, based 
on local annotations and global properties. In addition, I would like to 
investigate how runtime monitoring techniques can be used to efficiently 
explore different program behaviors.

If you are interested, you can apply before August 24, 2015 via:
http://www.utwente.nl/en/organization/careers/vacancies/!/vacature/312508

The project will be carried out within the Formal Methods and Tools (FMT) 
research group of Twente University. Within the FMT group, formal techniques 
and tools are developed and used as a means to support the development of 
software. This includes the development of formal theories of concurrency, 
design methodologies for distributed systems, and correctness assessment using 
verification or validation techniques. The group is also concerned with the 
development of traditional tools such as compilers and interpreters. In both 
research and courses much attention is paid to the applicability of formal 
methods.

The FMT group is part of the Faculty of Electrical Engineering, Mathematics and 
Computer Science (EEMCS) at the University of Twente.

The 3TU.BSR project Big Software on the Run 
(http://fmt.cs.utwente.nl/research/projects/3TU.BSR/) seeks several PhD and 
Postdoc positions. Millions of lines of code - written in different languages 
by different people at different times and operating on a variety of platforms 
- drive the systems performing key processes in our society. The resulting 
software needs to evolve and can no longer be controlled a priori as is 
illustrated by a range of software problems. The 3TU.BSR research program will 
develop novel techniques and tools to analyse software systems in vivo - making 
it possible to visualize behaviour, create models, check conformance, predict 
problems and recommend corrective actions.

The goal of the project is to develop a monitoring system for concurrent 
software. Making monitoring transparent is the big challenge: monitoring should 
not affect program behavior. A general-purpose approach will be designed, based 
on local annotations and global properties. Runtime monitoring is essential to 
check conformance of concurrent software during deployment. At the same time, 
runtime monitoring provides insight in low-level software events, generating a 
continuous data stream of events that feeds discovery. With process mining and 
visualization technology in Eindhoven, we will explore the scope of concurrent 
software monitoring.

The project will run for a period of four years and is supported by the three 
Dutch technical universities (Eindhoven University of Technology, TU Delft and 
University of Twente). It was initiated by 3TU.NIRICT, the Netherlands 
Institute for Research on ICT, which comprises all ICT research of the three 
universities of technology in the Netherlands.

Your profile

We are looking for candidates that meet the following requirements:

  *   a solid background in Computer Science, Data Science, or Software Science 
(demonstrated by a relevant Master);
  *   good communicative skills in English, both in speaking and in writing;
  *   a demonstrable interest in program semantics and verification;
  *   some knowledge about software technology and multithreaded programming 
(in Java/C/C++ etc.)
  *   candidates from non-Dutch or non-English speaking countries should be 
prepared to prove their English language skills;
  *   candidates are expected to realize research ideas in terms of prototype 
software, so software development skills are needed.

Note that we are looking for candidates that really want to make a difference 
and like to work on things that have a high practical relevance while having 
the ambition to compete at an international scientific level (i.e., present at 
top conferences and in top journals).

To apply for the position you should follow the link at the bottom of this 
vacancy description. Your application should consist of:

  *   a cover letter (maximum 1 page A4), emphasizing your specific interest, 
qualifications and motivations to apply for this position;
  *   a full Curriculum Vitae, including a list of all courses attended and 
grades obtained;
  *   a short description (maximum 1 page A4) of your MSc research;
  *   contact details of at least two referees who worked closely with you;

Applications should be submitted before August 24, 2015.

Our offer

We offer you a an interesting research position in a dynamic and international 
environment. You will also be given the opportunity to extend your knowledge in 
relevant areas through