Assistant Professor Machine Learning for Formal Reasoning and Verification

Je doet onderzoek op het snijvlak van kunstmatige intelligentie, machine learning en formeel redeneren en draagt bij aan onderwijs.

Harde eisen

• Een PhD in een relevant vakgebied zoals AI, logica, informatica of wiskunde.
• Aantoonbare academische onderwijsvaardigheden.

Arbeidsvoorwaarden

• 8% holiday allowance
• 8,3% year-end allowance

Wat je gaat doen

• Je ontwikkelt een zelfstandige onderzoekslijn binnen machine learning voor formeel redeneren en verificatie.
• Je onderzoekt onder meer geautomatiseerd redeneren, interactieve theorem proving en formele verificatie.
• Je neemt deel aan interdisciplinair onderzoek en verzorgt academisch onderwijs.

Werkomgeving

• Kantoor
• Onderwijs

Vaardigheden

• machine learning
• formal reasoning
• automated reasoning
• formal verification
• formalized mathematics
• neuro-symbolic methods
• Lean
• Rocq
• Isabelle

Talen certificaten en rijbewijzen

• University Teaching Qualification (UTQ/BKO)

Werktijden

• Dagdienst

Sollicitatieproces

• apply online via the red button
• Een gedetailleerd cv indienen.
• Een motivatiebrief indienen.
• Een publicatielijst indienen.
• De namen en e-mailadressen van twee referenten indienen.