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: [email protected].

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

Brief Description

As Programme Manager for schools, you will be entrusted to develop and deliver well-being programmes for schools to improve the well-being of their students or staff.

Roles and Responsibilities

• Design and deliver research projects and programmes to help clients achieve greater well-being in themselves and their organisations
• Manage, train, and upskill our pool of facilitators to deliver impact-driven research projects and programmes
• Track impact of research projects and programmes
• Prepare and present Impact Evaluation Report
• Drive innovation to improve the quality of research projects and programmes

Requirements

• Bachelor’s Degree in any discipline, with emphasis in Psychology
• Display interest and knowledge in the science of well-being or positive psychology
• At least 1 year of relevant research and programmes implementation experience

Selection Process

Please take note that there will be at least 2 interviews if selected:

• 1st Interview (45 mins, Online) to get to know each other
• 2nd interview (3 hours) where you will work on mock programme delivery

About Happiness Initiative

Happiness Initiative is a social enterprise dedicated to making well-being skills accessible to all. We focus on well-being research and translating it into practical applications through our programmes and products.

Website: https://happinessinitiative.sg

Instagram: https://instagram.com/happinessinitiative.sg/

Our Culture

Do read out culture deck and see if it resonates with you: https://www.dropbox.com/scl/fi/fofqicqvlx0g5dfvdafxb/Culture-Deck-2023-05.pdf?rlkey=up9vb5zub60nebt0t36za1s2t&dl=0

Key Responsibilities:

• Plan and deliver high-quality IB curriculum lessons in Math, Physics, Chemistry, or Biology for students at both the Standard Level (SL) and Higher Level (HL).
• Design engaging lesson plans that align with the IB philosophy, focusing on inquiry-based learning, critical thinking, and real-world applications.
• Assess students' academic progress through formative and summative assessments, providing constructive feedback to support their growth.
• Prepare students for internal assessments and IB exams, offering guidance and support throughout the process.
• Collaborate with colleagues to integrate interdisciplinary learning opportunities across subjects.
• Participate in school-wide initiatives, professional development, and continuous learning opportunities to enhance teaching practices.
• Build positive relationships with students, parents, and the school community to create a nurturing and inclusive learning environment.

Qualifications:

• Bachelor’s or Master’s degree in Math, Physics, Chemistry, Biology or a related field.
• Teaching certification and/or IB certification is strongly preferred.
• Excellent communication skills in both English and Chinese (Mandarin) is preferred.
• Proven experience teaching Math, Physics, and Chemistry within the IB framework.
• Strong understanding of IB curriculum, assessment criteria, and teaching methodologies.
• Excellent communication, organizational, and classroom management skills.
• A passion for teaching and inspiring students to achieve their full potential.

Preferred Skills:

• Experience with differentiated instruction and adapting teaching methods to meet diverse learning needs.
• Familiarity with digital learning tools and resources to enhance classroom instruction.
• Ability to foster a positive and engaging learning environment that encourages student participation and collaboration.

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 your domain 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 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 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 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.

Minimum qualifications:

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

Parsers, Compilers, and Programming Language Theory

Lex/YACC alex/happy Bison CFGs EBNF BNFC

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

Programming Languages and Frameworks:

Preferred: Haskell or OCaml. Python.

Possible alternatives: Common Lisp Racket Scheme Javascript / Typescript / Node.

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

Formal Verification and Specification Languages

