×
Register Here to Apply for Jobs or Post Jobs. X

Senior Research Associate — Formal Methods & Verification

Job in Chicago, Cook County, Illinois, 60290, USA
Listing for: UNSW
Contract position
Listed on 2025-12-05
Job specializations:
  • Research/Development
    Research Scientist, Research Assistant/Associate
Job Description & How to Apply Below
A leading Australian university is seeking a Research Associate/Senior Research Associate to contribute to cutting-edge research in formal methods. This role involves developing proof techniques, engaging with industry partners, and enhancing research skills through publications. Candidates must have a PhD in computer science or related fields, along with experience in theorem proving and security properties. This position offers a competitive salary and a fixed-term contract of 2 years.
#J-18808-Ljbffr
Position Requirements
10+ Years work experience
To View & Apply for jobs on this site that accept applications from your location or country, tap the button below to make a Search.
(If this job is in fact in your jurisdiction, then you may be using a Proxy or VPN to access this site, and to progress further, you should change your connectivity to another mobile device or PC).
 
 
 
Search for further Jobs Here:
(Try combinations for better Results! Or enter less keywords for broader Results)
Location
Increase/decrease your Search Radius (miles)

Job Posting Language
Employment Category
Education (minimum level)
Filters
Education Level
Experience Level (years)
Posted in last:
Salary