dmanet@zpr.uni-koeln.de
To subscribe or unsubscribe via the World Wide Web, visit
http://www.zaik.uni-koeln.de/mailman/listinfo/dmanet
or, via email, send a message with subject or body 'help' to
dmanet-request@zpr.uni-koeln.de
You can reach the person managing the list at
dmanet-owner@zpr.uni-koeln.de
When replying, please edit your Subject line so it is more specific
than "Re: Contents of dmanet digest..."
Today's Topics:
1. Post-Doc Position Math/CS/OR, RWTH Aachen University
(Marco Lübbecke)
2. 1st International Workshop on Formal Methods for and on the
Cloud (iFMCloud 2016): First Call for Papers (Razieh Behjati)
----------------------------------------------------------------------
Message: 1
Date: Wed, 18 Nov 2015 00:04:21 +0100
From: Marco Lübbecke <marco.luebbecke@rwth-aachen.de>
To: <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] Post-Doc Position Math/CS/OR, RWTH Aachen University
Message-ID:
<CAM5ELAr2wc9JvVcfncG+oKwdgbKtyKjQRHoP-YVvZ=xZ0FiQnw@mail.gmail.com>
Content-Type: text/plain; charset="UTF-8"
The Chair of Operations Research at RWTH Aachen University, Germany,
invites applications for
1 POST-DOC POSITION IN MATHEMATICAL OPTIMIZATION (3 yrs)
We are an interdisciplinary group with research and teaching interests
in operations research, discrete mathematics, and theoretical computer
science. Welcomed topics are integer programming, combinatorial
optimization, algorithm engineering, machine learning, and any other
methodological field of operations research. Basic research goes hand
in hand with practical applications.
The successful candidate will lead the integer programming team,
currently consisting of four scientific staff and several student
assistants. The team's current core project is the development of the
GCG solver, based on the SCIP framework. You guide PhD students, both
within the team and the group at large. Your research with team
members and external parties meet international top-tier standards.
You teach in your own area of specialization and within the group's
standard teaching program. We expect you to pursue an academic career
and we fully support you in this endeavour.
You hold (or are close to the completion of) an excellent Ph.D. in
discrete mathematics, computer science, operations research, or a
related discipline. You have a profound knowledge in (computational)
mathematical optimization in theory and practice. Ideally, you combine
great mathematical talent with the ability to lead industry-driven
projects. We expect a documentation in the form of scientific
publications and successful projects. Solid implementation skills are
a must. We are happy about your experience with the SCIP framework. We
look forward to your ambition, persistence, creativity, and team
spirit. It is helpful if you are already experienced in leading a
small team and applying for third party funding.
The candidate and must meet required personal qualifications; see the
original German opening for details:
http://web-p.zhv.rwth-aachen.de/mainzhv.php?scriptid=job¶m=vorschau&nr=16556&typ=wiss
The position is to be filled as soon as possible and is for a fixed
term of 3 years; a prolongation is possible, subject to a
positive evaluation. This is a full-time vacancy.
RWTH Aachen University has been certified as a "Family Friendly University".
RWTH is committed to promoting the careers of women and therefore
looks forward to receiving applications by female candidates.
For positions in organisational units where women are
underrepresented, in cases of equal qualification, ability and
professional achievement, preference will be given to female
applicants unless reasons specific to an individual candidate tilt the
balance in his favor.
The University positively welcomes applications from suitably
qualified disabled people.
Please send your application in a *single* PDF file containing an
academic CV, list of publications, letter of motivation, research
statement, the names of two references, and any other supporting
material no later than
December 1, 2015
to
Prof. Dr. Marco Luebbecke
marco.luebbecke@rwth-aachen.de
www.or.rwth-aachen.de
Applications reaching us by the above date will receive full
consideration, however, the search remains open until the position is
filled.
Questions can be directed to the same address anytime.
--
Prof. Dr. Marco Lübbecke
RWTH Aachen University
Chair of Operations Research
Kackertstrasse 7
D-52072 Aachen
Germany
fon / fax: +49 241 80-93362 / 92369
marco.luebbecke@rwth-aachen.de
www.or.rwth-aachen.de/luebbecke
------------------------------
Message: 2
Date: Wed, 18 Nov 2015 16:38:59 +0100
From: Razieh Behjati <behjati@simula.no>
To: dmanet <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] 1st International Workshop on Formal Methods for and
on the Cloud (iFMCloud 2016): First Call for Papers
Message-ID:
<CAKTFa29=uFu=yGqsLRUZfsS5WmhFq8j9cOETbSw=Wv6F_PqZPg@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8
============================ Call for Papers =============================
iFMCloud 2016
1st International
Workshop on Formal Methods for and on the
Cloud
co-located with iFM 2016, 1-4 June 2016,
Reykjavik, Iceland
=====================================================================
Important Dates
Abstract submission deadline: February 13, 2016
Paper submission deadline: February 20, 2016
Author notifications: March 25, 2016
Camera-ready copies: April 10, 2016
Workshop date: June 4, 2016
Motivation
Cloud solutions are increasingly used for a plethora of purposes, including
solving memory-intensive and computation-intensive problems. Ensuring the
reliability, availability, scalability, and security of cloud solutions, as
networked distributed systems with properties such as dynamic reallocation
of resources, is a challenging problem that requires rigorous modeling,
analysis, and verification tools. Such tools can be devised using the
techniques provided by the formal methods community. On the other hand,
many
formal analysis and verification tools are memory-intensive and
computation-intensive solutions, which can benefit from the cloud
technology.
The goal of the iFMCloud workshop is to identify and better understand
challenges of using formal and semi-formal methods for modeling and
verification of Cloud-based systems and computer and communication
networks,
as well as challenges and opportunities in providing formal analysis and
verification as services on the Cloud. We aim to reach these goals by
bringing together researchers and practitioners from these, and other
related fields.
Topics
We particularly encourage position papers and experience reports, which
identify and structure open challenges and research questions. We are
interested in all topics related to synergies between the fields of formal
and semi-formal methods and the fields of cloud computing and computer and
communication networks, including but not limited to:
* Formal and semi-formal methods for modeling, analysis, and verification
of Cloud-based systems and computer and communication networks:
- Methods for analysis and design of cloud infrastructures
- Methods for analysis and design of cloud applications
- Modeling and verification of networked systems, in particular
SDN-based systems
- Runtime analysis, monitoring, and performance evaluation
* Formal analysis and verification as services on the Cloud
- Opportunities and challenges of providing formal analysis and
verification as services on the Cloud
- Distributed algorithms for model-checking
* Testing as a service on the Cloud
* Case studies and experience reports
* Position statements setting a research agenda for collaboration between
the formal methods community, the cloud computing community, and other
related fields
Submission guidelines
Authors are invited to submit position papers and experience reports (max 8
pages) in
EPTCS proceedings format. Submissions must be original, and will be
selected based on
the relevance to the workshop topics and the suitability to trigger
discussions. All
submissions will be reviewed by at least three members of the program
committee. We
plan to publish accepted papers in an EPTCS volume. Papers should be
submitted via
Easychair at:
https://easychair.org/conferences/?conf=ifmcloud16
Contact Information
To contact the organizers, please send an email to:
iFMCloud16-organizers@googlegroups.com
Organizing Committee
Razieh Behjati, Simula Research Laboratory, Norway
Ahmed Elmokashfi, Simula Research Laboratory, Norway
Program Committee
Eva Darulova, MPI-SWS, Germany
Fatemeh Ghassemi, University of Tehran, Iran
Arnaud Gotlieb, Simula Research Laboratory, Norway
Ernst Gunnar Gran, Simula Research Laboratory, Norway
Hossein Hojjat, Cornell University, USA
Geir Horn, University of Oslo, Norway
Andreas Kassler, Karlstad University, Sweden
Steven Latre, University of Antwerp - iMinds, Belgium
Rosario Pugliese, University of Florence, Italy
Sven-Arne Reinemo, Fabriscale Technologies, Norway
Hamideh Sabouri, Shahid Beheshti University, Iran
Jesus Escudero Sahuquillo, Technical University of Valencia, Spain
Sagar Sen, Simula Research Laboratory, Norway
Marjan Sirjani, Reykjavik University, Iceland
Martin Steffen, University of Oslo, Norway
Amirhossein Taherkordi, University of Oslo, Norway
* Please check our webpage for an updated list of PC members.
------------------------------
Subject: Digest Footer
_______________________________________________
dmanet mailing list
dmanet@zpr.uni-koeln.de
http://www.zaik.uni-koeln.de/mailman/listinfo/dmanet
------------------------------
End of dmanet Digest, Vol 93, Issue 16
**************************************
No comments:
Post a Comment