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. Two Ph.D. Positions in Operations Management at University of
Colorado—Boulder (Rui Zhang)
2. TAMC 2016 deadline extended to April 26, 2016 (Sun,Xiaoming)
3. PhD positions at university of Osnabrueck (Sigrid Knust)
4. Professor/Assistant Professor in Computer Science/Machine
Learning/Robotics in St.Petersburg Academic University, Saint
Petersburg, Russia (Uliana Egina)
5. Ph.D. Position in Security Modeling at IRISA in Rennes,
France (Barbara Kordy)
----------------------------------------------------------------------
Message: 1
Date: Thu, 21 Apr 2016 14:48:06 -0400
From: Rui Zhang <barryzhangr@gmail.com>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Two Ph.D. Positions in Operations Management at
University of Colorado—Boulder
Message-ID: <etPan.57192066.4921848f.fe@RUIs-MacBook-Pro.local>
Content-Type: text/plain; charset="utf-8"
Leeds School of Business at University of Colorado—Boulder invites applications for its Ph.D. program in Operations Management for Fall 2016 admissions. At least two positions are available. The ideal candidate should have a solid background in optimization, linear programming, integer programming and analysis of algorithms. Proficiency in a computer programming language (C, C++, Java, python or Matlab) is preferred.
Admitted students receive a full tuition waiver, a partial waiver of student health insurance costs, and stipend as long as they are in good standing with the department. Students work approximately 20 hours per week as research and/or teaching assistants in return for support. The 2015-2016 stipend is $25,000 for the nine-month academic year. Summer research fellowships are also available. While the continuation of financial aid is contingent on satisfactory performance, most students are funded for four years. Students may request a fifth year of funding. Fifth-year funding decisions are based a combination of factors including available funds, the student's progress in the program, and the division's support of the student. Further details about the program can be found at: http://www.colorado.edu/business/academic-programs/phd-program
Ranked as the # 5 Best Places to Live in the United States in 2015, Boulder is located at the base of the foot hills of the Rocky Mountain sat an elevation of 5,430 feet (1,655 m). The city is 25 miles (40 km) northwest of Denver. It is famous for its colorful Western history. Furthermore, the city of Boulder frequently acquires top rankings in health, well-being, quality of life, education and art. Check out the link for details: https://bouldercolorado.gov/newsroom/best-of-boulder-community-honors
Any interested candidate should email a detailed CV to "dan.zhang@colorado.edu" as soon as possible. If it is possible, personal statement, transcripts, GRE, TOEFL and three reference letters should be included as well.
If you have any questions, please contact:
Prof. Dan Zhang
Email: dan.zhang@colorado.edu
Prof. Rui Zhang
Email: rui.zhang@colorado.edu
------------------------------
Message: 2
Date: Fri, 22 Apr 2016 17:09:05 +0800
From: "Sun,Xiaoming" <sunxiaoming@ict.ac.cn>
To: <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] TAMC 2016 deadline extended to April 26, 2016
Message-ID: <006101d19c76$9faa7f00$deff7d00$@ac.cn>
Content-Type: text/plain; charset="us-ascii"
The 13th Annual Conference on Theory and Applications of Models of
Computation
http://cs.xidian.edu.cn/tamc2016/
Xi'an, China July 20-22, 2016
Welcome to The 13th annual conference on Theory and Applications of Models
of Computation (TAMC), which will take place at Xi'an, China from 20th to
22nd, July, 2016. The event is supported by School of Computer Science and
Technology and School of Cyber Engineering, Xidian University.
Venue
Tangcheng Hotel
South Hanguang Road #229
Xi'an, China
All major events take place in this building. There is a fully equipped
lecture hall with a capacity for 200 attendees as well as a series of
lecture rooms, each of which can support 50 attendees. Of course, all
participants of TAMC-16 will have free internet access during the
conference.
Important Dates
Submission deadline: 11:59 pm EST April 26, 2016
Notification of authors: May 31, 2016
Final versions deadline: June 15, 2016
Proceedings and Post Conference Publications
Proceedings of accepted papers will be published in the LNCS series. A
special issue of the Journal of Computer and System Sciences devoted to a
select set of accepted papers of the conference is planned.
Submission of Papers
Authors should submit an extended abstract (not a full paper). The
submission should contain a scholarly exposition of ideas, techniques, and
results, including motivation and a clear comparison with related work.The
length of the extended abstract should not exceed ten (10) letter-sized
pages (not including bibliography and appendices.) Submitted papers must
describe work not previously published. They must not be submitted
simultaneously to another conference with refereed proceedings.
Please be advised that TAMC will consider submissions by the PC members
(those submissions will be assigned to another PC member to be reviewed).
The submission server is now available at
https://www.easychair.org/conferences/?conf=tamc16
Conference Chair
Jianfeng Ma (Xidian University)
Zhiyong Liu (Institute of Computing Technology, Chinese Academy of Sciences)
Programme Committee Chair
Jin-Yi Cai (University of Wisconsin)
Programme Committee Co-Chairs
Jiangtao Cui (Xidian University)
Xiaoming Sun (Institute of Computing Technology, Chinese Academy of
Sciences)
Steering Committee
Manindra Agrawal
Jin-Yi Cai
Barry Cooper
John Hopcroft
Angsheng Li
Zhiyong Liu
Local Organising Committee
Jianfeng Ma http://web.xidian.edu.cn/jfma/
Jiangtao Cui http://web.xidian.edu.cn/cuijt/
Hui Li http://web.xidian.edu.cn/hli/
Aims and Scope
TAMC 2016 aims at bringing together a wide range of researchers with
interests in computational theory and applications. The main themes of the
conference are computability, complexity, algorithms, models of computation
and systems theory. Typical but not exclusive topics of interest include:
Algebraic computation
Algorithmic coding theory
Algorithmic number theory
Approximation algorithms
Automata theory
Circuit complexity
Combinatorial algorithms computability
Computational biology, and biological computing
Computational complexity [including circuits, communication,
derandomization, PCPs, proof complexity, structural complexity]
Computational game theory
Computational logic
Computational geometry
Continuous and real computation
Cryptography
Data structures
Design and analysis of algorithms
Distributed algorithms
Domain models [Assets, Price of Abstraction, frameworks]
Fixed parameter tractability
Geometric algorithms
Graph algorithms
Information and communication complexity
Learning theory
Memory hierarchy tradeoffs
Model theory for computing [modal and temporal logics, specification,
verification, synthesis or automated software construction, aesthetics,
software behavior, transformation of models]
Natural computation
Nature inspired computing
Networks in nature and society
Network algorithms optimization
Online algorithms
Parallel algorithms
Philosophy of computing [emerging paradigms, morality, intentionality]
Privacy and security
Property testing
Proof complexity
Process models [for software construction, validating software under
construction, supply-chain]
Quantum computing
Randomness pseudorandomness
Randomized algorithms
Space - time tradeoffs
Streaming algorithms
Systems theory [Concurrent, Timed, Hybrid and Secure systems]
VLSI Models of Computation [Models for Hardware - Software Co-design]
------------------------------
Message: 3
Date: Fri, 22 Apr 2016 11:20:26 +0200
From: Sigrid Knust <sknust@uos.de>
To: DMANET@zpr.uni-koeln.de
Subject: [DMANET] PhD positions at university of Osnabrueck
Message-ID: <5719ECDA.3040005@uos.de>
Content-Type: text/plain; charset=utf-8; format=flowed
The DFG Research Training Group "Combinatorial Structures in Geometry"
at the University of Osnabrueck invites applications for
7*positions for PhD candidates and *
*1 postdoctoral position.
*
The starting date for these positions is October 1st, 2016. All
positions are
within the TV-L E13 German public sector pay scale. The PhD positions
are offered at a 75% base, the contracts are given for 2 ½ year and are
planned to be extended to 3 years. The postdoctoral positions are
offered at
a 100% base and the contracts are given for 1 ½ years and are planned
to be extended to 2 years.
The central research idea behind the Graduate School concerns the
interaction of combinatorics and geometry, and collaborations between
researchers from different disciplines, such as commutative algebra,
combinatorial optimization, harmonic analysis, homotopy theory,
K-theory, and stochastic geometry. For further information we refer to
www.mathematik.uni-osnabrueck.de/graduiertenkolleg
or
Applicants for the PhD positions should hold an excellent master/diploma
degree in mathematics or computer science. Good English language skills
are mandatory. Requirements for the postdoctoral positions are an excellent
PhD in one of the mentioned areas.
The University of Osnabrueck aims at increasing the proportion of female
employees in the involved departments substantially. Therefore applications
from women are particularly welcome, and will be treated with preference
subject to equal qualification. The same applies to qualified disabled
people.
Applications should include the relevant documents (curriculum vitae,
list of publications if available, certificates of academic
qualifications), a
reference letter written by a professor and an accompanying statement
mentioning one or several research projects the applicant wants to work on
(see
http://www.mathematik.uni-osnabrueck.de/en/en/research_training_group/research_projects.html)
Applications should be sent via email in PDF format to
Prof. Dr. Matthias Reitzner: gkmath@uni-osnabrueck.de, by May 19th, 2016.
--
-------------------------------------------------------------------
Prof. Dr. Sigrid Knust
Universitaet Osnabrueck
Institut fuer Informatik
Albrechtstr. 28
D-49069 Osnabrueck
Tel.: +49 541 969 2483
Fax.: +49 541 969 2799
sigrid@informatik.uni-osnabrueck.de
http://www.informatik.uni-osnabrueck.de/knust/
-------------------------------------------------------------------
------------------------------
Message: 4
Date: Fri, 22 Apr 2016 12:33:12 +0300
From: Uliana Egina <uliana.egina@jetbrains.com>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Professor/Assistant Professor in Computer
Science/Machine Learning/Robotics in St.Petersburg Academic
University, Saint Petersburg, Russia
Message-ID:
<CABYX95Bi5tMZk35PZm265o-sxjBfaBY=G2BgQGYfprXF=Dxo6Q@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8
The Saint Petersburg Academic University of the Russian Academy of Sciences
(SPbAU RAS) is hiring full and associate professors to teach in a new
computer science program. Responsibilities include developing curriculum,
lecturing undergraduates, holding seminars and advising BSc and MSc
students on their theses and research projects. The teaching load is
expected to be 6-8 academic hours per week. Foreign candidates are welcome
as all students can study in English.
There are open positions available for each of the following subjects:
- Data Analysis and Machine Learning (with emphasis on Deep Learning)
- Robotics (Mobile Robot Programming, SLAM)
- System programming (Virtualization, Cloud Computing)
- Programming Language Theory
SPbAU was established in 1997 by the highly acclaimed physicist and Nobel
Prize laureate Zhores Alferov as a research and educational facility for
physics and IT. It is one of the very few state-accredited universities in
Russia to provide advanced BSc/MSc programs in cutting-edge computer
science fields, including bioinformatics or data science. With a lack of
bureaucracy in regards to the educational process, the academic staff at
SPbAU has exceptional flexibility in developing and updating curriculum to
keep up with the students' progress and recent advancements in the rapidly
changing world of computer science.
All students enrolled in the program stand out for their talent and great
potential, thanks to highly competitive entrance examinations. A third of
the freshmen had won prizes at the All-Russian Mathematical Olympiad for
high school students (the oldest and most reputable nationwide competition
in the country). In 2015, SPbAU had a highest average USE (Unified State
Exam) score among all Russian universities.
*Requirements*
Assistant professors:
- Ph.D. degree (Cand. Sci. for candidates from Russia and CIS countries)
- At least three publications in the last five years listed at
MathSciNet/DBLP
- Three or more years of experience in research or teaching (apart from
Ph.D. studies)
Full Professors:
-
*Ph.D. or equivalent degree (Habilitation, D. Sci. for candidates from
Russia and CIS) *
- *At least five refereed publications in the last five years listed at
MathSciNet/DBLP/Scopus/Web Of Science*
-
*5+ years of research/teaching experience (not counting Ph.D. studies) *
The salary is negotiable, with a guaranteed* lower bound* $1800/month for
associate and of $2500/month for full professor (paid in Russian rubles).
For international applicants, SPbAU will cover relocation expenses, arrange
visa and work permit, and provide lodging assistance.
All positions are funded by a grant from JetBrains Research.
If you are interested in applying for one of the positions, send your CV to
uliana.egina@jetbrains.com.
Kind regards,
Uliana Egina
Project Coordinator in Education
https://www.jetbrains.com/
The Drive to Develop
------------------------------
Message: 5
Date: Fri, 22 Apr 2016 11:35:09 +0200
From: Barbara Kordy <barbara.kordy@irisa.fr>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Ph.D. Position in Security Modeling at IRISA in
Rennes, France
Message-ID: <5719F04D.9080902@irisa.fr>
Content-Type: text/plain; charset=utf-8; format=flowed
Looking for a Ph.D. thesis that combines computer security and mathematics?
IRISA, the computer science laboratory of Rennes in France, seeks to
hire an
outstanding Ph.D. student to perform research in the field of formal
modeling
and analysis of security. The position is within the project entitled
"Attack-Defense Trees for Computer Security: Formal Modeling of
Preventive and
Reactive Countermeasures".
Description of work
---------------------
Attack-defense trees constitute a methodology to represent how an attacker
may compromise a system and how a defender can protect it against potential
attacks. The project's objective is to increase the expressive power of
attack-defense trees by integrating reactive countermeasures into the
formalism.
The main tasks of the Ph.D. student will be to
- Develop mathematical foundations for attack-defense trees distinguishing
between protective and reactive countermeasures;
- Propose quantitative evaluation techniques for attack-defense trees with
protective and reactive countermeasures;
- Validate the extended model in real-life case studies performed in
collaboration
with industry;
- Co-supervise master students.
A detailed description of the thesis topic is available at
http://people.irisa.fr/Barbara.Kordy/vacancies.php
Candidate's profile
--------------------
The candidate is expected to have:
- A Master degree in computer science or mathematics;
- A proven interest in formal methods and formal modeling;
- Excellent written and oral English skills.
Background in computer security will be a plus. Knowledge of French is
not required.
Work environment
-----------------
We offer a three year appointment funded by the French Ministry of Higher
Education and Research. The successful candidate will participate in the
activities of the Embedded Security and Cryptography (EMSEC) research team
(http://www.irisa.fr/emsec/) co-led by Prof. Dr. Gildas Avoine and Prof.
Dr.
Pierre-Alain Fouque. The student will be supervised jointly by Dr. Barbara
Kordy (http://people.irisa.fr/Barbara.Kordy/) and Prof. Gildas Avoine
(http://www.avoine.net/).
IRISA (https://www.irisa.fr/en) is located in Rennes at the heart of the
beautiful Brittany region in the north-west of France. Rennes is situated
60km from the Atlantic Ocean, 60km from the UNESCO World Heritage Site of
Mont Saint-Michel, and 70km from the charming city of Saint Malo. Direct
high-speed rail service (TGV) connects Rennes with the center of Paris
within 2 hours and with the France's largest international airport
Paris Charles de Gaulle (CDG) within 3 hours.
Application
---------------
Applications should be written in English and include the following
documents:
- Motivation letter clearly explaining the candidate's interest in the
proposed
topic and his/her fit to the position;
- Curriculum Vitae (including contact information, education and work
experience,
short description of the master thesis, list of publications, etc.);
- Transcript of grades from all university-level courses taken;
- Contact information for 2 referees.
Applications will be considered on a rolling basis until the position is
filled.
Documents should be submitted by e-mail to Dr. Barbara Kordy
(barbara.kordy@irisa.fr).
Contact information
-----------------------
For further inquiries please contact Dr. Barbara Kordy
(barbara.kordy@irisa.fr)
For more information about this vacancy please check
http://people.irisa.fr/Barbara.Kordy/vacancies/PhD_16.pdf
------------------------------
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 98, Issue 22
**************************************
No comments:
Post a Comment