Research engineer assistant, Center for IT employment law with SINGAPORE MANAGEMENT UNIVERSITY
- Baccalaureate | Mastery
- Singapore | Closing on Jan. 27, 2022
2 year contract
Singapore Management University is a place where high-level professionalism and healthy friendliness blend. The “family” atmosphere within the SMU community fosters a culture where employees work, plan, organize and play together – creating strong collegiality and good morale within the university.
Our commitment to attract and retain talent is ongoing. We offer compelling benefits and benefits, competitive compensation packages, and generous professional development opportunities, all to meet the professional and personal needs of our staff. It is therefore not surprising that SMU continues to receive numerous awards and recognitions for the excellence of its human resources.
The work carried out will be under the direction of the PI and, where appropriate, the director of industry and the director of the center. As the program is interdisciplinary and multidisciplinary in nature, you will need to impart your expertise in the field and uplift others (and vice versa) as quickly as possible. productively, constructively and collaboratively as possible.
You may be invited to participate in the development of use cases and delivery of proof of concept prototypes for government and industry partners in the areas of calculable contracts and “rules as code”. Experience with needs analysis and agile and 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 them and develop a generalized and reusable infrastructure. We will work with specific clients so that we can build useful applications on this infrastructure. You will contribute to the design and development of open source software written to address these use cases. You will work within a team of research engineers, developers, and domain expertise and you will need to actively participate in team meetings and text communications. You will need to be active members of the applied research community, validating and contributing to advances in computer law.
You may be asked to conduct usage-inspired research under the direction of the Principal Investigator. This includes
- read academic articles, standards publications and related materials such as blog posts and presentations;
- familiarize yourself with areas that may be new to you, such as computational linguistics, mathematical logic, programming language design, formal verification, and model-based architecture;
- read (and update / comment, as appropriate) existing software documentation;
- create presentations, video recordings, walkthroughs, etc. to document and explain the research carried out;
- write (and present, if the PI so decides) academic articles and papers for publication; and
- document in sufficient detail to share what you have learned.
You will have to participate in software development; This includes
- learn how to use third-party tools, including editors, IDEs, databases, business process modeling software, programming languages, and libraries;
- assess the suitability of competing software systems;
- the construction of infrastructures to allow the development of applications;
- manage yourself and manage other team members;
- engage in the management of products, projects and programs as required;
- read books and consume other forms of media on software development;
- write documentation such as user / developer manuals, tutorials;
- provide community support to users and clients;
- prepare presentations to represent the project to external audiences; and
- write actual applications aimed at users throughout the “full stack”, in each case documenting, reporting and / or presenting the same in a clear and efficient manner, both internally and externally.
Scholars in the program should have both mastery of their academic specialty and demonstrated practical experience in producing and supporting high-quality open source code through community engagement across multiple media. Applicants should have a bachelor’s, master’s, doctorate, and alternative qualifications in computer science, software engineering, artificial intelligence (symbolic), computational linguistics or formal methods.
Proficiency in several natural languages and any legal experience is a plus.
Open Source Software & Open-Standard Infrastructure Engineering Internet ꞏ Unix ꞏ TCP / IP ꞏ HTTP (S) ꞏ XML ꞏ JSON ꞏ Schemas ꞏ YAML ꞏ Git ꞏ Github ꞏ TechnicalWriting ꞏ Developer Relations and Evangelism
Analyzers, Compilers, and Programming Language Theory Lex / YACC ꞏ alex / happy ꞏ Bison ꞏ CFG ꞏ EBNF ꞏ BNFC
Application Development Test Driven Development ꞏ Continuous Integration ꞏ Software Project Management ꞏ Agile / XP / Scrum ꞏ PairProgramming ꞏ Alphabetical Programming ꞏ Unit Testing ꞏ Amazon Web Services ꞏ Docker ꞏ Full-StackDevelopment
Computer linguistics – Natural language generation Computer semantics (in Haskell, Prolog or Lisp) ꞏ Montague semantics ꞏ Grammatical framework ꞏ Text planning ꞏ Surface realization Familiarity with: WordNet ꞏ FrameNet ꞏ SenseNet ꞏ Controlled natural languages ꞏ Controlled English attempt ꞏ ACErules
Formal verification and specification languages Some familiarity with one of the following: TLA + ꞏ Alloy IVy ꞏ Method B ꞏ Notation Z ꞏ VDM ++ ꞏ LTL ꞏ
Proof of strongly typed theorems and languages: CoQ ꞏ Agda ꞏ Idris ꞏ Lean Prover ꞏ F * ꞏ Advanced Haskell (Templateetc) ꞏ OCaml ꞏ Elm ꞏ Isabelle / HOL ꞏ StrangeLoop ꞏ Pony
Model Checkers and SAT / SMT solvers: Z3 ꞏ PAT ꞏ SMTlib ꞏ NuSMV ꞏ SPIN ꞏ Sentient
IDE, Language Workbenchs and PLT frameworks: K Framework ꞏ JetBrains MPS ꞏ IDE (Vim, Emacs, Visual Studio Code, Atom, Sublime Text) ꞏ Language Server ProtocolRule Systems and Logics
Formalization of contracts, rules and business logic: Akoma Ntoso ꞏ LegalRuleML ꞏ PetriNets ꞏ Drools ꞏ iLog ꞏ OPA ꞏ Neota Logic ꞏ Constraint Handling Rules ꞏ ICAIL ꞏ JURIX ꞏ RuleML + RR
Model-driven architecture: UML ꞏ BPMN ꞏ DMN ꞏ OCL ꞏ SBVR ꞏ Statecharts ꞏ Activity diagrams ꞏ ParnasTables
Logics: Hoare logic ꞏ Kripke structures ꞏ Modal mu-calculus ꞏ Dynamic logic ꞏ Deontic, temporal and epistemic modals ꞏ Situation calculus ꞏ Process calculations ꞏ Multivalent logics ꞏ Unreachable logic ꞏ BDI ꞏ Abductive logic ꞏ F logic ꞏ Intuitionist logic ꞏ Non-monotonic logic Skolemization ꞏ Well-founded semantics Good old-fashioned artificial intelligence and Semantic Web
Knowledge representation and reasoning: Lisp ꞏ Prolog ꞏ F-Logic ꞏ Flora-2 ꞏ Datalog ꞏ Answer-SetProgramming ꞏ Defeasible Logic ꞏ Expert Systems ꞏ DocAssemble ꞏ lps.doc.ic.ac.uk
Semantic web and ontologies: RDFa ꞏ RDFt ꞏ RDF ꞏ RIF ꞏ SWRL ꞏ OWL ꞏ Cyc ꞏ KBpedia ꞏ SUMO ꞏ UFO ꞏ Protected