Discussion:
JESS: Assistant Position at University of Ulm, Computer Science, Constraint-Preogramming
Thom Fruehwirth
2011-03-15 11:40:26 UTC
Permalink
Please pass this message on to whoever you think may be interested.

DOCTORAL OR POSTDOCTORAL POSITION IN CONSTRAINT PROGRAMMING

Institute of Software Engineering and Compiler Construction, University
of Ulm, Germany

Starting Date October 1st, 2011.

The context of the position requires a basic command of German at the
time of application.

A research/teaching position is available for Ph.D. students or postdocs
at the Faculty of Computer Science, University of Ulm, Department of
Software Engineering and Compiler Construction in the area of Constraint
Programming, in particular Constraint Handling Rules (CHR). Start at
http://www.informatik.uni-ulm.de/pm/fileadmin/pm/home/fruehwirth/ for
background information.

At least a master or equivalent in computer science or strongly related
area is required. The initial appointment will be for two years,
beginning as soon as possible, with a possible renewal for another two
years.

The applicant should have knowledge and interest in one or more of the
following areas: Declarative Programming, Logic, Program Analysis,
Artificial Intelligence.

Mandatory teaching responsibilities are four lecture hours per week (in
German or English).

The position is funded by the state according to salary scheme E13 TV-L,
which means a net income of about 1750 to 2000 Euro a month (after
deduction of taxes and of mandatory health and social insurance). Flats
can be rented starting at about 500 Euro a month.

Ulm is a pleasant city of 150.000 on the Danube, close to Stuttgart,
Munich, the Alps, and Lake Konstanz. Every day life requires a basic
command of German.

Prospective applicants should email their resume with two references,
certificates, proof of German skills, and link(s) to homepage and
publications if available, to
Prof. Dr. Thom Fruehwirth, c/o Eva Englert (secretary)
***@uni-ulm.de,
by May 1st, 2011.
Also use above email for questions concerning the position.

The University of Ulm aims to increase the representation of women in
research and teaching and therefore expressly encourages female
scientists to apply. Disabled applicants with relevant qualifications
will be given priority.

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



--------------------------------------------------------------------
To unsubscribe, send the words 'unsubscribe jess-users ***@address.com'
in the BODY of a message to ***@sandia.gov, NOT to the list
(use your own address!) List problems? Notify owner-jess-***@sandia.gov.
--------------------------------------------------------------------
Thom Fruehwirth
2011-03-15 11:40:26 UTC
Permalink
Please pass this message on to whoever you think may be interested.

DOCTORAL OR POSTDOCTORAL POSITION IN CONSTRAINT PROGRAMMING

Institute of Software Engineering and Compiler Construction, University
of Ulm, Germany

Starting Date October 1st, 2011.

The context of the position requires a basic command of German at the
time of application.

A research/teaching position is available for Ph.D. students or postdocs
at the Faculty of Computer Science, University of Ulm, Department of
Software Engineering and Compiler Construction in the area of Constraint
Programming, in particular Constraint Handling Rules (CHR). Start at
http://www.informatik.uni-ulm.de/pm/fileadmin/pm/home/fruehwirth/ for
background information.

At least a master or equivalent in computer science or strongly related
area is required. The initial appointment will be for two years,
beginning as soon as possible, with a possible renewal for another two
years.

The applicant should have knowledge and interest in one or more of the
following areas: Declarative Programming, Logic, Program Analysis,
Artificial Intelligence.

Mandatory teaching responsibilities are four lecture hours per week (in
German or English).

The position is funded by the state according to salary scheme E13 TV-L,
which means a net income of about 1750 to 2000 Euro a month (after
deduction of taxes and of mandatory health and social insurance). Flats
can be rented starting at about 500 Euro a month.

Ulm is a pleasant city of 150.000 on the Danube, close to Stuttgart,
Munich, the Alps, and Lake Konstanz. Every day life requires a basic
command of German.