Some 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 (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 ProtocolRule Systems and Logics

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

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 Flora-2 Datalog Answer-Set Programming 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.

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

Nearest MRT: Outram Park
Contract Duration: 8 Months
Working Hours: Monday – Thursday: 8.30am – 6pm, Friday: 8.30am – 5.30pm
Basic Salary: $17 per hour

Responsibilities:

· Conduct market research using methods such as interviews, questionnaires, focus groups and market analysis surveys

· Compile, analyse and report market research findings and present actionable and relevant recommendations.

· Support the collaboration with internal divisions and external partners to scope, develop and/or align project objectives and requirements in a dynamic and agile working environment.

· Support other project management related duties, as assigned.

Requirements:

· Bachelor’s Degree in Psychology / Sociology / Life Sciences / Chemistry / Physics / Mathematics / Economics or other relevant discipline.

· Experience in data visualisation tools (e.g. Tableau, Power BI)

· Experience in Market Research, preferably in the health sector

· Entry Level applicants are welcomed to apply.

· Immediate Starters are preferred (Not serving notice).

· Only Singaporeans

Interested candidates, please forward a copy of your resume to: [email protected].

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

About the Company:

Global Angle Pte. Ltd. is a rapidly growing market research start-up company that offers companies world-wide connection to build new knowledge and make informed decisions through a team of expertise. We are presently sourcing for a Japanese Speaking Senior Market Research and Business Development Manager to join us.

Job Description:

The ideal candidate will have network connections in the market research industry to lead initiatives to generate and engage with business partners to build new business for the company. This candidate will strategically plan their approach to clients and offer compelling solutions to cater to client's needs. He/she is responsible for maintaining and developing relationships to meet sales goals.

Responsibilities:

• Acquire leads and research projects from existing connections and professional firms including consulting, market/industry research firms.
• Conduct and manage objective research on current market trends, the client’s potential partners, the competition landscape, and other related topics to support critical analysis.
• Checks, analyses, and finalizes the output/deliverable from the local team.
• Develop new business opportunities and relationships to grow the business and aid expansion efforts.
• Conduct market research analysis to identify areas of improvement and/or seek new opportunities for growing/expanding work with existing clients.
• Plan strategically while adhering to company and industry regulations to ensure project success ensure smooth operation.

Qualifications:

• Diploma/Bachelor's degree or equivalent experience.
• Minimum 5 years of business development and consulting experience in a market research agency or market research consultancy (eg: Kantar,etc).
• Strong knowledge of successful marketing strategies.
• Extroverted and proactive with strong project management and leadership skills.
• Strong written and verbal communication skills in English.
• Native and Japanese speaking and writing is preferred.
• Strong interpersonal skills to develop clients’ relationships and participate/collaborate in teamwork or group settings.

Who We Are

As Singapore's first institute for lifelong learning, the Singapore University of Social Sciences (SUSS) champions inclusivity to bring education to all and ensure that they are given equal opportunities to develop to their fullest potential in our diverse learning environment.

We advocate for the same for our people. We believe everyone should have equal opportunities and develop to their fullest potential in their careers.

Embark on an exciting lifelong journey with us in making a positive difference in your career and serving our society.

For more information on Singapore University of Social Sciences, please visit www.suss.edu.sg.

About The Role

Navigating co-parenting, parenting stress and child development in a novel Work From Home (WFH) environment: A mix-methods naturalistic on-field investigation

The BRAIN Lab, led by Dr. Atiqah Azhari, in the SUSS School of Humanities and Behavioural Sciences is seeking qualified research staff to participate in a study of “Navigating co-parenting, parenting stress and child development in a novel Work From Home (WFH) environment: A mix-methods naturalistic on-field investigation”. This a mixed-method project that uses fNIRS neuroimaging technology and interviews to understand parenting and work-from-home behaviours. The project is scheduled to run for three years.

What You Will Be Doing

• To conduct neuroimaging data collection on-site in participant’s’ homes
• To conduct data processing and analyses
• To assist with scientific writing
• To assist with administrative duties

Job Requirements

Qualification / Experience Required

• A Bachelors degree in any field of sciences or social sciences
• Previous experience with neuroimaging research using fNIRS is strongly preferred

Applications should be made to:
Dr. Atiqah Azhari (email: [email protected]) at SUSS School of Behavioural Sciences, Singapore University of Social Sciences, 463 Clementi Road, Singapore 599494

Tuition centre looking part time/ full time Science Tutors to teach Secondary NT/NA Science , small group (up to 6 students).

Day/time:

Thursday 630-830pm

Salary: $25-35/hr or $70-$140/day/ FT negotiable 2300-3800

Looking for Science tutors to take primary and secondary Science classes. Preferably someone with experience/familiar with the syllabus and able to commit for at least 6 months/ end of academic year 2024.

Job Scope:

Able to provide a fun and interactive lesson for students

Improvement of curriculum, creating lesson materials/tests

Provide parents simple follow up of their child’s learning progress

Requirements:

Minimum Qualification 5 GCE O levels credits/ Diploma/ A Levels

Preferably with 1-2 years of experience in teaching tuition centre, student care or taught in group tuition (3 or more student), or 1-1 home tuition

Commit at least 6 months/ till the end of academic year

Tuition Centre is expanding and offer a career progression towards assistant centre manager and centre manager role.

Fresh graduates are welcome and trainings will be provided

If you are keen, please fill in this short form and shortlisted candidate will be asked for a Zoom interview.

https://tinyurl.com/TuitionCentreJobRegistration

also please submit your application through this portal and we will contact you thereafter. Part time/Full time welcome

Job Description & Requirements

• Deliver High-Quality Science Lessons:Conduct individual sessions for the student.
  Develop and implement lesson plans that meet the specific needs and learning styles of the student.
  Use a variety of teaching methods and materials to engage student and enhance the learning experience.
• Assess and Monitor Student Progress:Conduct regular assessments to evaluate student progress and identify areas for improvement.
  Provide constructive feedback and guidance to help student improve their English skills.
  Maintain accurate records of student performance and communicate progress to parents/guardians.
• Curriculum Development:Assist in the development and enhancement of English curriculum and teaching materials.
  Stay updated with the latest educational trends and incorporate innovative teaching strategies.
• Supportive Learning Environment:Create a positive and encouraging learning environment that motivates students to achieve their best.
  Address any learning challenges or behavioral issues in a professional and supportive manner.
• Professional Development:Participate in training sessions and workshops to continually improve teaching skills and knowledge.
  Collaborate with other teachers and staff to share best practices and resources.

-Working time: Monday to Saturday, 2 hours per each day

-The ideal candidate will be a graduate or current student from the National University of Singapore (NUS) with a strong background in English language and literature.

Working Location: Caldecott
Contract Duration: 12 Months Contract

Working Hours: Monday – Thursday: 8.30am – 6pm, Friday: 8.30am – 5.30pm
Basic Salary: Up to $5,000 per month

Responsibilities:

· Scan and synthesise social science research literature

· Design survey questionnaire, and coordinate the conduct of fieldwork

· Conduct research and in-depth data tabulations and processing to address project needs

· Conduct and review data collection, processing and management of data, to generating tailored reports

· Management of projects and timelines

· Stakeholder management: Work with internal stakeholders and external partners (e.g., academics, consultants and research companies) on selected projects

Job Requirements:

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

· Experience in conducting literature reviews.

· Experience in processing and managing datasets

· Proficient in any statistical data analysis software (e.g., SPSS, STATA, R, Python)

· Prior experience in designing, conducting or managing surveys would be an advantage

· Immediate Starters are preferred (Not serving any notice period)

Interested candidates, please forward a copy of your resume to: [email protected].

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

Looking for an admin exec for a training and travel company. 'A' Levels/ Diploma.

Tamil Speaking Environment. Below 50 yrs. Well versed in MS Office. Multi Tasking.

Central location.

Send in CV to: [email protected] with expected salary.

Shortlisted candidates will be notified.

Our client, a reputable International School is seeking an energetic Teacher who is responsible to carry out the professional duties of a teacher as circumstances may require and in accordance with the school's policies under the direction of the school’s Principal. The school envisioned to be the leading educational institution where each and every learner is developed holistically and given opportunities to flourish successfully.

We invite qualified and experienced candidates to join us as TEACHERS for our Primary and Secondary level

1. Science Teacher (Temporary from 12 Aug to 13 Dec 2024, maternity cover)

Essential Duties and Responsibilities:

• To carry out the professional duties of a teacher as circumstances may require and in accordance with the school's policies under the direction of the school’s Principal.
• To conduct assessment, recording and reporting on the work of students and attending Parents’ Meetings to meet parents and discuss the progress of individual students
• To set appropriate individual student targets in line with the school and departmental targets/policy
• To undertake appropriate training including INSET days at the start of each term
• Promoting and participating in your own continuous professional development:
• To be involved in Co or Extra Curricular Activities and school event days
• To undertake any other ad-hoc duties as assigned

Job Requirements:

• At least a Bachelor’s degree in Education/ Teaching or equivalent, recognized by the CPE/MOE in Singapore
• Higher degree or recognized professional qualification (preferred) Evidence of continued relevant professional development
• PGDE and/or PGCE is preferable. Preferably a Teacher’s Licence (NIE certification)
• 3- 5 years of teaching experience in a similar or related environment
• Demonstrate an acute and deep understanding of a primary/ secondary school curriculum
• Teaching or pedagogical skills
• Passion for developing young learners

Jessie Hoe Huey Miin

CEI R1103861

EA: 99C4599

Our growing company is seeking to hire a sales manager who will be responsible for supervising and organizing our sales team. You will be in charge of managing organizational sales by developing business plans, meeting planned goals, and coordinating with our marketing department on lead generation. You will also be tasked with overseeing the activities and performance of your sales team by tracking sales goals, setting individual sales targets, and facilitate the ongoing training of your salespeople.

A Bachelor's degree in business or a related field is required. In order to succeed in this role, you will need excellent communication skills and the ability to lead a sales team. Previous experience in a sales-related role is a plus.

Sales Manager Responsibilities:

• Managing organizational sales by developing a business plan that covers sales, revenue, and expense controls.

• Seeting individual sales targets with the sales

team.

• Tracking sales goals and reporting results as necessary.
• Overseeing the activities and performance of the sales team.
• Coordinating with marketing on lead generation.
• The ongoing training of your salespeople.
• Developing your sales team through motivation, counseling, and product knowledge education.
• Promoting the organization and products.
• Understand our ideal customers and how they relate to our products.

Sales Manager Requirements:

• Bachelor's degree in business or related field.
• Experience in planning and implementing sales strategies.
• Experience in customer relationship management.
• Experience managing and directing a sales team.
• Excellent written and verbal communication skills.
• Dedication to providing great customer service.
• Ability to lead a sales team.

Who We Are

As Singapore's first institute for lifelong learning, the Singapore University of Social Sciences (SUSS) champions inclusivity to bring education to all and ensure that they are given equal opportunities to develop to their fullest potential in our diverse learning environment.

We advocate for the same for our people. We believe everyone should have equal opportunities and develop to their fullest potential in their careers.

Embark on an exciting lifelong journey with us in making a positive difference in your career and serving our society.

For more information on Singapore University of Social Sciences, please visit www.suss.edu.sg

About The Role

The Centre for Applied Research​ (CFAR) undertakes, administers, and facilitates research and related activities. It also serves as an incubation centre for research programmes and projects.

We are seeking a highly organized and proactive individual to join our team to provide essential support to ensure the efficient operation of CFAR Department. The ideal candidate will have excellent organizational skills, strong attention to detail, and the ability to prioritize and multitask effectively.

What You Will Be Doing

• Assist in project management, which entails working with an external consultant, managing the data collection and preparation of the report to external stakeholders.
• Provide support to implement research projects and programs, including hiring research manpower and procuring equipment, materials, and vouchers for subjects.
• Assist in audit activities related to research grants and ensure compliance with corporate governance.
• Ensure accurate and timely reporting to internal and external stakeholders/funders.
• Arrange meetings and take minutes during meetings.
• Develop and maintain departmental policies and procedures.
• Maintain the departmental webpage and repositories.
• Organize research forums, in-house seminars, events, courses, and workshops.
• Facilitate inhouse publication.
• Support initiatives to promote a research culture at SUSS.
• Handle general administration and maintain departmental records.
• Handle ad hoc tasks and projects as assigned.

Job Requirements

• Bachelor’s degree or higher in any specialized field.
• 1-2 years of experience preferably in research administration. Fresh graduates are welcome to apply.
• Strong verbal and written communication skills, with a focus on good English writing ability.
• Self-starter with problem-solving abilities.
• Ability to work independently, manage time effectively, and handle multiple tasks.
• Proficient in Microsoft Office and spreadsheet computations.
• Excellent organizational and interpersonal skills, and good judgment.
• Ability to perform information research and data collection.
• Team player with a strong work ethic.

What Do We Offer

At SUSS, we advocate the Spirit of Learning and pride ourselves as lifelong learners. You will gain access to various learning platforms and plenty of development opportunities to support your growth in a meaningful career!

Besides that, you will also get:

• Competitive Pay Package
• Hybrid Work Arrangement (Subject to Job Role)
• Medical Benefits
• Flex Benefits
• Family Care Leaves
• Volunteer Services Leaves
• Wellness & Recreation Activities
• Lifelong Learning Opportunities
• Career Development Opportunities through Internal Job Postings and Transfers.

Apply now

Who We Are

As Singapore's first institute for lifelong learning, the Singapore University of Social Sciences (SUSS) champions inclusivity to bring education to all and ensure that they are given equal opportunities to develop to their fullest potential in our diverse learning environment.

We advocate for the same for our people. We believe everyone should have equal opportunities and develop to their fullest potential in their careers.

Embark on an exciting lifelong journey with us in making a positive difference in your career and serving our society.

For more information on Singapore University of Social Sciences, please visit www.suss.edu.sg

Centre for Applied Research

The successful candidate will support the day-to-day activities arising from the research projects and programmes within the University.

The scope of work will involve serving in the secretariat for grant reviews and management, handling the research administrations, tracking and reporting of progress and ensuring compliance of the conduct of these research projects and programmes.

Job Description

The detailed scope of work will include the following:

• Manage grant call activities and research applications.
• Assist in the preparation of documents required for grant reviews.
• Assist in the preparation of budgetary estimates for the department and individual research projects.
• Facilitate the review process and maintain related records.
• Arrange meetings and take minutes during meetings.
• Develop and maintain departmental policies and procedures.
• Maintain the departmental webpage and repositories.
• Provide support for the implementation of research projects and programs.
• Track research expenditures to ensure expenses align with budget allocations and monitor grant utilization rates, providing regular updates.
• Track research KPIs and assist in the preparation of reports for management and funding agencies.
• Assist in audit activities related to research grants and ensure compliance with corporate governance.
• Ensure accurate and timely reporting to internal and external stakeholders/funders.
• Support the department’s initiatives to promote a research culture at SUSS.
• Organize in-house seminars, events, courses, and workshops.
• Serve as a liaison with other public institutions and industry/business partners.
• Handle ad hoc tasks and projects as assigned.

Job Requirements

• Bachelor’s degree or higher in any specialized field.
• 2-3 years of experience in research administration (3+ years for senior position).
• Strong verbal and written communication skills, with a focus on good English writing ability.
• Self-starter with problem-solving abilities.
• Ability to work independently, manage time effectively, and handle multiple tasks.
• Proficient in Microsoft Office and spreadsheet computations.
• Excellent organizational and interpersonal skills, and good judgment.
• Ability to perform information research and data collection.
• Team player with a strong work ethic.

What We Offer

At SUSS, we advocate the Spirit of Learning and pride ourselves as lifelong learners. You will gain access to various learning platforms and plenty of development opportunities to support your growth in a meaningful career!

Besides that, you will also get:

• Competitive Pay Package
• Hybrid Work Arrangement (Subject to Job Role)
• Medical Benefits
• Flex Benefits
• Family Care Leaves
• Volunteer Service Leaves
• Wellness & Recreation Activities
• Lifelong Learning Opportunities
• Career Development Opportunities through Internal Job Postings and Transfers

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

• Lead research design, delivery and support
• Assist to guide and mentor junior research associates and research assistants - including reviewing drafts, and keeping open channel of communication for discussions
• Conduct research on a range of dispute resolution topics, including mediation, arbitration, investor-state dispute settlement, and produce quality articles to be published in industry journals, blogs, or academic journals
• Speak at and attend events to profile SIDRA's research and present on topics in dispute resolution
• Key liaison between SIDRA and other dispute resolution institutions, training partners, Government officials, experts, NGOs and other organisations
• Oversee the planning and management for SIDRA's events during the annual Singapore Convention Week, and other SIDRA events on an ad hoc basis
• Assist with editing, formatting, cite-checking and revision of SIDRA research products
• Prepare and manage the Steering Committee meetings, including overall management of research proposals
• Prepare SIDRA's reports to the University, Government officials, and to other stakeholders
• Work with Centre Manager to draw up budgets, execute vendor agreements, and ensure standard operating procedure compliance
• Administer the accreditation for SIDRA's training programmes with the Singapore International Mediation Institute and International Mediation Institute, and other training progarmmes as necessary, and publicise training courses
• Maintaining SIDRA's online presence and social media by curating posts on SIDRA's events and trips
• Assist the Director and Deputy Director on general matters relating to stakeholder management and research staff
• Supervise student research assistants

• Post-doctorate/post-graduate degree {LLM or JD)/degree in law, desirable but not strictly essential

#LI-JN2

Who We Are

As Singapore's first institute for lifelong learning, the Singapore University of Social Sciences (SUSS) champions inclusivity to bring education to all and ensure that they are given equal opportunities to develop to their fullest potential in our diverse learning environment.

We advocate for the same for our people. We believe everyone should have equal opportunities and develop to their fullest potential in their careers.

Embark on an exciting lifelong journey with us in making a positive difference in your career and serving our society.

For more information on Singapore University of Social Sciences, please visit www.suss.edu.sg.

About The Role

Project Summary
The Behavioural Insights Centre of Excellence in SUSS is seeking a qualified research executive to support the study of “Development and Validation of a Platform Worker Occupational Well-being Indicator Tool”. The approach to this project will be through interviews, and surveys. The intent of the project is to develop and validate an indicator tool for platform workers to measure their occupational well-being. The project is scheduled to run for one year.

What You Will Be Doing

• Oversee the general management and administration of the project (e.g., organise meetings, recording meeting minutes),
• Manage project timeline and ensure project milestones/ deliverables are met,
• Perform literature reviews,
• Assist with designing and conducting of qualitative and quantitative research tasks (e.g., interviews, surveys), and perform data processing and analysis tasks,
• Maintain related documentation of project, and management of tokens for respondents,
• Assist in procurement processes (e.g., purchase of tokens for focus group participants), and
• Contribute to development and writing of report.

Job Requirements

Qualification / Experience Required

• Have a bachelor’s degree or hold a Master’s degree in a relevant discipline (e.g., Educational Technology, Learning Sciences, Educational Psychology, Psychology)
• Have experience in independent social science research
• Familiarity with qualitative and quantitative research methods is essential
• Be able to work independently with minimal supervision
• Be able to work collaboratively in a team
• Have good oral and written communication skills
• Only shortlisted candidates will be notified.

Applications should be made to:
Melissa Sim ([email protected]) at SUSS Behavioural Insights Centre of Excellence, Singapore University of Social Sciences, 463 Clementi Road, Singapore 599494

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

• 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 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, 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 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 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

#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 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

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

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

#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 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 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
• 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
• 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
• 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, 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 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 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 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 ProtocolRule Systems and Logics

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 Controlled English ACErules

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

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

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

#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

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