Bachelor\'s Degree or equivalent | Master\'s or equivalent | Doctorate or equivalent
Singapore | Closing On 17 May 2023
1-year contract
About Us
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.
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 manner as possible.
You may be asked to participate in the development of use cases and delivery of proof-of-concept prototypes for government and industry partners in the areas of computable contracts and "rules as code". Experience in requirements analysis and agile, iterative methodologies will be useful at this stage.The work of the team will be largely determined by these use cases and customers. We will work with multiple use cases so that we can abstract across them and develop generalized, reusable infrastructure. We will work with specific customers so we can build useful applications on top of that infrastructure.You will contribute to the design and development of open-source software written to serve those use cases.You will work as part of a team of research engineers, developers, and domain expertise and you will be expected to actively participate in team meetings and text-based communications. You will be expected to be active members of the applied research community, by validating and contributing to advances in computational law.
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 and presentations;
coming up to speed in fields which may be new to you, such as computational linguistics, mathematical logic, programming language design, formal verification, and model-based architecture;
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 modeling software, programming languages, and libraries;
evaluating competing software systems for suitability;
building infrastructure to enable application development;
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
writing actual user-facing applications throughout the "full stack",in each case, documenting, reporting, and/or presenting the same in clearly and efficiently, both internally and externally.
Qualifications
Researchers under the Programme should possess both mastery of their academic speciality, and demonstrated practical experience producing and supporting high-quality open-source code through community engagement across multiple media. Candidates must have Bachelor\'s, Master\'s, Ph.D., or alternative qualifications in computer science, software engineering, (symbolic) artificial intelligence,computational linguistics, or formal methods. Fluency in multiple natural languages, and any experience with law, are a plus.
This specialist role requires skills in the following areas (one or two in each category is sufficient):
Programming Languages and Frameworks: Preferred: Haskell or OCaml. Python. Possible alternatives: Common Lisp \xea\x9e\x8f Racket \xea\x9e\x8f Scheme \xea\x9e\x8f Javascript / Typescript / Node.
Formalization of Contracts, Rules, and Business Logic: Akoma Ntoso \xea\x9e\x8f LegalRuleML \xea\x9e\x8f Petri Nets \xea\x9e\x8f Drools \xea\x9e\x8f iLog \xea\x9e\x8f OPA \xea\x9e\x8f Neota Logic \xea\x9e\x8f Constraint Handling Rules \xea\x9e\x8f ICAIL \xea\x9e\x8f JURIX \xea\x9e\x8f RuleML+RR
Semantic Web and Ontologies: RDFa \xea\x9e\x8f RDFt \xea\x9e\x8f RDF \xea\x9e\x8f RIF \xea\x9e\x8f SWRL \xea\x9e\x8f OWL \xea\x9e\x8f Cyc \xea\x9e\x8f KBpedia \xea\x9e\x8f SUMO \xea\x9e\x8f UFO \xea\x9e\x8f Prot\xc3\xa9g\xc3\xa9 \xea\x9e\x8f or a commercial rules engine with ontology support
Model Checkers and SAT/SMT solvers: Z3 \xea\x9e\x8f PAT \xea\x9e\x8f SMTlib \xea\x9e\x8f NuSMV \xea\x9e\x8f SPIN \xea\x9e\x8f Sentient
IDEs, Language Workbenches, and PLT frameworks: K Framework \xea\x9e\x8f JetBrains MPS \xea\x9e\x8f IDEs (Vim, Emacs, Visual Studio Code, Atom, Sublime Text) \xea\x9e\x8f Language Server Protocol Rule Systems and Logics
Computational Linguistics - Natural Language Generation Computational Semantics (in Haskell, Prolog, or Lisp) \xea\x9e\x8f Montague Semantics \xea\x9e\x8f Grammatical Framework \xea\x9e\x8f Text planning \xea\x9e\x8f Surface realization Familiarity with: WordNet \xea\x9e\x8f FrameNet \xea\x9e\x8f SenseNet \xea\x9e\x8f Controlled Natural Languages \xea\x9e\x8f Attempto Controlled English \xea\x9e\x8f ACErules
Parsers, Compilers, and Programming Language Theory Lex/YACC \xea\x9e\x8f alex/happy \xea\x9e\x8f Bison \xea\x9e\x8f CFGs \xea\x9e\x8f EBNF \xea\x9e\x8f BNFC
Formal Verification and Specification Languages Some familiarity with any of: TLA+ \xea\x9e\x8f Alloy \xea\x9e\x8f IVy \xea\x9e\x8f B Method \xea\x9e\x8f Z notation \xea\x9e\x8f VDM++ \xea\x9e\x8f LTL \xea\x9e\x8f CTL
App Development Test-Driven Development \xea\x9e\x8f Continuous Integration \xea\x9e\x8f Software Project Management \xea\x9e\x8f Agile / XP / Scrum \xea\x9e\x8f Pair Programming \xea\x9e\x8f Literate Programming \xea\x9e\x8f Unit Testing \xea\x9e\x8f Amazon Web Services \xea\x9e\x8f Docker \xea\x9e\x8f Full-Stack Development
Other Information
#LI-JN2
Times Higher Education
Beware of fraud agents! do not pay money to get a job
MNCJobz.com will not be responsible for any payment made to a third-party. All Terms of Use are applicable.