|
Archive-name: constraints-faq/part2
Summary: Frequently asked questions about constraints
Posting-Frequency: monthly
URL: http://www.cirl.uoregon.edu/constraints/
Version: 97.07.17
Contributions and corrections should be sent to:
<constraints@cirl.uoregon.edu>
This is part 2 of the comp.constraints FAQ. Part 1 contains
introductory information, and pointers to further information.
Part 2 contains a list of upcoming conferences, and a list of
constraint-related job openings, plus related pointers for both.
NOTE: This information is updated semi-automatically from the
web pages
http://www.cirl.uoregon.edu/constraints/links/conferences.html
and
http://www.cirl.uoregon.edu/constraints/links/jobs.html
This FAQ is Copyright David Joslin, 1996, 1997. Permission to do
reasonable things not for profit is given to anyone. Anything else,
ask me.
----------------------------------------------------------------
Table of Contents:
In the first part of the FAQ:
[1-1] Introductory papers and texts
[1-2] Other related FAQs
[1-3] Acronyms
[1-4] Complexity of constraint satisfaction
[1-5] Publications
[1-6] Bibliographies
[1-7] Journals
[1-8] Mailing lists
[1-9] Newsgroups
[1-10] Benchmarks and examples
[1-11] Constraint libraries for Lisp and C
[1-12] Constraint systems
In this part of the FAQ:
[2-1] Conferences
[2-2] Constraint-related job openings
Subject: [2-1] Conferences
Calendar
================================================================
July 8-12, 1997 -- ICLP '97 <http://www.cs.kuleuven.ac.be/~iclp97> will
be held in Leuven, Belgium. (See entry below) A workshop on
logic-based composition of software
<http://www.scs.leeds.ac.uk/hill/locos.html> will be held following the
conference.
July 27-31, 1997 -- AAAI, Providence, Rhode Island. (See entry
below) There will be a Workshop on Constraints and Agents
<http://www.cs.unh.edu/ccc/ca/aaai97.html> at AAAI-97, chaired by
Eugene Freuder.
August 11-22, 1997 -- The European Summer School in Logic, Language,
and Information, ESSLLI'97 <http://www.lpl.univ-aix.fr/~esslli97> will
be held in Aix-en-Provence, France.
August 20-22, 1997 -- The 2nd international conference on the Practice
And Theory of Automated Timetabling
<http://tawny.cs.nott.ac.uk/ASAP/ttg/patat.html> will be held at the
University of Toronto.
August 23-29, 1997 -- The Fifteenth International Joint Conference on
Artificial Intelligence (IJCAI) will be held in Nagoya, Japan. (See
entry below)
August 26-29, 1997 -- Euro-Par 97 <http://www.uni-passau.de/europar97/>
will have a workshop on Symbolic Computation, for which papers on
constraint programming are invited.
September 24-26, 1997 -- The Fourth European Conference on Planning ECP
'97 <http://cswww.essex.ac.uk/conferences/ecp-97.htm> (formerlly the
European Workshop on Planning, EWSP) will be held in Toulouse, France.
October 12-17, 1997 -- The International Logic Programming Symposium
<http://www.ida.liu.se/~ilps97/> ILPS'97 will be held October 12-17,
1997 at Port Jefferson, NY.
October 16-17, 1997 -- The International Workshop on Tools and
Environments for (Constraint) Logic Programming
<http://www.clip.dia.fi.upm.es/Tools_Environ/call_for_papers.html> will
be held in association with ILPS'97.
October 16, 1997 -- The Second International Workshop on Interval
Constraints <http://web.univ-orleans.fr/~benhamou/IWIC97cfp.html> will
be held in association with ILPS'97.
October 27-28, 1997 -- The International Workshop on First-Order
Theorem Proving <http://www.logic.tuwien.ac.at/FTP97/> (FTP97) will be
held in Schloss Hagenberg, Austria, in conjunction with CP97.
October 28-30, 1997 -- The Workshop on Planning and Scheduling for
Space <http://www-aig.jpl.nasa.gov/NASA-ps97.html> will be held in
Oxnard, California.
October 29 - November 1, 1997 -- CP97
<http://www.mpi-sb.mpg.de/conferences/CP97/> will be held in Schloss
Hagenberg, Austria. (See entry below)
November 1, 1997 -- A Workshop on Industrial Constraint-Directed
Scheduling will be held in Schloss Hagenberg, Austria, in conjunction
with CP97 <http://www.mpi-sb.mpg.de/conferences/CP97/>
November 1, 1997 -- A Workshop on Constraint Reasoning on the Internet
<http://www.pst.informatik.uni-muenchen.de/personen/fruehwir/wcicp97.html>
will be held in Schloss Hagenberg, Austria, in conjunction with CP97
<http://www.mpi-sb.mpg.de/conferences/CP97/>
November 1, 1997 -- A Workshop on the Theory and Practice of Dynamic
Constraint Satisfaction
<http://www-icparc.doc.ic.ac.uk/~hhe/dcsp_workshop.html> will be held
in Schloss Hagenberg, Austria, in conjunction with CP97
<http://www.mpi-sb.mpg.de/conferences/CP97/>
November 1, 1997 -- A Workshop on Constraints and
Bioinformatics/Biocomputing will be held in Schloss Hagenberg, Austria,
in conjunction with CP97 <http://www.mpi-sb.mpg.de/conferences/CP97/>
November 4 - November 7, 1997 -- ICTAI-97
<http://cs.utep.edu/csdept/conferences/conf1.html>, the IEEE
International Conference on Tools with Artificial Intelligence, will be
held in Newport Beach, California.
December 9-11, 1997 -- The Asian Computer Science Conference
<http://www.tcs.tifr.res.in/~asian97>, has "formal reasoning and
constraints" as one of four focus areas this year. The 1997 meeting
will be held in Kathmandu, Nepal. (An alternate site for conference
information is <http://ueda.info.waseda.ac.jp/asian97>.)
March 30 - April 1, 1998 -- The 9th International Conference on
Rewriting Techniques and Applications
<http://www4.informatik.tu-muenchen.de/~rta98/> (RTA 98) will be held
in Tsukuba, Japan. (Submission deadline: September 28, 1997)
April 15-17, 1998 -- The Symposium on Combinatorial Optimization (CO98)
<http://smg.ulb.ac.be/co98>, an international biennial conference will
be hosted by the Universite Libre de Bruxelles, organized by ISRO and
SMG, Brussels.
May 15-16, 1998 -- TIME-98
<http://www.cs.fit.edu/~lina/time/time98.html> the Fifth International
Workshop on Temporal Representation and Reasoning, will be held at
Sanibel Island, Florida, conjunction with FLAIRS-98. (See entry below)
May 17-20, 1998 -- The 11th International FLAIRS Conference
<http://www-cse.uta.edu/~cook/flairs98.html> will be held at the
Sundial Beach Resort Sanibel Island, Florida. (See entry below)
Recurring conferences and workshops
================================================================
The First International Workshop on Approximate Reasoning in Scheduling
ARS'97 <http://www.dbai.tuwien.ac.at/events/ars97.html> was held in
Zurich, Switzerland in conjunction with ISFL'97 (February 12 - 14,
1997), the Second International ICSC Symposium on fuzzy logic and
applications. There is also an associated Special Issue of the
International Journal of Approximate Reasoning
<http://www.dbai.tuwien.ac.at/events/ars-si-ijar.html> on approximate
reasoning in scheduling.
The Asian Computer Science Conference
<http://www.tcs.tifr.res.in/~asian97>, has "formal reasoning and
constraints" as one of four focus areas this year. The 1997 meeting
will be held in Kathmandu, Nepal. (An alternate site for conference
information is <http://ueda.info.waseda.ac.jp/asian97>.) The 1996
meeting <http://www.iscs.nus.sg/~asian96> was held in in Singapore, and
included a Constraints and Constraint Programming workshop.
AAAI <http://www.aaai.org/Conferences/conferences.html> is held
annually (most years). AAAI-97
<http://www.aaai.org/Conferences/National/1997/aaai97.html> will be
held in Providence, Rhode Island.
The annual Constraint <http://www.sci.tamucc.edu/constraint96/>
conference is held in conjunction with FLAIRS (see separate entry).
The CONTESSA Workshop
<http://www.cirl.uoregon.edu/constraints/temp/contessa96> Constraint
Databases and their Applications, was held in Delphi, Greece.
CPP, Constraint Programming for Reasoning about Programming
<http://www.scs.leeds.ac.uk/hill/cpp97.html>.
The European Conference on AI (ECAI) is held every other year(?).
ECAI'96 <http://wwwis.cs.utwente.nl:8080/mars/ECAI96.html> was in
Budapest.
FLAIRS <http://www.cis.ufl.edu/~ddd/FLAIRS/> (Florida AI Research
Society) is an annual AI conference. Proceedings are available on-line
for Constraint '95 <http://www.sci.tamucc.edu/constraint95/> and
Constraint '96
<http://www.sci.tamucc.edu/constraint96/proceedings.html>
The French Conference on Logic and Constraint Programming is held
annually. JFPLC'97 <http://www.univ-orleans.fr/LIFO/jfplc97> was held
in Orle'ans, France.
The International Converence on Logic Programming (ICLP) is held
annually(?). ICLP '95 <http://daigo.sfc.keio.ac.jp/iei/iclp95.html>
was held in Kanagawa, Japan. ICLP '97
<http://www.cs.kuleuven.ac.be/~iclp97> will be held in Leuven, Belgium,
8-12 July 1997.
The International Conference on Principles and Practice of Constraint
Programming <http://www.cs.ualberta.ca/~ai/cp/> (CP) is held annually.
CP96 <http://web.cs.ualberta.ca:80/~ai/cp96/> was held in Cambridge,
Mass, August 1996. CP97 <http://www.mpi-sb.mpg.de/conferences/CP97/>
will be held in Schloss Hagenberg, Austria, October 29 - November 1,
1997.
The International Joint Conference on Artificial Intelligence is the
main international gathering of researchers in AI. Started in 1969, it
is held every two years, and is jointly sponsored by IJCAI Inc.
(IJCAII), and the national AI societies of the host countries. [IJCAI
<http://ijcai.org/>] IJCAI'97 <http://ijcai.org/ijcai-97/> will be held
in Nagoya, Japan.
The Joint International Conference and Symposium on Logic Programming
(?). JICSLP'96 <http://www.informatik.uni-bonn.de/~jicslp96/> was held
in Bonn.
The International Workshop on Logic Program Synthesis and
Transformation <http://www.cs.ruu.nl/docs/plilp/lopstrxx.html> (LOPSTR)
is an annual workshop.
The Practical Application of Constraint Technology Conferences
<http://www.demon.co.uk/ar/PACT/index.html> (PACT) are held annually.
"Supported by the Prolog Management Group and CompulogNet, the PACT
Conferences demonstrate the application of Constraints and Constraint
Logic Programming to industrial problems." PACT'96
<http://www.demon.co.uk/ar/PACT96/index.html> and PACT'97
<http://www.demon.co.uk/ar/TPAC> were both held in London.
The Practical Application of Prolog Conferences
<http://www.demon.co.uk/ar/PAP/index.html> (PAP) are held annually.
"Supported by The Prolog Management Group and Compulog Net, the
Practical Application of Prolog Conferences are the world's leading
showcase for Prolog applications and systems."
The International Joint Conference on the Theory and Practice of
Software Development (TAPSOFT) is held annually. TAPSOFT'97
<http://www.lifl.fr/tapsoft97> will be held in Lille, April 14-18
1997.
The TIME International Workshop
<http://www.cs.uregina.ca/~temporal/index.html> is held annually in
conjunction with FLAIRS (see separate entry).
The Uncertainty in AI <http://www.auai.org/> (UAI) conference is held
annually. UAI-96 <http://cuai-96.microsoft.com/> was held in Portland,
Oregon.
The International Workshop on Functional and Logic Programming
<http://wwwipd.ira.uka.de/~hlock/wsflp97.html> was held in
Schwarzenberg (Black Forest) in January, 1997.
General info
================================================================
For information on Prolog-related conferences, see the Prolog Home Page
<http://www.demon.co.uk/ar/Prolog/index.html>.
Past conferences
================================================================
Archives of papers, bibliographies, and descriptions of past
conferences can be found in Peggy Eaton's archive
<http://www.cs.unh.edu/ccc/archive/>.
Subject: [2-2] Constraint-related jobs
This page contains announcements of constraints-related jobs. Send
contributions and corrections to <constraints@cirl.uoregon.edu>. (I
usually don't have any way of knowing when a position has been filled,
so I would especially appreciate being notified if any of these entries
are obsolete.)
Pointers to other job listings (not specifically constraint-related)
are included at the end of this page.
----------------------------------------------------------------
Ascent Technology <http://www.ascent.com/employme.htm>, in Cambridge,
MA, has several positions open. "We develop and market powerful,
distributed software solutions to difficult resource-planning and
real-time resource-allocation, situation-assessment, and
resource-management problems in the areas of Transportation and
Logistics, Defense, and Finance."
----------------------------------------------------------------
The Artificial Intelligence Group at the Jet Propulsion Laboratory
(JPL), California Institute of Technology are seeking candidates at the
BA/BS, MA/MS and PhD level to work on fundamental research problems in
pplanning, scheduling, and operations research leading to unique
software applications in spacecraft autonomy, scientific data analysis,
and mission operations automation.
Problem areas in spacecraft autonomy target mission planning and
resource management. Ongoing applications include automated planning
of image analysis for the Galileo mission to Jupiter, automated
procedure generation for the Deep Space Network track planning, and
ground planning to support mission operations for several flight
projects. For a further description of ongoing work, interested
parties are directed to the summary article in AI Magazine Vol. 18, No.
1, Spring 1997.
To apply, send a resume and other supporting materials via e-mail to:
<job1@aig.jpl.nasa.gov> or by mail to: Dr. Steve Chien Jet Propulsion
Laboratory, MS 525-3660 California Institute of Technology Pasadena,
California 91109-8099
[24 June 97]
----------------------------------------------------------------
IC-Parc <http://www-icparc.doc.ic.ac.uk/> has recently secured funding
for 4 new positions, which it proposes to fill as soon as possible. All
the positions lie in the area of constraint programming and its
application to large scale industrial problems. The main focus is on
resource management and planning. The industrial sectors are
construction, retailing, telecommunications and oil.
Candidates should have a solid background in one or more of the
paradigms covered by constraint programming, e.g. constraint logic
programming, stochastic algorithms, mathematical programming. They
should also have some experience of solving large combinatorial
optimisation problems. The programming environment currently used in
IC-Parc, both for research and for applications development, is the
ECLiPSe platform.
For instructions on applying, see
<http://www-icparc.doc.ic.ac.uk/jobs/jobs.html>
[8 June 97]
----------------------------------------------------------------
ILOG Singapore is looking for dynamic and young consultants (1 to 5
years experience) to join its fast growing Consulting group in
Singapore. We are looling for customer oriented applicants with strong
interest in solving complex real-life resource
allocation/scheduling/optimisation problems.
The candidates should have knowledge and/or experience in any of the
following areas : Linear and Integer Programming, Heuristics, Search
techniques, Constraint Programming, Interior Point Methods, etc. In
addition, a good working knowledge in C or preferably C++ will be
required. The position will be based in Singapore and will require
some traveling in Korea, Japan or Australia. A good command of English
is mandatory.
Please send your resume to: Gosselin Vincent Director Of Consulting
Ilog Singapore 73, science park drive email: gosselin@ilog.com.sg Fax:
65-773 0439
[8 June 97]
----------------------------------------------------------------
ILOG <http://www.ilog.fr> has two openings in their Optimization
Technology group in Gentilly, France. The first position deals with
parallelism. The ideal candidate will have a strong background in
Parallel software implementation (knowledge of MPI is a plus), as well
as notions of combinatorial optimization, with a PhD or equivalent.
The second position deals with the design and enhancement of a general
purpose library for expressing optimization problems. The ideal
candidate will have a strong background in Constraint Programming or
Operations Research with a PhD or equivalent.
To apply, please send a cover letter and resume by regular or
electronic mail to Patrick Albert (albert@ilog.fr), Chief Technology
Officer of ILOG (with a cc to puget@ilog.fr)
[8 June 97]
----------------------------------------------------------------
Applications are invited for research positions at both post-doctorate
and also post-graduate level in the field of Computational Logic at the
department of Computer Science, City University. Areas of particular
research interest within this field are:
concurrent and distributed systems: specification and construction
agent based computing logic programming, constraint programming
[sequential or concurrent] tools and environments to support the design
and construction of systems program analysis, synthesis and
transformation design of logic programming languages logic-based formal
description techniques the application of computational logic to
bioinformatics
Individuals would be funded by the European Community under Marie Curie
Fellowships provided by the Training and Mobility of Researchers (TMR)
scheme of the Framework 4 programme for a maximum of 36 months
(post-grad) or 24 months (post-doc).
For further information see
<http://www.soi.city.ac.uk/homes/drg/advert-tmr.html>
[21 May 97]
----------------------------------------------------------------
At the Programming Research Group of the University of Amsterdam
(Faculty of Mathematics, Informatics, Physics and Astronomy/ Department
of Computer Science) a position is available for a JUNIOR RESEARCHER
(Assistent in Opleiding -- AIO) in the area of constraint programming.
We are currently developing a programming notation better suited for
this programming style and investigate new ways of expressing its basic
ingredients. This area is both of practical and theoretical nature.
Therefore the candidates should have either experience in programming
languages and compiler writing or a good background in uses of
mathematical logic in Computer Science.
Requirements: For this position a completed academic degree
(masters/doctoraal level) in computer science, artificial
intelliggence, or mathematics is a prerequisite. Tasks: Performing
research in the above mentioned area with as aim writing scientific
publications and completing a dissertation. Some assistance with the
courses that are being given by the Programming Research Group.
Further information on this area: prof. dr. K. Apt (phone:
(+31)20-5924135; e-mail: <apt@cwi.nl>). Applications should be sent by
e-mail to: dr. M. van den Brand (phone: (+31)20-5257593; fax:
(+31)20-5257490; <markvdb@wins.uva.nl>). Deadline for application: May
30 1997
[4/24/97]
----------------------------------------------------------------
A Chandler, Arizona company has an opening for someone with experience
using "ILOG Server constraint propagation tool." Contact Bridget Bruch
at Technisource <http://www.techni-source.com> a recruiter in Phoenix,
Arizona, and mention reference number AZ10041.
Phone 602-730-6600 / 800-826-6922
Fax 602-730-7907
EMAIL : PHO @ Techni-source.com
[14 Apr 97]
----------------------------------------------------------------
A Bay Area startup is looking for a hardware verification tool
developer to work on automated functional test generation from formal
specifications. The applicant should have a Ph.D. or equivalent
experience in Computer Science, Electrical Engineering, or Math.
Related experience might include functional and/or timing simulation,
formal verification, tool development for logic verification, logic
design, simulators; synthesizers, ATPG, compiler writing, or
constraints-solving systems.
Contact: Sharron Lawson Technical Recruiter ConneXion FAX 415.326.4501
sharron@connexn.com [ba.jobs.offered, 4/11/97]
----------------------------------------------------------------
The Enterprise Integration Laboratory at the University of Toronto is
seeking a research scientist for a 1-year contract (with strong
possibility of renewal) working in the Intelligent Scheduling Research
Group (ISRG). ISRG is a joint project of the Enterprise Integration
Laboratory and Numetrix, Ltd., a leader in the supply chain management
software industry.
The focus of the group is the exploration and application of
constraint-directed scheduling technologies to industrial scheduling,
distribution, and supply chain coordination problems. We have
developed, NumODO, a constraint-directed scheduler with the ability to
emulate a variety of state-of-the-art scheduling algorithms. NumODO
combines generative scheduling and iterative improvement under the
unifying concepts of constraints, textures, and heuristic and implied
commitments and allows direct comparison of competing techniques.
This announcement (with links to more information about EIL and ISRG)
can be found at
<http://www.ie.utoronto.ca/EIL/public/scheduling.position.html>.
[4/10/97]
----------------------------------------------------------------
The Swiss Federal Institute of Technology, Lausanne Artificial
Intelligence Laboratory (Prof. B. Faltings) is looking for Research
Assistants/Ph.D. Students with interest in one of the following
technologies: constraint programming/constraint satisfaction, spatial
reasoning, case-based reasoning, model-based and qualitative reasoning
with applications in engineering design, product configuration, and
telecommunications. Contact: Prof. Boi Faltings Artificial
Intelligence Laboratory LIA(DI), EPFL IN-Ecublens 1015 Lausanne,
Switzerland faltings@lia.di.epfl.ch [posted to csp-list, 7 Dec 96]
[reposted 10 April 97]
----------------------------------------------------------------
Infinity Technology Group Pty Ltd <http://www.infinity.com.au> is
recruiting on behalf of an Australian based client. We have three
vacancies for C and C++ constraint based A/Ps based in Sydney and
Melbourne Australia. Our client is a very respected developer of
scheduling software and wishes to add three experienced people to their
team to work on new and existing projects. Strong academic history and
at least one year of commercial experience is expected.
Applicants should respond to Rod Farrell at rfarrell@infinity.com.au.
Please attach your CV in text or MSWord 6 format.
[4/8/97]
----------------------------------------------------------------
Location: INRIA - Rocquencourt - France Employment
Type: Short term assignment Duration: 2 years with
the possibility of extension Starting date: As soon as
possible
Design and implementation of declarative interfaces for constraint
solving (CLP framework - Concurrent Constraints) and applications.
Application must be sent to: Bruno Le Dantec bruno.le_dantec@inria.fr
INRIA-Rocquencourt BP 105, F-78153 Le Chesnay Cedex, France Tel: +33 1
39635035 Fax: +33 1 39635888
The full announcement for this opening can be found at
<http://discipl.inria.fr/job.html>. More information about
INRIA-Rocquencourt and the DiSCiPl project can be found at:
<http://www-rocq.inria.fr> and <http://discipl.inria.fr>
[posted 4/3/97]
----------------------------------------------------------------
The KRAFT project is an exciting new project in Constraint Knowledge
Fusion from distributed sources involving Aberdeen, Cardiff and
Liverpool universities and BT, and coordinated by Professor P.M.D. Gray
at Aberdeen University (see EPSRC IMPACT newsletter December 96). Full
details are available via URL <http://www.csd.abdn.ac.uk/~pgray> (see
also EPSRC IMPACT newsletter December).
A vacancy has arisen at Aberdeen, and we are looking for a RESEARCH
FELLOW (1A post at upto 29 age point) for two full years, starting
around 1st JUNE 1997 (but could be later). The candidate must have a
Ph.D. in Computing or AI (or be writing up), and have published
research papers.
If you are attracted by this project and think you have the
capabilities for this post please email or Fax your CV to
pgray@csd.abdn.ac.uk by 31 MARCH. You will then be sent formal
application papers.
----------------------------------------------------------------
Solution Dynamics, Inc. (SDI) has full time positions available for
Senior Programmers and Technical Project Leaders working from various
sites around the country. Initial training and company indoctrination
will take place at our New Jersey offices. SDI is a leader in the use
of C++, object-oriented technologies to develop solutions to
constrained problems such as scheduling, configuration, routing,
resource allocation and planning.
Our staff has a background in artificial intelligence and mathematical
modeling as well as strong system development experience using OOD
methodologies and C++. They interface directly with customers to
define functional requirements, design system architecture and support
system development efforts. They usually work in small teams of one to
five people.
email: wmaximuck@compuserve.com; telephone:
(908)725-5445; fax: (908)231-0444;
----------------------------------------------------------------
The Dept. of Computation, University of Manchester - Institute of
Science and Technology (UMIST), has an opening for a post-doc in the
area of spatial and temporal databases under the project CHOROCHRONOS.
The position is available for 12-18 months, but shorter appointments
will also be considered. As part of this appointment, successful
candidates can spend 6 months at INRIA, Rocquencourt working with Dr.
Stephane Grumbach.
CHOROCHRONOS is a 3-year research program funded by the European
Commission under the Training and Mobility for Researchers program.
A major goal of Training and Mobility for Researchers (TMR) networks
is to provide an excellent environment for the training of
young researchers. For more information about CHOROCHRONOS, please see
<http://www.dbnet.ece.ntua.gr/projects/chorochronos.html>. See also
<http://www.co.umist.ac.uk/~manolis/> for previous papers in this area
by Manolis Koubarakis.
To apply, e-mail a recent CV (including list of publications and
references) to Dr. Manolis Koubarakis (manolis@co.umist.ac.uk).
----------------------------------------------------------------
Knowledge Engineering Pte Ltd, <ke@pacific.technet.sg>, has openings
for project managers and software engineers. "Recepient of the Best
Application Award (Artificial Intelligence - 1995) in the First
International Users' Conference in ILOG SOLVER & ILOG SCHEDULE in
Paris. Knowledge Engineering Pte Ltd, a premier software development
company, specializes in the application of object-oriented
technologies, Artificial Intelligence, computer graphics, wireless
communications and RDBMS to real-world problems. We develop generic
software products, undertake turnkey projects and consultancy for
clients primarily in the transportation, manufacturing and
communication-services sectors. The systems we have developed make
innovative use of state-of-the-art technologies, including graphics
capabilities, search and constraint-based optimization and other AI
techniques, wireless communications and client-server and intranet
architecture."
Knowledge Engineering Pte Ltd, Changi Airport P.O. Box 8001, Singapore
918199. fax: (65) 543 2109 [comp.constraints, 1 Feb 1997]
----------------------------------------------------------------
ILOG <http://www.ilog.com/> has openings for senior consultants. "Ilog
markets sophisticated C++ and Java software components for data
visualization and resource optimization to Global 2000 companies and
ISVs to build strategic core business applications in diverse fields
including telecommunications, manufacturing, aerospace, and finance. As
an Ilog consultant, you will work directly with customers to ensure
their success in deploying Ilog products in their applications.
Consultants work with clients both at customer sites and in our offices
at all stages of application development, including:
* Working with clients to fully understand application requirements *
Evaluating product suitability for particular applications * Writing
technical specifications for applications * Planning the development
process * Modeling business application objects using Ilog class
libraries * Writing and debugging application code * Knowledge transfer
of application to customer * Providing feedback to development teams
In addition, Ilog consultants may give training courses and provide
second-level customer support." [comp.constraints, 1/31/96]
----------------------------------------------------------------
Older job listings are here
<http://www.cirl.uoregon.edu/constraints/links/jobs-old.html>
Other links
================================================================
The Computing Research Association's list of CS jobs
<http://cra.org/jobs/> has mostly academic positions, and a mailing
list.
Computists International <http://www.computists.com/> is an
organization run by Ken Laws, who puts out several mailing lists. One
jobs mailing list is free, another requires membership but is archived
on the web page after a one-month delay.
The AI Jobs mailing list
<http://www.cs.cmu.edu/afs/cs.cmu.edu/project/ai-repository/ai/html/other/jobs/ai.html>
is maintained by Mark Kantrowitz. Also see the Lisp, Prolog, AI
postdoc and AI predoc mailing lists
<http://www.cs.cmu.edu/afs/cs.cmu.edu/project/ai-repository/ai/html/other/jobs.html>.
Patrick Tufts at Brandeis maintains a page of CS Academic Jobs
<http://www.cs.brandeis.edu/~zippy/academic-cs-jobs.html>, and a number
of related pointers.
|
Comment about this article, ask questions, or add new information about this topic: