Principal Research Scientist, Symbolic Ai, Sol

COMPANY DESCRIPTION

Singapore Management University is a place where high-level professionalism blends together with a healthy informality. The 'family-like' atmosphere among the SMU community fosters a culture where employees work, plan, organise and play together - building a strong collegiality and morale within the university.

Our commitment to attract and retain talent is ongoing. We offer attractive benefits and welfare, competitive compensation packages, and generous professional development opportunities - all to meet the work-life needs of our staff. No wonder, then, that SMU continues to be given numerous awards and recognition for its human resource excellence.

DESIGNATION : Principal Research Scientist, Symbolic AI (1-year contract), SOL

RESPONSIBILITIES

Work done will be at the direction of the PI, and where relevant, the Industry Director and Centre Director.As the Programme is interdisciplinary and multidisciplinary by nature, you will be expected to convey yourdomain expertise and edify others (and vice versa) in as productive, constructive, and collaborative a manneras possible.

You may be asked to conduct use-inspired research at the direction of the Principal Investigator. This includes
- reading academic papers, standards publications, and related material such as blog posts andpresentations;
- coming up to speed in fields which may be new to you, such as computational linguistics, mathematicallogic, programming language design, formal verification, and model-based architecture;
- reading (and updating/commenting, relevant) existing software documentation;
- creating presentations, video recordings, walkthroughs, etc. to document and explain research work done;
- writing (and presenting, if so decided by the PI) academic papers and materials for publication; and
- documenting in a sufficiently-detailed manner so as to share what you've learned.

You will be expected to participate in software development; this includes
- learning how to use third party tools, including editors, IDEs, databases, business process modelingsoftware, programming languages, and libraries;
- evaluating competing software systems for suitability;
- managing yourself, and managing fellow team members;
- engaging in product, project, and program management as needed
- reading books and consuming such other media forms about software development;
- writing documentation such as user/developer-facing manuals, tutorials;
- delivering community support to users and customers
- preparing presentations to represent the project before external audiences; and

QUALIFICATIONS

This specialist role requires skills in the following areas (one or two in each category is sufficient):
Open-Source Software & Open-Standard Infrastructure Engineering Internet ꞏ Unix ꞏ TCP/IP ꞏ HTTP(S) ꞏ XML ꞏ JSON ꞏ Schemas ꞏ YAML ꞏ Git ꞏ Github ꞏ Technical Writing ꞏ Developer Relations and Evangelism

Programming Languages and Frameworks: Preferred: Haskell or OCaml. Python. Possible alternatives: Common Lisp ꞏ Racket ꞏ Scheme ꞏ Javascript / Typescript / Node.

Formalization of Contracts, Rules, and Business Logic: Akoma Ntoso ꞏ LegalRuleML ꞏ Petri Nets ꞏ Drools ꞏ iLog ꞏ OPA ꞏ Neota Logic ꞏ Constraint Handling Rules ꞏ ICAIL ꞏ JURIX ꞏ RuleML+RR

Semantic Web and Ontologies: RDFa ꞏ RDFt ꞏ RDF ꞏ RIF ꞏ SWRL ꞏ OWL ꞏ Cyc ꞏ KBpedia ꞏ SUMO ꞏ UFO ꞏ Protégé ꞏ or a commercial rules engine with ontology support

Model Driven Architecture: UML ꞏ BPMN ꞏ DMN ꞏ OCL ꞏ SBVR ꞏ Statecharts ꞏ Activity Diagrams ꞏ Parnas Tables Logics: Hoare

Logic ꞏ Kripke structures ꞏ Modal mu-calculus ꞏ Dynamic Logic ꞏ Deontic, Temporal, and Epistemic modals ꞏ Situation Calculus ꞏ Process Calculi ꞏ Multivalent logics ꞏ Defeasible Logic ꞏ BDI ꞏ Abductive Logic ꞏ F-Logic ꞏ Intuitionistic ꞏ Non-monotonic Logics ꞏ Skolemization ꞏ Well-Founded Semantics Good Old-Fashioned Artificial Intelligence and Semantic Web

Knowledge Representation and Reasoning: Lisp ꞏ Prolog ꞏ F-Logic ꞏ Drools ꞏ Oracle Policy Manager ꞏ Flora-2 ꞏ Datalog ꞏ Answer-Set Programming ꞏ Defeasible Logic ꞏ Expert Systems ꞏ DocAssemble ꞏ lps.doc.ic.ac.uk

Skills listed below this line are preferred but not required:
Theorem Proving and Strongly Typed Languages: CoQ ꞏ Agda ꞏ Idris ꞏ Lean Prover ꞏ F* ꞏ Advanced Haskell (Template etc) ꞏ OCaml ꞏ Elm ꞏ Isabelle/HOL ꞏ StrangeLoop ꞏ Pony

Model Checkers and SAT/SMT solvers: Z3 ꞏ PAT ꞏ SMTlib ꞏ NuSMV ꞏ SPIN ꞏ Sentient

IDEs, Language Workbenches, and PLT frameworks: K Framework ꞏ JetBrains MPS ꞏ IDEs (Vim, Emacs, Visual Studio Code, Atom, Sublime Text) ꞏ Language Server Protocol Rule Systems and Logics

Computational Linguistics - Natural Language Generation Computational Semantics (in Haskell, Prolog, or Lisp) ꞏ Montague Semantics ꞏ Grammatical Framework ꞏ Text planning ꞏ Surface realization Fa