[isabelle] Fwd: position available

-------- Original-Nachricht --------
Betreff: position available
Datum: Mon, 16 Jan 2012 12:49:03 -0500
Von: Daniel Jackson <dnj at mit.edu>
An: Tobias Nipkow <nipkow at in.tum.de>

Research Scientist/Programming Position Available

The Software Design Group in MIT’s Computer Science and Artificial
Intelligence Lab (CSAIL) is hiring a Research Scientist to participate
in research and development of the Alloy language and analyzer.

Alloy (http://alloy.mit.edu) is a lightweight modeling language with an
automatic analyzer based on SAT. It has been used in a wide range of
applications in software engineering, including the design of access
control schemes, security mechanisms, network protocols, ontologies, and
so on. In addition to design analysis, Alloy has also been used for code
verification, test case generation and automatic configuration. Alloy
was introduced in 1997, and is now in version 4. Hundreds of papers have
been written describing research based on Alloy; for examples, see
http://alloy.mit.edu/applications.html. Alloy has also been taught in
dozens of university courses.

Our plan now is to take Alloy in new directions, and dramatically
improve the usability and scalability of the analyzer. We are looking
for someone who is is excited by these possibilities and will be deeply
involved not only in design and implementation but also in strategic
planning. There are also opportunities to co-advise students and
participate in research proposals.

Qualifications should include:
-- a PhD in computer science or a related field;
-- superb programming skills, preferably with experience of writing
compiler-like tools;
-- familiarity with logic and model checking;
-- a passion for design;
-- excellent communication and writing skills;
-- ability to work both independently and cooperatively with others.

Please apply online to MIT (http://jobs.mit.edu/) with resume and cover
letter, and include the following in your application (sent separately
to djresci at csail.mit.edu): (A) A list of languages and technologies
you're familiar with; (B) A short sample of something you've written in
English, and a small code sample; (C) A short answer to the question:
"If you could make one big change to the Alloy system, what would it
be?" Please reference MIT job number 00008292 in your application.

URL of position on MIT site:

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.