Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Open position in program analysis/formal metho...


view this post on Zulip Email Gateway (Aug 22 2022 at 14:00):

From: "McCarthy, Jim (C3ID)" <Jim.McCarthy@dsto.defence.gov.au>
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

https://defencecareers.nga.net.au/?jati=3d4ceac1-8190-db9f-675a-922d0ad884df

J.

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.


Last updated: Apr 26 2024 at 12:28 UTC