-
in (some of) the following areas:• Formal analysis and modeling of mathematical problems• Formal languages (syntax, semantics, implementation, ...)• Formal logic (automated reasoning, SAT/SMT solving
Searches related to formal semantics
Enter an email to receive alerts for formal-semantics positions