From: Wolfgang Ahrendt <ahrendt@chalmers.se>
To: Wolfgang Ahrendt <ahrendt@chalmers.se>
Subject: [Caml-list] [VMCAI2012] Professor/Associate professor in Formal Methods
Date: Wed, 29 Feb 2012 16:37:50 +0100 [thread overview]
Message-ID: <4F4E464E.3080007@chalmers.se> (raw)
CHALMERS University of Technology, Gothenburg, Sweden
Department of Computer Science and Engineering
Professor/Associate professor in Formal Methods
The Department has 76 faculty members and enrols about 70 PhD students
from more than 30 countries. The research spans the whole spectrum, from
theoretical underpinnings to applied systems development. There is
extensive national and international collaboration with academia and
industry all around the world.
The Division of Software Technology has around 15 faculty members and 25
postdocs and PhD students. We conduct successful research in functional
programming, automatic theorem-proving, hardware design and
verification, property-based testing of software, language-based
security, and software verification.
The scientific area of the new position is Formal Methods, interpreted
broadly so as to include at least
- formal specification, development and verification of software,
- automatic theorem-proving and model-checking,
- lightweight formal methods, including testing,
- program semantics and analysis.
Application deadline: March 22nd
For more information see that full advertisement at
http://www.chalmers.se/en/about-chalmers/vacancies/Pages/default.aspx
(Select "Professor/Associate professor in formal methods", published
17/02/2012)
reply other threads:[~2012-03-01 9:52 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=4F4E464E.3080007@chalmers.se \
--to=ahrendt@chalmers.se \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox