Total 38 Junior Executive level Science / R&D / Research job vacancies in GBR Norfolk Hewett Road

• Maintain cleanliness of the two labs and the equipment  Arrange for feeding of the fish in the aquaponics system (both indoor and outdoor), pond at eco-garden
• Stock-take of equipment at least twice a year
• Assist in the inventory taking when the external audit asset team comes by
• Assist teachers in the lab during lab sessions if required
• Assist teachers in innovative learning lab for Science-related activities whenever possible including setting up of projector to play video in canteen during recess time
• Assist teachers in preparation of activities for Environmental and Science club
• Look into the display and loaning of Science books to the students on an ad-hoc basis, either in lab or in the canteen
• Help to assist in recess activities during Science department events such as integrated learning week
• Help to assist during Science practical test days, will be required to work longer on some days in Term 2 to prepare and to assist during the days. (Up till 2:30pm, 2 – 3 days prior and after the practical test days)

Qualification:

• Min GCE ‘O’ or ‘A’ Level
• Have experience working in similar work environment (prior working experience in a school will be an added advantage)
• Working Hrs: Mondays to Fridays: 8:00am to 1:30pm

The Services required are set out as follows:

a) Assist in the daily operations of the assigned science laboratories, science gardens, aquaponics, hydroponics and pond.

b) Responsible for the setup, clean up and general maintenance of the science laboratories and Science Areas.

c) Responsible for the cleanliness of the Recycling Corner.

d) Assist in preparation of laboratory apparatus, equipment and teaching materials for scheduled laboratory activities.

e) Assist in stock taking exercise and maintenance of equipment.

f) Typing of worksheets and notes.

g) Supporting and assisting in departmental events, activities and programmes.

h) Any other duties assigned by the School.

Requirement

Experience working in School's Science lab

To be able to do gardening

• Mondays to Thursdays: 7:30am to 1:30pm, inclusive of 30 mins lunch break

• Fridays: 7:30am to 3:30pm, inclusive of 1 hour lunch break

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.

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 manner as 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

• 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;
• 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 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.

The first set of tasks will involve the following specific assignments:

• Expressing decision logic using DMN/FEEL
• Evaluating the rule engine API
• Encoding existing materials in L4 for open source distribution
• Building interactive UIs using HTML, CSS, JavaScript and Python

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.

Minimum qualifications:

Open-Source Software & Open-Standard Infrastructure EngineeringInternet Unix TCP/IP HTTP(S) XML JSON Schemas YAML Git Github TechnicalWriting Developer Relations and Evangelism

Parsers, Compilers, and Programming Language TheoryLex/YACC alex/happy Bison CFGs EBNF BNFC

App DevelopmentTest-Driven Development Continuous Integration Software Project Management Agile / XP / Scrum PairProgramming Literate Programming Unit Testing Amazon Web Services Docker Full-StackDevelopment

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

Computational Linguistics Natural Language GenerationComputational Semantics (in Haskell, Prolog, or Lisp) Montague Semantics Grammatical Framework Textplanning Surface realizationFamiliarity with: WordNet FrameNet SenseNet Controlled Natural Languages Attempto ControlledEnglish ACErules

Formal Verification and Specification LanguagesSome familiarity with any of: TLA+ Alloy IVy B Method Z notation VDM++ LTL

Preferred qualifications:

Theorem Proving and Strongly Typed 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

