adbrucker, 2 months ago to golang We have an exciting opportunity for PhD study with myself and Prof. Burkhart Wolff form the Université Paris-Saclay on developing a formal semantics for Go (lang) in Isabelle/HOL. This new 'double PhD' programme leading to a PhD award from both universities. More information and application details at: https://www.exeter.ac.uk/study/pg-research/funding/phdfunding/paris-saclay/ and https://adum.fr/as/ed/voirproposition.pl?site=adumR&matricule_prop=53822#version (application deadline: 31st of March 2024). Please contact me for more details. #Isabelle #PhD #FediHire #Golang #Verification #ITP #Semantics
We have an exciting opportunity for PhD study with myself and Prof. Burkhart Wolff form the Université Paris-Saclay on developing a formal semantics for Go (lang) in Isabelle/HOL. This new 'double PhD' programme leading to a PhD award from both universities. More information and application details at: https://www.exeter.ac.uk/study/pg-research/funding/phdfunding/paris-saclay/ and https://adum.fr/as/ed/voirproposition.pl?site=adumR&matricule_prop=53822#version (application deadline: 31st of March 2024). Please contact me for more details. #Isabelle #PhD #FediHire #Golang #Verification #ITP #Semantics
NullNoMore, 2 months ago to AnimalCrossing This #VGMWednesday is an open theme. Mods are asleep, time to post Doom Crossing: Eternal Horizons. #AnimalCrossing #Doom #TheyAreBestiesYourHonor #Isabelle https://youtu.be/QydzTeVCeAA
This #VGMWednesday is an open theme. Mods are asleep, time to post Doom Crossing: Eternal Horizons.
#AnimalCrossing #Doom #TheyAreBestiesYourHonor #Isabelle
https://youtu.be/QydzTeVCeAA
SirTapTap, 4 months ago to Nintendo Today's #nintendo #merch featuring commando #isabelle I'm not kidding she is completely fur colored down there 🫡 shine on you crazy diamond
Today's #nintendo #merch featuring commando #isabelle
I'm not kidding she is completely fur colored down there 🫡 shine on you crazy diamond
rml, 7 months ago to random Explaining the #seL4 integrity theorems https://www.youtube.com/watch?v=fyF9w_CsCEU #hol #microkernel #os #formalmethods #isabelle
Explaining the #seL4 integrity theorems
https://www.youtube.com/watch?v=fyF9w_CsCEU #hol #microkernel #os #formalmethods #isabelle
SaddlerFan, 7 months ago to AnimalCrossing I need this 😍 #AnimalCrossing #LEGO #Gaming #ShareYourGames #TomNook #Isabelle
I need this 😍 #AnimalCrossing #LEGO #Gaming #ShareYourGames #TomNook #Isabelle
Pdragos, 8 months ago to hiring (Hashtag spam below, hoping to get this in front of the right folks). The company I've worked at for the last two years, MLabs, is #hiring a #formalmethods engineer, looking for experience in #IsabelleHOL #isabelle, #kind2, and #lustre. Fully remote. Reach out if you are interested! https://apply.workable.com/mlabs/j/DC4D36FC1D/
(Hashtag spam below, hoping to get this in front of the right folks).
The company I've worked at for the last two years, MLabs, is #hiring a #formalmethods engineer, looking for experience in #IsabelleHOL #isabelle, #kind2, and #lustre. Fully remote.
Reach out if you are interested!
https://apply.workable.com/mlabs/j/DC4D36FC1D/
mdmrn, 1 year ago to random Remember the time I asked a friend of mine to send me a green Power Helmet in #AnimalCrossing just so I could take a quick #meme shot of me as #DoomGuy next to #Isabelle? Fun times. Tags: #ACNH #VideoGames #Doom #NintendoSwitch
Remember the time I asked a friend of mine to send me a green Power Helmet in #AnimalCrossing just so I could take a quick #meme shot of me as #DoomGuy next to #Isabelle?
Fun times.
Tags: #ACNH #VideoGames #Doom #NintendoSwitch