@adbrucker@fediscience.org avatar

adbrucker

@adbrucker@fediscience.org

Cybersecurity Prof at @UniofExeter with interest in formal methods, program analysis, testing, security & safety of complex systems.
, former Security Testing Strategist at SAP SE. http://logicalhacking.com

This profile is from a federated server and may be incomplete. Browse more on the original instance.

adbrucker, to golang
@adbrucker@fediscience.org avatar

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.

  • All
  • Subscribed
  • Moderated
  • Favorites
  • •
  • provamag3
  • ethstaker
  • DreamBathrooms
  • InstantRegret
  • magazineikmin
  • Durango
  • everett
  • rosin
  • Youngstown
  • slotface
  • love
  • khanakhh
  • kavyap
  • tacticalgear
  • megavids
  • ngwrru68w68
  • osvaldo12
  • cisconetworking
  • GTA5RPClips
  • thenastyranch
  • mdbf
  • modclub
  • cubers
  • anitta
  • tester
  • Leos
  • normalnudes
  • JUstTest
  • All magazines
    •