IDEs, Language Workbenches, and PLT frameworks: K Framework JetBrains MPS IDEs (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, andEpistemic modals Situation Calculus Process Calculi Multivalent logics Defeasible Logic BDI AbductiveLogic F-Logic Intuitionistic Non-monotonic Logics Skolemization Well-Founded SemanticsGood 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 Protg

#LI-JN2

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.

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 manner as 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

• 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;
• 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 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.

Researchers under the Programme should possess both mastery of their academic speciality, and demonstrated practical experience producing and supporting high-quality open-source code throughcommunity 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.

Minimum qualifications:

Open-Source Software & Open-Standard Infrastructure EngineeringInternet Unix TCP/IP HTTP(S) XML JSON Schemas YAML Git Github TechnicalWriting Developer Relations and Evangelism

Parsers, Compilers, and Programming Language TheoryLex/YACC alex/happy Bison CFGs EBNF BNFC

App DevelopmentTest-Driven Development Continuous Integration Software Project Management Agile / XP / Scrum PairProgramming Literate Programming Unit Testing Amazon Web Services Docker Full-StackDevelopment

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

Computational Linguistics Natural Language GenerationComputational Semantics (in Haskell, Prolog, or Lisp) Montague Semantics Grammatical Framework Textplanning Surface realizationFamiliarity with: WordNet FrameNet SenseNet Controlled Natural Languages Attempto ControlledEnglish ACErules

Formal Verification and Specification LanguagesSome familiarity with any of: TLA+ Alloy IVy B Method Z notation VDM++ LTL

Preferred qualifications:

Theorem Proving and Strongly Typed 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

IDEs, Language Workbenches, and PLT frameworks: K Framework JetBrains MPS IDEs (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, andEpistemic modals Situation Calculus Process Calculi Multivalent logics Defeasible Logic BDI AbductiveLogic F-Logic Intuitionistic Non-monotonic Logics Skolemization Well-Founded SemanticsGood 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 Protg

#LI-JN2

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.

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 manner as 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

• 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;
• 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 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.

Researchers under the Programme should possess both mastery of their academic speciality, and demonstrated practical experience producing and supporting high-quality open-source code throughcommunity 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.

Minimum qualifications:

Open-Source Software & Open-Standard Infrastructure EngineeringInternet Unix TCP/IP HTTP(S) XML JSON Schemas YAML Git Github TechnicalWriting Developer Relations and Evangelism

Parsers, Compilers, and Programming Language TheoryLex/YACC alex/happy Bison CFGs EBNF BNFC

App DevelopmentTest-Driven Development Continuous Integration Software Project Management Agile / XP / Scrum PairProgramming Literate Programming Unit Testing Amazon Web Services Docker Full-StackDevelopment

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

Computational Linguistics Natural Language GenerationComputational Semantics (in Haskell, Prolog, or Lisp) Montague Semantics Grammatical Framework Textplanning Surface realizationFamiliarity with: WordNet FrameNet SenseNet Controlled Natural Languages Attempto ControlledEnglish ACErules

Formal Verification and Specification LanguagesSome familiarity with any of: TLA+ Alloy IVy B Method Z notation VDM++ LTL

Preferred qualifications:

Theorem Proving and Strongly Typed 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

IDEs, Language Workbenches, and PLT frameworks: K Framework JetBrains MPS IDEs (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, andEpistemic modals Situation Calculus Process Calculi Multivalent logics Defeasible Logic BDI AbductiveLogic F-Logic Intuitionistic Non-monotonic Logics Skolemization Well-Founded SemanticsGood 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 Protg

#LI-JN2

Part-Time Research Assistant Wanted – Immediate Start!

We are seeking a motivated and skilled Part-Time Research Assistant to support several ongoing research projects on a part-time, project-based basis. If you have a passion for research and possess the following skills, we would love to hear from you!

Key Responsibilities

· Develop theory-grounded survey questionnaires

· Conduct quantitative data analysis, with a focus on Structural Equation Modeling (SEM) using SmartPLS

· Write up SEM results and provide clear, insightful interpretations

· Perform data analysis using SPSS and create comprehensive SPSS results write-ups

· Work with Qualtrics to create surveys, extract and prepare data for analysis

· Conduct in-depth and comprehensive literature reviews

Requirements

· Proficiency in SmartPLS and SPSS is essential

· Experience in developing research surveys on Qualtrics

· Strong analytical and report-writing skills

· Prior experience in conducting literature reviews and synthesizing academic sources

Compensation

• Science Laboratory cum Art Assistant (1 pax)
• Attend to operational and maintenance matters in Science Laboratories & Art Rooms;
• Operate simple life science equipment;
• Prepare and set up equipment and assist teachers in conducting experiment;
• Prepare materials for Art lessons;
• Maintains and updates data records including stocktaking of resources;
• Perform other general administrative duties e.g. filing and typing;
• Provide assistance in any other duties as assigned by the school and/or department.

Qualification

• Preferably a GCE ‘O’ Level qualification.
• At least 3 years experience working in similar capacity in a primary school environment.
• Proficient in Microsoft Office skills (Microsoft Word, Microsoft Excel, Microsoft Powerpoint).

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.

RESPONSIBILITIES

The RA will work with the Director to promote the Institute's research, branding, and outreach-related initiatives. The job scope involves:

• Compiling databases of existing reports and other supporting materials, identifying and approaching potential interviewees, conducting interviews alongside the Director, transcribing interviews, and developing the report.
• Conducting literature reviews, developing sampling networks, and interview transcription. An ability to conduct bibliometric analyses is preferred, but not mandatory.
• Organising events (lectures, workshops and seminars), arranging meetings with Pillar Leads and Urban Fellows, taking minutes and other ad hoc tasks.

• The Research Assistant (RA) position requires a Bachelor's degree in a social science discipline, ideally with a focus on/major in urban studies or a related field.
• The successful applicant will ideally have:
  • Some experience conducting qualitative research, preferably amongst senior stakeholders.
  • Excellent writing and communication skills.
  • Be organised, detail-oriented and motivated to learn.
  • A demonstrated interest in issues related to cities, urban transformation, and Southeast Asia.

• To prepare apparatus and set-ups and render help to teachers during Science Experiments in the labortory
• To do stock take twice a year
• To maintain cleanliness and neatness in the science lab
• To take care of science corners (gardens)
• To help teachers in the Science activities during recess time
• To help with recycling programme on Thursdays

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.

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 manner as 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

• 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;
• 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 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.

Researchers under the Programme should possess both mastery of their academic speciality, and demonstrated practical experience producing and supporting high-quality open-source code throughcommunity 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.

Minimum qualifications:

Open-Source Software & Open-Standard Infrastructure EngineeringInternet Unix TCP/IP HTTP(S) XML JSON Schemas YAML Git Github TechnicalWriting Developer Relations and Evangelism

Parsers, Compilers, and Programming Language TheoryLex/YACC alex/happy Bison CFGs EBNF BNFC

App DevelopmentTest-Driven Development Continuous Integration Software Project Management Agile / XP / Scrum PairProgramming Literate Programming Unit Testing Amazon Web Services Docker Full-StackDevelopment

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

Computational Linguistics Natural Language GenerationComputational Semantics (in Haskell, Prolog, or Lisp) Montague Semantics Grammatical Framework Textplanning Surface realizationFamiliarity with: WordNet FrameNet SenseNet Controlled Natural Languages Attempto ControlledEnglish ACErules

Formal Verification and Specification LanguagesSome familiarity with any of: TLA+ Alloy IVy B Method Z notation VDM++ LTL

Preferred qualifications:

Theorem Proving and Strongly Typed 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

IDEs, Language Workbenches, and PLT frameworks: K Framework JetBrains MPS IDEs (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, andEpistemic modals Situation Calculus Process Calculi Multivalent logics Defeasible Logic BDI AbductiveLogic F-Logic Intuitionistic Non-monotonic Logics Skolemization Well-Founded SemanticsGood 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 Protg

#LI-JN2

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.

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 manner as 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

• 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;
• 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 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.

The first set of tasks will involve the following specific assignments:

• Expressing decision logic using DMN/FEEL
• Evaluating the rule engine API
• Encoding existing materials in L4 for open source distribution
• Building interactive UIs using HTML, CSS, JavaScript and Python

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.

Minimum qualifications:

Open-Source Software & Open-Standard Infrastructure EngineeringInternet Unix TCP/IP HTTP(S) XML JSON Schemas YAML Git Github TechnicalWriting Developer Relations and Evangelism

Parsers, Compilers, and Programming Language TheoryLex/YACC alex/happy Bison CFGs EBNF BNFC

App DevelopmentTest-Driven Development Continuous Integration Software Project Management Agile / XP / Scrum PairProgramming Literate Programming Unit Testing Amazon Web Services Docker Full-StackDevelopment

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

Computational Linguistics Natural Language GenerationComputational Semantics (in Haskell, Prolog, or Lisp) Montague Semantics Grammatical Framework Textplanning Surface realizationFamiliarity with: WordNet FrameNet SenseNet Controlled Natural Languages Attempto ControlledEnglish ACErules

Formal Verification and Specification LanguagesSome familiarity with any of: TLA+ Alloy IVy B Method Z notation VDM++ LTL

Preferred qualifications:

Theorem Proving and Strongly Typed 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

IDEs, Language Workbenches, and PLT frameworks: K Framework JetBrains MPS IDEs (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, andEpistemic modals Situation Calculus Process Calculi Multivalent logics Defeasible Logic BDI AbductiveLogic F-Logic Intuitionistic Non-monotonic Logics Skolemization Well-Founded SemanticsGood 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 Protg

#LI-JN2

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.

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 manner as 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

• 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;
• 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 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.

Researchers under the Programme should possess both mastery of their academic speciality, and demonstrated practical experience producing and supporting high-quality open-source code throughcommunity 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.

Minimum qualifications:

Open-Source Software & Open-Standard Infrastructure EngineeringInternet Unix TCP/IP HTTP(S) XML JSON Schemas YAML Git Github TechnicalWriting Developer Relations and Evangelism

Parsers, Compilers, and Programming Language TheoryLex/YACC alex/happy Bison CFGs EBNF BNFC

App DevelopmentTest-Driven Development Continuous Integration Software Project Management Agile / XP / Scrum PairProgramming Literate Programming Unit Testing Amazon Web Services Docker Full-StackDevelopment

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

Computational Linguistics Natural Language GenerationComputational Semantics (in Haskell, Prolog, or Lisp) Montague Semantics Grammatical Framework Textplanning Surface realizationFamiliarity with: WordNet FrameNet SenseNet Controlled Natural Languages Attempto ControlledEnglish ACErules

Formal Verification and Specification LanguagesSome familiarity with any of: TLA+ Alloy IVy B Method Z notation VDM++ LTL

Preferred qualifications:

Theorem Proving and Strongly Typed 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

IDEs, Language Workbenches, and PLT frameworks: K Framework JetBrains MPS IDEs (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, andEpistemic modals Situation Calculus Process Calculi Multivalent logics Defeasible Logic BDI AbductiveLogic F-Logic Intuitionistic Non-monotonic Logics Skolemization Well-Founded SemanticsGood 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 Protg

#LI-JN2

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.

RESPONSIBILITIES

The SMU Urban Institute, launched in early 2024, is a university-level research institute dedicated to advancing an interdisciplinary research agenda. Leveraging SMU's strategic position as a dynamic management university in Singapore's city centre, the Institute aims to make a meaningful impact through the study of Asian cities. We are currently seeking individuals with specific skillsets to support the various ongoing research projects at the Institute.

The candidate will be responsible for collecting, compiling, and linking together the datasets related toindividual-level consumption, transportation networks, traffic, population, and Point-of-Interest data aboveinto a single dataset that is suitable for empirical data analysis. The candidate is also expected to carryout preliminary data analytics and contribute to modeling works.The candidate's core responsibilities are:

a) Data collection

b) Dataset compilation and maintenance

c) Data analytics

d) Solving and simulating quantitative spatial models

• Bachelor's or master's degree in economics or finance.
• Previous research experience, especially in urban and regional economics, is highly preferred.
• Solid theoretical background in economics;
• Familiar with theories in urban and regional economics;
• Proficiency in statistical toolbox, preferably Stata;
• Proficiency in numerical analysis in MATLAB, FORTRAN, C, or Julia;
• Experience in working with large datasets;
• (Optional) Experience in working with *nix workstations.
• This position is only expected to commence in March 2025

#LI-XL1

Working Location:Caldecott
Contract Duration: 6 Months Contract
Working Hours: Monday – Thursday: 8.30am – 6pm, Friday: 8.30am – 5.30pm

Basic Salary: $2,980 per month

Responsibilities:

· Conduct activities and interview PwDs.

· Review and synthesize the literature for research, manage and analyse data

· Perform administration duties including documenting notes, arranging appointments, preparing materials for submitting reports.

· Carry out any other duties as assigned.

Job Requirements:

· Bachelor’s Degree in Psychology / Social Work / Social Sciences or other relevant disciplines.

· Comfortable working with PwDs and their families.

· Proficient in SPSS, R or Python

· Immediate Starters are preferred

Interested candidates, please forward a copy of your resume to: justin.lee@tg-hr.com.

We regret to inform that only shortlisted candidates will be notified.

Justin Lee
Registration No: R22107715
APBA TG Human Resource Pte Ltd
EA License: 14C7275

Job Scope:

• Assist in preparation of information sheets, questionnaires, folders, etc
• Assist in recruitment process and take informed consent if delegated
• Guide participants on their visits schedule and make sure participants completed the questionnaires
• Assist in data collection and management
• Ad hoc duties as assigned.

Job Requirements:

• Minimum Diploma / Undergraduate Degree
• Good communication and interpersonal skills

Interested applicants, kindly furnish us with your detailed resume in MS Words format and click "Apply Now" button OR email to Hannah.choong@jobstudio.com.sg

We regret to inform only shortlisted candidates will be notified. Applicants who do not possess necessary experience or qualification will still be considered on individual merits and may be contacted for other opportunities

“Jobstudio will not solicit any money, request to use your bank account for business or request you to transfer any monies to any parties, please be aware of scams impersonating Jobstudio and our employees, you may call our office directly at 64221390 for verification. we will not be liable for loss arising from scams.”

JOBSTUDIO PTE LTD

EA License No: 10C4754

EA Personnel: Choong Yi Han

EA Personnel Reg No: R2196526