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

Team Lead

Job title: Team Lead Company Roots Canada Job description Team LeadFanshawe - Store 562, 1965…

10 mins ago

KS2 Academic Coach

Job title: KS2 Academic Coach Company The Education Network Job description KS2 Academic Coach*** KS2…

17 mins ago

Lecturer in HND Construction Management – East London

Job title: Lecturer in HND Construction Management - East London Company Global Banking School Job…

41 mins ago

Intermediate Geotechnical Engineer with Project Management Focus

Job title: Intermediate Geotechnical Engineer with Project Management Focus Company AtkinsRéalis Job description -moving engineering…

44 mins ago

Chief Academic Officer

Job title: Chief Academic Officer Company Rapid Recruitment Services Job description Role Purpose: To provide…

1 hour ago

Food Services Leader

Job title: Food Services Leader Company Pilot Company Job description Company DescriptionPilot Company is an…

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