2 offres de recrutement pour Automata :
Recrutement Senior Expert - Formal Modeling/Verification - Grenbole
microTECH Global - Grenoble, Isère
. Strong understanding of mathematical logic, automata theory, and formal reasoning techniques. Conduct research in the field of formal......
28 mars 2024
Recrutement Data Scientist - Python (Mid-senior, Senior)
Pathway - Paris - €50000 - 90000 per year
systems, and CI/CD. Have at least basic undergrad textbook familiarity with graph algorithms, finite automata, and text......
10 mars 2024