Funded PhD Position in Formalizing/Verification of Golang

Job title:

Funded PhD Place in Formalizing/Verification of Golang

Firm

Job description

Supply DescriptionWe now have an thrilling alternative for PhD research on growing a proper semantics and verification surroundings for Go(lang) in Isabelle/HOL.That is a part of a brand new ‘double PhD’ programme resulting in a PhD award from the College of Exeter and the Université Paris-Saclay.Extra info and utility particulars could be discovered at:Utility deadline is the thirty first of March 2024. Please contact for extra particulars.NecessitiesAnalysis Area Pc science » Programming Schooling Degree Grasp Diploma or equalFurther InfoWork Location(s)Variety of gives out there 1 Firm/Institute College of Exeter (and Université Paris-Saclay) Nation United Kingdom GeofieldThe place to use Web siteContact Web siteE-Maila.brucker@exeter.ac.ukSTATUS: EXPIRED

Anticipated wage

Location

United Kingdom

Job date

Sat, 23 Mar 2024 04:16:08 GMT

To assist us monitor our recruitment effort, please point out in your e-mail/cowl letter the place (globalvacancies.org) you noticed this job posting.

yonnetim

Share
Published by
yonnetim

Recent Posts

Assistant Professor – Biomolecular Science

Job title: Assistant Professor - Biomolecular Science Company University of Toronto Job description Date Posted:…

16 minutes ago

Postdoctoral Research Associate in Materials Chemistry

Job title: Postdoctoral Research Associate in Materials Chemistry Company University of Manchester Job description A…

22 minutes ago

Professor of Accounting

Job title: Professor of Accounting Company University of Manchester Job description Job reference: HUM-027164Salary: CompetitiveFaculty/Organisational…

46 minutes ago

Lecturer/ Assistant/ Associate Professor – Academic Psychiatrist – Adult Neurodevelopmental Services

Job title: Lecturer/ Assistant/ Associate Professor - Academic Psychiatrist - Adult Neurodevelopmental Services Company University…

50 minutes ago

Senior Programme Associate

Overview of position International Organization for Migration (IOM) - the UN Migration Agency - is…

1 hour ago

Child Protection Officer

Job Description The fundamental mission of UNICEF is to promote the rights of every child,…

1 hour ago
If you dont see Apply Link. Please use non-Amp version