Professorship in Software Engineering
Our sister department, the dept of Computer Engineering is announcing
a chair in Software Engineering. This chair is suitable for people
in the types community who are interested in (and have worked on) more
practical application of specification and verification of software.
From their description:
"The professorship will deal with methods and techniques
for the development of software, and also in industrial settings.
This includes theories and applied methods for specification,
verification and validation of functional characteristics
along with issues pertaining to quality, dependability,
security and safety.
Issues related to production, maintenance and management of
software systems are also of interest."
The full description can be found from their homepage