Senior Research Associate, Formal Methods & Verification
Job in
Via Milano, Lombardy, Italy
Listed on 2026-01-14
Listing for:
UNSW
Full Time
position Listed on 2026-01-14
Job specializations:
-
Research/Development
Research Scientist, Research Assistant/Associate, Research Analyst
Job Description & How to Apply Below
A leading research university in Australia is seeking a Research Associate/Senior Research Associate for their Trustworthy Systems Research Group. This role focuses on developing proof techniques in formal methods and contributing to significant verification projects. Ideal candidates will hold a PhD in computer science and have robust expertise in interactive theorem proving and formal verification. The position offers a comprehensive salary and benefits package.
#J-18808-Ljbffr
Position Requirements
10+ Years
work experience
Note that applications are not being accepted from your jurisdiction for this job currently via this jobsite. Candidate preferences are the decision of the Employer or Recruiting Agent, and are controlled by them alone.
To Search, View & Apply for jobs on this site that accept applications from your location or country, tap here to make a Search:
To Search, View & Apply for jobs on this site that accept applications from your location or country, tap here to make a Search:
Search for further Jobs Here:
×