home.social
Sign in Create account

#formal_mehods — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #formal_mehods, aggregated by home.social.

  1. Achim D. Brucker @[email protected] ·

    Want to learn more about the latest developments on using AI and (interactive) theorem proving in Mathematics? Wait no longer!

    We have a great line-up of speakers at our online Workshop on AI and Theorem Provers in Mathematics. The workshop will be held online from 8th to 10th of April and attendance is free (registration required). For more details, visit the workshop website: aitpm.github.io/

    #math #itp #theoremProving #isabelleHOL #lean #llm #ai #formal_mehods #agda #hol #mathematics

    #math #itp #theoremproving #isabellehol #lean #llm
  2. Achim D. Brucker @[email protected] ·

    Do you want to do a PhD in Formal Methods and are interested in pursuing a PhD? Look no further, we have an open position leading to a joint degree from the University Paris-Sacly (France) and the University of Exeter (UK):

    Information about the programme can be found at
    * <exeter.ac.uk/study/pg-research>
    * <adum.fr/as/ed/voirproposition.>

    All applications have to be made via the ADUM system:
    <adum.fr/as/ed/voirproposition.>,
    latest on the 22nd of March 2026.

    #phd #phdposition #formal_logic #isabelleHOL #formal_mehods #joboffer #DiscreteMathematics #NumberSystems

    #phd #phdposition #formal_logic #isabellehol #formal_mehods #joboffer
  3. Achim D. Brucker @[email protected] ·

    Do you want to do a PhD in Formal Methods and are interested in pursuing a PhD? Look no further, we have an open position leading to a joint degree from the University Paris-Sacly (France) and the University of Exeter (UK):

    Information about the programme can be found at
    * <exeter.ac.uk/study/pg-research>
    * <adum.fr/as/ed/voirproposition.>

    All applications have to be made via the ADUM system:
    <adum.fr/as/ed/voirproposition.>,
    latest on the 22nd of March 2026.

    #phd #phdposition #formal_logic #isabelleHOL #formal_mehods #joboffer #DiscreteMathematics #NumberSystems

    #phd #phdposition #formal_logic #isabellehol #formal_mehods #joboffer
  4. Achim D. Brucker @[email protected] ·

    Do you want to do a PhD in Formal Methods and are interested in pursuing a PhD? Look no further, we have an open position leading to a joint degree from the University Paris-Sacly (France) and the University of Exeter (UK):

    Information about the programme can be found at
    * <exeter.ac.uk/study/pg-research>
    * <adum.fr/as/ed/voirproposition.>

    All applications have to be made via the ADUM system:
    <adum.fr/as/ed/voirproposition.>,
    latest on the 22nd of March 2026.

    #phd #phdposition #formal_logic #isabelleHOL #formal_mehods #joboffer #DiscreteMathematics #NumberSystems

    #phd #phdposition #formal_logic #isabellehol #formal_mehods #joboffer
  5. Achim D. Brucker @[email protected] ·

    Do you want to do a PhD in Formal Methods and are interested in pursuing a PhD? Look no further, we have an open position leading to a joint degree from the University Paris-Sacly (France) and the University of Exeter (UK):

    Information about the programme can be found at
    * <exeter.ac.uk/study/pg-research>
    * <adum.fr/as/ed/voirproposition.>

    All applications have to be made via the ADUM system:
    <adum.fr/as/ed/voirproposition.>,
    latest on the 22nd of March 2026.

    #phd #phdposition #formal_logic #isabelleHOL #formal_mehods #joboffer #DiscreteMathematics #NumberSystems

    #numbersystems #discretemathematics #joboffer #formal_mehods #isabellehol #formal_logic
  6. Achim D. Brucker @[email protected] ·

    Do you want to do a PhD in Formal Methods and are interested in pursuing a PhD? Look no further, we have an open position leading to a joint degree from the University Paris-Sacly (France) and the University of Exeter (UK):

    Information about the programme can be found at
    * <exeter.ac.uk/study/pg-research>
    * <adum.fr/as/ed/voirproposition.>

    All applications have to be made via the ADUM system:
    <adum.fr/as/ed/voirproposition.>,
    latest on the 22nd of March 2026.

    #phd #phdposition #formal_logic #isabelleHOL #formal_mehods #joboffer #DiscreteMathematics #NumberSystems

    #phd #phdposition #formal_logic #isabellehol #formal_mehods #joboffer