Within the research project 'Practical Applications of Attempto Controlled English' funded by the Swiss National Science Foundation we seek applications for the open position of a PhD student. The position is available from the beginning of the year 2001 for initially 2 years. An extension by another 2 years is almost guaranteed.
Payment is SFr.
27,000 in the first year, SFr. 30,000 in the second year, and SFr. 33,000 in the following years. ACE specifications can be unambiguously translated into first-order predicate logic, and can be queried and executed to support prototyping and validation. Thus ACE makes formal methods available in familiar natural language.