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

Senior Research Associate, Formal Methods & Verification

Job in City of Edinburgh, Edinburgh, City of Edinburgh Area, EH1, Scotland, UK
Listing for: UNSW
Full Time, Contract position
Listed on 2025-12-01
Job specializations:
  • Research/Development
    Research Scientist, Research Assistant/Associate
Job Description & How to Apply Below
Location: City of Edinburgh
A leading university in the United Kingdom seeks a Research Associate/Senior Research Associate to contribute to research on software systems and formal methods. Candidates should have a PhD in a related field, experience in interactive theorem proving, and the ability to engage with industry partners. This full-time position offers a two-year fixed-term contract with competitive remuneration and effective support for academic research.
#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:
 
 
 
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