Job Description

Job Title: Senior Research Associate in Formal MethodsJob Location: Delhi, IndiaJob Location Type: On-siteJob Contract Type: Full-timeJob Seniority Level: Mid-Senior levelThis Job is based in AustraliaThe OpportunityThis opportunity is based in The Trustworthy Systems (TS) Research Group that performs world-leading work on software systems whose trustworthiness can be mathematically proved. As a Senior Research Associate you will contribute to various research activities in TS on developing proof techniques for systems software and applying these techniques to the verification of real-world software systems.This position will give you the opportunity to develop your research skills and output by contributing to the writing of scientific papers and reports for international journals, participating in conferences and workshops, assisting in the supervision of research students, and actively engaging with industry partners.The Senior Research Associate will report to Scientia Professor Gernot Heiser and has no direct reports.

• Salary, Level A - $110,059 to $117,718 per annum + 17% superannuation
• Full time
• Fixed-term contract xe2x80x93 3 years
• Location: Kensington xe2x80x93 Sydney, Australia

About UNSWUNSW isnt like other places youve worked. Yes, were a large organisation with a diverse and talented community; a community doing extraordinary things. But what makes us different isnt only what we do, its how we do it. Together, we are driven to be thoughtful, practical, and purposeful in all we do. If you want a career where you can thrive, be challenged and do meaningful work, youre in the right place.The UNSW-UTS Trustworthy Digital Society brings together experienced voices from both University and Industry with the aim to facilitate the creation of a digitally enabled society that is equitable, inclusive, and sustainable. We work towards a world where everyone can participate fully, safely and confidently in the digital world. For more information please go to - https://www.unsw.edu.au/engineering/research-technology/research-centres-institutes/trustworthy-digital-societySkills & Experience

• A PhD in computer science or a related discipline with focus on formal methods
• Experience with interactive theorem proving using Isabelle/HOL, HOL4, Coq or similar, or experience with proving security properties with model checkers or SMT solvers
• Experience with formalisation of and formal reasoning about security properties
• Familiarity with current research in formal methods, especially applied to program verification
• Demonstrated ability to undertake high quality academic research and conduct independent research with limited supervision
• Demonstrated Track record, relative to opportunity, of publications in formal methods
• Demonstrated ability to work in a team, collaborate across disciplines and build effective relationships
• Demonstrated ability to communicate and interact with a diverse range of stakeholders and students
• Evidence of highly developed interpersonal skills, initiative and enthusiasm
• An understanding of and commitment to UNSWs aims, objectives and values in action, together with relevant policies and guidelines
• Knowledge of health and safety responsibilities and commitment to attending relevant health and safety training.

Additional details about the specific responsibilities for this position can be found in the position description. This is available via JOBS@UNSW.To ApplyPlease click the apply now button and submit your CV, Cover Letter and Responses to the Skills and Experience. You should systematically address the Skills and Experience listed within the position description in your application.Applicants must have working rights in Australia and be able to be on site in Kensington regularly.Please note applications will not be accepted if sent to the contact listed below.Contact:Eugene Aves xe2x80x93 Talent Acquisition ConsultantE:Applications close: 11:55 pm (Sydney time) on Sunday 8th December 2024UNSW is committed to evolving a culture that embraces equity and supports a diverse and inclusive community where everyone can participate fairly, in a safe and respectful environment. We welcome candidates from all backgrounds and encourage applications from people of diverse gender, sexual orientation, cultural and linguistic backgrounds, Aboriginal and Torres Strait Islander background, people with disability and those with caring and family responsibilities. UNSW provides workplace adjustments for people with disability, and access to flexible work options for eligible staff. The University reserves the right not to proceed with any appointment.xefxbbxbfLifelancer ( ) is a talent-hiring platform in Life Sciences, Pharma and IT. The platform connects talent with opportunities in pharma, biotech, health sciences, healthtech and IT domains.For more details and to find similar roles, please check out the below Lifelancer link.xefxbbxbfxefxbbxbf xefxbbxbf

Lifelancer