Funded PhD Position in Formalizing/Verification of Golang

Job title:

Funded PhD Place in Formalizing/Verification of Golang

Firm

The College of Exeter

Job description

Job Info Organisation/FirmThe College of Exeter DivisionSchool of Engineering, Arithmetic and Bodily Sciences Analysis AreaLaptop science » ProgrammingArithmetic » Mathematical logicLaptop science » Different Researcher ProfileFirst Stage Researcher (R1) NationUnited Kingdom Software Deadline31 Mar 2024 – 23:59 (Europe/Paris) Sort of ContractDifferent Job StandingFull-time Is the job funded by means of the EU Analysis Framework Programme?Not funded by an EU programme Is the Job associated to workers place inside a Analysis Infrastructure?NoSupply 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 might be discovered at:Software deadline is the thirty first of March 2024. Please contact for extra particulars.NecessitiesAnalysis Area Laptop science » Programming Training Stage Grasp Diploma or equalExtra InfoWork Location(s)Variety of provides obtainable 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 06:16:35 GMT

To assist us observe 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

Business Development Manager (Field-based)

Job title: Business Development Manager (Field-based) Company Peninsula Employment Services Job description Base Salary: $60,000…

2 minutes ago

Assistant Professor in Asian Film and Media

Job title: Assistant Professor in Asian Film and Media Company University of Cambridge Job description…

8 minutes ago

FINANCE AND BUDGET OFFICER (Project Post)

Org. Setting and Reporting The United Nations Office at Nairobi (UNON) is the UN headquarters…

12 minutes ago

Adviser Education USA

Job Description About the United States–India Educational Foundation (USIEF)The United States–India Educational Foundation, established in…

12 minutes ago

ServiceNow Business Process and HAM Pro Consultant in Austin, Texas

ServiceNow Business Process and HAM Pro Consultant Anywhere Type: Contract Category: Business Analysis Industry: FH…

12 minutes ago

View Vacancy – Political Officer (Economics and Security) – DEN24435

The British Government is an inclusive and diversity-friendly employer.  We value difference, promote equality and…

12 minutes ago
If you dont see Apply Link. Please use non-Amp version