Research Assistant/Associate in Formal Methods
$33,951–$35,608 year
On-siteNewcastle, New South Wales, Australia
Newcastle, New South Wales, AustraliaOn-siteFull Time$33,951–$35,608 yearEntry LevelDoctorate Or Professional DegreeEnterprise
Full TimeEntry LevelDoctorate Or Professional DegreeEnterprise
Job Summary
Design and develop novel formal theories and tools for software specification, verification, and analysis. Collect, analyze, and interpret research data to draw conclusions on outcomes in formal methods, program analysis, and software security. Coordinate work with others, present progress to a Principal Investigator, and disseminate results through reports, papers, and conference presentations. Contribute to grant applications and develop independent research objectives and proposals for funding.
Required Qualifications
- PhD in formal methods, program analysis, or a closely related area
- strong analytical and problem-solving abilities
- independent work capability
- ability to manage research activities effectively
- delivery of high-quality outcomes
- Experience in tool development
- solid programming skills
- expertise in functional programming languages, Rust, or Java
- Knowledge of/Ability to/Experience of formal methods, program analysis or related areas
- Proven expertise in formal methods, with experience in either security or software engineering
- Experience in programming and tool development
- Attention to detail and ability to work at high levels of accuracy
- Ability to present complex information effectively to a range of audiences
- Experience of working collaboratively with colleagues
- The ability to use personal initiative and creativity to solve research problems
- Experience of presenting research findings to academic and non-academic audiences
- Ability to work effectively both independently and as part of a multidisciplinary team
- Honours degree in Computer Science, Mathematics or a related area
- High level of analytical and problem solving capacity
- Ability to communicate complex information with clarity
- Experience of presentations at conferences and/or in high quality publications
- Demonstrated ability and willingness to travel to present the project research results to academic and non-academic audience
Desired Qualifications
- Experience in either security or software engineering
- expertise in functional programming languages, Rust, or Java
- Knowledge of summary-based and modular analysis, static program analysis, and information flow control
- Awareness of the research environment
Hiring someone like this?
Get your role in front of qualified candidates on Sorce.