- 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;
- 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 andexternally. Qualifications:
Researchers under the Programme should possess both mastery of their academic speciality, anddemonstrated practical experience producing and supporting high-quality open-source code throughcommunity engagement across multiple media. Candidates must have Bachelor\'s, Master\'s, Ph.D., oralternative 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):
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 Protg 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
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 Familiarity with: WordNet FrameNet SenseNet Controlled Natural Languages Attempto Controlled English ACErules
Parsers, Compilers, and Programming Language Theory Lex/YACC alex/happy Bison CFGs EBNF BNFC
Formal Verification and Specification Languages Some familiarity with any of: TLA+ Alloy IVy B Method Z notation VDM++ LTL CTL
App Development Test-Driven Development Continuous Integration Software Project Management Agile / XP / Scrum Pair Programming Literate Programming Unit Testing Amazon Web Services Docker Full-Stack Development
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. Singapore Management University -
Senior Research Engineer, Symbolic Ai
1 month ago
SINGAPORE MANAGEMENT UNIVERSITY Singapore Full time· : · 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 pr ...
-
Analog Designer
3 weeks ago
CHIPGLOBE ASIA PACIFIC PTE. LTD. Singapore**Job description** · - Read, understand, comment, review Architecture specifications of the module or subsystem · - Create and maintain schematic descriptions following Design guidelines (Appendix 2,3) and complying with Specifications. · - Create documentation: design specifica ...
-
E&i Revit Designer
3 weeks ago
WS ENGINEERING & FABRICATION PTE. LTD. SingaporeLead a team of drafters · Design and Prepare electrical layout, Cable Block Diagrams, Cable Tray Layout, Cable Routing Schedule, Electrical Interface Drawings Engineers · Prepare production drawings · Extract MTO from the relevant drawings. · Proficiency in Autocad / Revit / E3d ...
-
Fleet Technician
3 weeks ago
RECRUIT EXPERT PTE. LTD. SingaporeIn charge of repair, maintenance, and troubleshooting of machinery onboard. · - Conduct wiring and connection of electrical cables. · **Requirements**: · - Nitec in Electrical engineering or equivalent · - At least 2 years of experience in **electrical schematics diagrams and sym ...
-
Steel Fitter
2 weeks ago
ELITEIRON CONSTRUCTION PTE. LTD. Singapore**Job Description**: · 1. Must be able to read engineering and steel structure drawings · 3. Have to do gas cutting, Fitting works ,welding symbols · 4. Able to do assembly of structural steel parts · 5. Must have basic knowledge of fit-up inspection · 6. Able to Collaborate with ...
-
CNC Programmer
3 weeks ago
SANNET MANPOWER SERVICES Singapore**Responsibilities**: · Develop CNC programs for machining operations based on engineering drawings and specifications. · Set up and operate CNC machines to produce precision components according to production schedules. · Perform tooling selection, tool path optimization, and ma ...
-
Draftsman (Engineering) (Pj-2023-08-04)
3 weeks ago
Bok Seng Logistics Pte Ltd Singapore**Duties and Responsibilities** · - Create heavy lift & Transportation drawings · - Produce crane positioning, rigging details and arrangement · - Draw stowage plan, sea fastening plan, load out plan, Lifting plan, jacking and skidding plan · - Model 3D drawings for cargoes, cran ...
-
Fleet Engineer
4 weeks ago
PSA Marine SingaporeResponsibilities · - Organise, lead and deploy a team of Fleet Engineering Specialists to carry out maintenance and repair work of machineries and equipment onboard marine crafts; · - Update Fleet Engineering Management team on the daily manpower deployment; · - Coordinate with F ...
-
CNC Machine Setter/operator
2 weeks ago
Aurora Asia Pacific Pte Ltd SingaporeHiring CNC Miller/ CNC Turner *Gross salary $ * · Job Responsibilities: · - Assist production engineer in the setting of tools & parts onto CNC machines. · - Assist in troubleshooting production/tooling problems. · - Servicing and maintenance of the machine · - Operate and set up ...
-
CNC Machinist
2 weeks ago
SJ EMPLOYMENT AGENCIES SingaporeSet-ups and operates CNC Machines which include CNC Lathe, and Milling · - Edit the Programme. · - Quality check to confirm the dimensions are within the tolerance. · - Setups, operate and maintain all measuring equipment, tools, gages and fixtures to ensure accuracy. · - Perform ...
-
PCB Layout Design Engineer
3 weeks ago
SEARCH STAFFING SERVICES PTE. LTD. SingaporeWe are representing our client a leading information security company in search for **PCB Designer · **Responsibilities** · - Collaborate with electronics and mechanical engineers to design high-quality, high-speed, and low-noise analog printed circuit boards (PCBs). · - Execute ...
-
N-process Engineer sheet Metal
3 weeks ago
AGENSI PEKERJAAN THE SUPREME HR ADVISORY SDN. BHD. Singapore**Job Scopes & Responsibilities** · - Create CAD & technology using machine software from Turret / Laser NC programming. · - Create development drawings from customer's drawings (complicated parts & structures). · - Provide engineering support for production processes and assembl ...
-
Engineering Interns
3 weeks ago
AEM Singapore Pte Ltd SingaporeCompany · AEM Singapore Pte Ltd · Designation · Engineering Interns (Electrical, Electronic and Mechanical) · Date Listed · 23 Aug 2023 · Job Type · Entry Level / Junior Executive · - Intern/TS · Job Period · Immediate Start, For At Least 5 Months · Profession · Engineering · Ind ...
-
Welding Supervisor
3 weeks ago
ORIENTAL EMPLOYMENT PTE. LTD. Singapore**Responsibilities**: · - Must be able to perform minimum 3G position with processes of GTAW & SMAW welding, grinding, flame cutting and other relevant fabrication activities in line with welding procedures, engineering drawing, welding symbols. · - Performs welding and fit up of ...
-
Senior/staff Test Engineer Final Test Technology
3 weeks ago
Infineon Technologies SingaporeIn your new role you will: · - Responsible for developing test programs on any of the following mainstream ATE platform **(V93K, MicroFlex, J750, UltraFlex)**: · - Responsible for test migration to **new ATE test platform **, high parallelism conversion improvements and test time ...
-
Staff Engineer Final Test Technology
2 weeks ago
Infineon Technologies SingaporeIn your new role you will: · - Responsible for developing test programs on any of the following mainstream ATE platform **(V93K, MicroFlex, J750, UltraFlex)**: · - Responsible for **test migration to new ATE test platform **, high parallelism conversion improvements and test time ...
-
Survey Engineer
3 weeks ago
Acteon Group Ltd. SingaporeUTEC, part of Acteon Group, is one of the world's largest independent offshore and onshore survey providers. We provide a wide range of survey, positioning and data management services using the most advanced equipment and techniques. The data we generate provides our clients wit ...
-
Senior Survey Engineer
3 weeks ago
Acteon Group Ltd. SingaporeUTEC, part of Acteon Group, is one of the world's largest independent offshore and onshore survey providers. We provide a wide range of survey, positioning and data management services using the most advanced equipment and techniques. The data we generate provides our clients wit ...
-
Senior Cad Specialist
3 weeks ago
KBR Singapore**Title**: · Senior CAD Specialist (3D CAD Administrator) · **Responsibilities**: · - Responsible for overall CAD software management · Support Company Project Systems Integration Map and configure all CAD systems per project specifications · Develop and issue the project 3D Exec ...
-
Quality Controll Engineer
3 weeks ago
FABTEC ASIA ENGINEERING PTE. LTD. Singapore**. QAQC Inspector (Fabrication /Welding)** · **Responsibilities**: · - Preparing or establishing that a welding procedure is available, has been approved as · required by the appropriate authority and is being employed in production. · - Witnessing of welder and procedure approv ...
Senior Research Engineer, Symbolic Ai - Singapore - SINGAPORE MANAGEMENT UNIVERSITY
Description
:
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 participate in the development of use cases and delivery of proof-of-concept prototypesfor government and industry partners in the areas of computable contracts and "rules as code". Experience inrequirements 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 multipleuse cases so that we can abstract across them and develop generalized, reusable infrastructure. We will workwith 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 beexpected to actively participate in team meetings and text-based communications. You will be expected to beactive members of the applied research community, by validating and contributing to advances incomputational law.
You may be asked to conduct use-inspired research at the direction of the Principal Investigator. This includes