Prospective applicants should email their resume with two references,
certificates, proof of German skills, and link(s) to homepage and
publications if available, to
Prof. Dr. Thom Fruehwirth, c/o Eva Englert (secretary)
eva.englert-***@public.gmane.org,
by May 1st, 2011.
Also use above email for questions concerning the position.

The University of Ulm aims to increase the representation of women in
research and teaching and therefore expressly encourages female
scientists to apply. Disabled applicants with relevant qualifications
will be given priority.

--------------------------------------------------------------------------------
Thom Fruehwirth
2013-02-07 10:35:39 UTC
Permalink
Please pass this message on to whoever you think may be interested.

DOCTORAL OR POSTDOCTORAL POSITION IN DECLARATIVE PROGRAMMING

Institute of Software Engineering and Compiler Construction,
Faculty of Engineering and Computer Science,
University of Ulm, Germany

Starting Date: October 1, 2013.

A research/teaching position is available for Ph.D. students or postdocs
in the area of Constraint Programming, in particular Constraint Handling
Rules (CHR). For background information on the subject start at
http://www.informatik.uni-ulm.de/pm/fileadmin/pm/home/fruehwirth/

The applicant should have prior knowledge in one or more of the
following areas: Declarative Programming, Logic, Program Analysis,
Artificial Intelligence, and be willing to work in the field of
Constraint Handling Rules.

The context of the position requires a basic command of German at the
time of application. Applicants are expected to be fluent in English.

Mandatory teaching responsibilities are four lecture hours per week (in
German or English).

At least a master or equivalent in computer science or strongly related
area is required. The initial appointment will be for two years, with
possible renewals for up to six years and more.

The position is state-funded according to salary scheme E13 TV-L,
which means a gross salary of about 60.000 Euro per year, resulting
in a net income of about 1750 to 2000 Euro a month depending on
qualification (after deduction of taxes and of mandatory health and
social insurance). Rents for flats start at about 500 Euro a month.

Ulm is a pleasant city of 150.000 on the Danube, close to Stuttgart,
Munich, the Alps, and Lake Konstanz. Every day life requires a basic
command of German.

Prospective applicants should email their resume with two references,
certificates, proof of German language skills, and links to homepage
and publications together in a single pdf file to

Prof. Dr. Thom Fruehwirth,
c/o Ulrike Seiter (secretary)
ulrike.seiter-***@public.gmane.org
by May 1, 2013.

Also use above email address for questions concerning the position.

The University of Ulm is committed to increase the share of women in
research and
teaching positions and therefore explicitly encourages female candidates
to apply.

Job sharing is always possible for full-time positions.
Physically disabled applicants receive favourable consideration when
equally qualified.
The job appointment is made by the central university administration.

--------------------------------------------------------------------------------
Thom Fruehwirth
2014-06-23 10:37:18 UTC
Permalink
Are you logically experienced?

New books for you:

Tsang - Foundations of Constraint Satisfaction
http://books.google.com/books?id=UFmRAwAAQBAJ&dq=isbn:9783735723666
ISBN 9783735723666

Wielemaker - SWI Prolog Reference Manual
http://www.amazon.de/SWI-Prolog-Reference-Manual-7-1/dp/3735738036/
ISBN 9783735738035

Carlsson - SICStus Prolog User's Manual
http://www.amazon.de/SICStus-Prolog-Users-Manual-4-3/dp/3735737447/
ISBN 9783735737441

Frühwirth/Raiser - Constraint Handling Rules: Compilation, Execution,
and Analysis
http://www.informatik.uni-ulm.de/pm/fileadmin/pm/home/fruehwirth/chr-thesis-book.html
ISBN 9783839115916

Upcoming: Kowalski revisits Logic for Problem Solving

Best Regards,
Thom Fruehwirth, University of Ulm


This is a one-time posting only. If you want to receive more information
on such books, join the newsletter of [logical-books].
--
[logical-books] Information about high-quality scientific books and
textbooks published by researchers for researchers and students in
Computer Science and other academic fields.
---
To subscribe, send email to logical-books+subscribe-/***@public.gmane.org
Visit this group at https://groups.google.com/d/forum/logical-books
Loading...