[isabelle] Open position in program analysis/formal methods at DSTG Australia [SEC=UNCLASSIFIED]


The Defence Science and Technology Group, Edinburgh Australia, are looking to fill an ``S&T6 Computer Theory and Programming Specialist'' position:

Candidates must have proven ability to undertake novel research and development in the areas of dynamic and static computer program analysis, or proven ability to undertake novel research and development in formal methods with advanced understanding of compiler construction and aptitude and skills to apply this to program analysis.

There are nontrivial (e.g., citizenship) eligibility conditions for employment within Defence, including the requirement to successfully undergo the security clearance vetting process.

For more details - in particular, about how to apply -- please see



IMPORTANT: This email remains the property of the Department of Defence and is subject to the jurisdiction of section 70 of the Crimes Act 1914. If you have received this email in error, you are requested to contact the sender and delete the email.

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