Partagez votre expertise en informatique théorique et en décidabilité comme professeur à temps-partiel étudiant à l'Université d'Ottawa.

Cette nouvelle affectation concerne trois crédits du cours CSI3504, Introduction aux langages formels. La matière comprend les langages récursivement dénombrables, les machines de Turing et le problème de terminaison. Le cours est offert en français au campus principal, pendant le semestre d'hiver 2027.

Responsabilités clés :

- Enseigner trente-neuf heures de cours
- Traiter les langages réguliers et le théorème de Kleene
- Présenter les automates avec sortie
- Expliquer les arbres de dérivation et les formes normales
- Enseigner la décidabilité et les machines de Turing

Exigences :

- Démontrer une excellente connaissance du contenu enseigné
- Avoir enseigné des cours similaires ou posséder une expérience pertinente
- Détenir un doctorat pertinent pour les postulants réguliers
- Posséder une compétence passive en deuxième langue
- Enseigner en français selon l'horaire prévu

Votre expérience en informatique théorique soutiendra l'enseignement des automates, des grammaires, de la décidabilité et des machines de Turing.

#J-18808-Ljbffr

📌 Chargé de cours informatique théorique (Ottawa)
🏢 University of Ottawa
📍 Ottawa