dmanet Digest, Vol 84, Issue 1

Send dmanet mailing list submissions to
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. Postdoc position: SAT, constraints, optimization (Matti Jarvisalo)
2. Post-doctoral position in Graph Theory in Halifax, Nova
Scotia (Jeannette Janssen)


----------------------------------------------------------------------

Message: 1
Date: Fri, 30 Jan 2015 13:10:35 +0000
From: "Matti Jarvisalo" <matti.jarvisalo@cs.helsinki.fi>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Postdoc position: SAT, constraints, optimization
Message-ID: <mailman.2.1422874801.19575.dmanet@zpr.uni-koeln.de>
Content-Type: text/plain; charset="utf-8"

Postdoc position: SAT, constraints, optimization The Constraint Reasoning and Optimization group, led by Dr. Matti Jarvisalo at the University of Helsinki, Finland, is looking for one or more talented and highly motivated postdoctoral researchers to work with us.

The positions are related to our current projects
-Decision Procedures for the Polynomial Hierarchy,
Boolean Optimization, and Model Counting; and -Harnessing Constraint Reasoning for Structure Discovery.

Postdoc periods from six months up to two years can be considered, with a possibility of extending the contract under mutual agreement. Starting times are negotiable, primarily within 2015. Candidates are expected to have gained their doctorate before the start of the postdoc period (not necessarily at the time of applying).

The salary of a starting postdoc is around 3300-3500 EUR per month before taxes. Health care is included, and money for traveling (to international conferences and research visits) is available.

Individuals with strong implementation skills and/or a strong theory background (ideally, a combination of both) are encouraged to apply. The research focus will be tailored to fit the background and interests of the successful applicants. Previous research experience in SAT/SMT/ASP/CP/MIP, in terms of either solver development, declarative modelling, or theoretical analysis, is expected, as witnessed e.g. by published papers in well-established international conferences (such as IJCAI, AAAI, KR, CP, SAT, UAI, IJCAR, CADE, FMCAD, TACAS, ICALP, ICAPS, ICLP, or similar) and/or related journals. To apply, please send the following information as a *single* PDF file by email to matti.jarvisalo[AT]cs.helsinki.fi .

1. CV 2. List of publications 3. Copy of PhD certificate or equivalent (or a plan for finishing the PhD) 4. Statement of research interests (at most four pages) 5. Names and contact information of at least two persons willing to provide letters of recommendation 6. Proposed postdoc period (starting time, length)

For full consideration, apply by March 2, 2015. Applications may be reviewed as they are received, and new applications will be accepted until the positions are filled.

For more information, visit the research group's webpage at http://www.hiit.fi/cosco/coreo/ (http://www.hiit.fi/cosco/coreo/) and contact the group leader Dr. Matti Jarvisalo by email; see http://www.cs.helsinki.fi/matti.jarvisalo/ (http://www.cs.helsinki.fi/matti.jarvisalo/)



------------------------------

Message: 2
Date: Fri, 30 Jan 2015 14:12:49 +0000
From: Jeannette Janssen <Jeannette.Janssen@dal.ca>
To: "DMANET@zpr.uni-koeln.de" <DMANET@zpr.uni-koeln.de>
Subject: [DMANET] Post-doctoral position in Graph Theory in Halifax,
Nova Scotia
Message-ID: <1422627168902.3425@Dal.Ca>
Content-Type: text/plain; charset="iso-8859-1"

Applications are invited for a post-doctoral position in graph theory at Dalhousie University, under the supervision of Dr. Jeannette Janssen. The position is for one year, starting September 1, 2015.

Preference will be given to candidates specializing in random graph theory, graph colouring, modelling of complex networks, or spectral graph theory, but candidates from all areas of graph theory will be considered. Candidates must have completed their PhD between 2013 and 2015.

Salary is 44K CAD. The post-doctoral fellow is expected to teach two courses.

To apply, please send your CV and the names of two references before February 28 to Jeannette.Janssen@dal.ca<mailto:Jeannette.Janssen@dal.ca>?





==============================================
Jeannette Janssen
Professor, Mathematics Director, AARMS
Dalhousie University www.aarms.math.ca
www.mathstat.dal.ca/~janssen<http://www.mathstat.dal.ca/~janssen>





------------------------------

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 84, Issue 1
*************************************