Total 31 Senior Executive level Science / R&D / Research job vacancies in Cimarron Middle School

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

Nanyang Academy of Fine Arts (NAFA), University of the Arts Singapore, an esteemed arts institution with a global reputation seeks an administratively strong Research Executive at the Institute of Southeast Asian Arts (ISEAA).

Since its establishment in April 2010, the Institute of Southeast Asian Arts (ISEAA) has facilitated in-curricula assimilation of Southeast Asian arts with contemporary arts training at Nanyang Academy of Fine Arts (NAFA). The study and research of Southeast Asian arts has positively influenced the multidisciplinary nature of art studies here at NAFA, accumulating a growing resource of ideas and innovations that include outcomes from 3D Design, Design & Media, Fine Art, Arts Management, Fashion, Theatre, Dance, and Music.

Key Responsibilities

The key responsibilities of the incumbent would involve researching and developing digital frameworks within which archives and live material research can be activated, including metaverse and online interface. You are also expected to innovate and initiate new research paradigms for such platforms to facilitate learning outcomes from academic programmes involving ISEAA content and projects.

In addition, you are required to support and assist in the discharge of administrative functions pertaining to the execution of E&A programming (such as the annual SEA Arts Forum, Exhibitions, Artist in Residence and Performing arts Principals) and management of the archival microsite as part of ISEAA purview.

The role includes assisting communications with relevant academic and administration departments on the delivery of academic outcomes involving ISEAA content and projects, as well as performing other ad-hoc duties as required in support of or relation to the activities of partner teams contributing to the outcomes of ISEAA.

Requirements & Qualifications

1. You should possess a Minimum Degree in Arts and demonstrate knowledge of Arts & Humanities, with a minimum of 2 years of relevant working experience.
2. To succeed in this role, you should also be proficient in MS Office Suite and IT savvy in gaming suite, digital applications and relevant technologies for online learning and delivery.
3. The ideal candidate should possess a strong command of both English and at least one Asian language, as the incumbent will be responsible for reviewing and writing materials for publications, catalogues, and other written content. A deep interest in the arts and culture will be an added advantage to effectively contribute to the role.
4. You should be resourceful and proactive in addressing issues, possess good organisational and coordination skills, and be a team player with excellent communication and interpersonal skills.

If you have a passion for the arts, we encourage you to apply. This is your opportunity to be part of NAFA in our season of global recognition and to shape the future of arts education in Asia.

• Entry ~ Junior level
• Bachelor’s degree in Mathematics, Engineering, Business, Science, Computing, or any numerical fields
• Location: North Bridge Road
• Monday - Friday; 9 AM - 6 PM
• Salary: $3,500 - 3,800

Job Summary

We are seeking candidates with a strong quantitative background and the ability to think creatively. You will develop new methods of data collection using Python and other data-related tools. Additionally, you will be involved in scripting, sampling, and data processing for various research studies.

Key Responsibilities

You will be part of a team involved in the following activities:

• Designing and managing data tools
• Developing new data collection methods
• Improving existing survey interface designs
• Scripting survey questionnaires with logic implementation
• Studying survey software and developing new scripts
• Processing research data using software with syntaxes and codes
• Designing quantitative samples based on client requirements
• Monitoring quantitative fieldwork and adhering to project schedules and deadlines
• Coding open-ended (free text response) answers when required
• Performing quality checks and audits of survey implementations to ensure accuracy
• Creating highly actionable and digestible reports in PowerPoint

Requirements

• Bachelor’s degree in Mathematics, Engineering, Business, Science, Computing, or any other numerical field
• Candidates with market research (internship) experience are welcome
• Strong appetite for learning new data tools
• Openness to change and innovation
• Familiarity with Python is desired
• Basic competency in SPSS, R, and data visualization tools is preferred
• Knowledge of any survey software is an added advantage
• Ability to work with ambiguity and perform under pressure
• High level of precision in work

Interested candidates please apply online or send your latest CV to victoria@triton-ai.com

Kindly note that only shortlisted candidates will be notified.

Triton AI Pte Ltd

Registration Number: R23118389

EA: 21C0661

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

• To apply machine learning techniques to improve the accuracy of the inferencing system
• To select and analyze specific Android brand/model on their compatibility with the side-channel inferencing system
• To evaluate the performance overhead and accuracy of the inferencing system prototype

• Bachelor or Master Degree in Computer Science, Information Technology, Information Systems, Computer Engineering, or related disciplines
• Project experience in machine learning or Android security is a plus
• Good communication skills in English
• Advanced level of programming and software implementation, especially in C/C++ and Java
• Good understanding of existing machine learning techniques
• Good understanding of Android architecture and Android executables
• Good analytical, technical, and problem-solving skills
• Self-motivated and willing to work in a term

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

ABOUT RYSENSE LTD

RySense is a research organisation where the primary areas of interest include social trends and public opinion. Using robust approaches, we seek to generate reliable insights about the Singapore landscape which reflect both subtle nuances and macro perspectives. You can refer to RySense’s corporate website (www.RySense.sg) to discover more about us – and to find out how you can be part of this exciting journey!

JOB SUMMARY

We’re looking for candidates with strong quantitative background, and ability to think out of the box. You will work to develop new methods of data collection using various software including Python, and other data related tools. At the same time, you will be involved in scripting, sampling and data processing of research studies assigned to you at intervals.

KEY RESPONSIBILITIES

You will be part of a bigger team involved in the following:

• Design and manage data tools
• Development of new data collection methods
• Improve existing design of survey interfaces
• Scripting of survey questionnaires with logic implementation
• Studying of surveying software and development of new scripts
• Processing of research data using software with syntaxes and codes
• Design quantitative sampling based on client requirements
• Monitor quantitative fieldwork and adhering to project schedules/ deadlines
• Perform coding of open-ended (free text response) answers where required
• Quality check and audit survey implementation to ensure accuracy of results
• Create highly actionable and digestible reports in PowerPoint

REQUIREMENTS

• Bachelor’s degree in Mathematics, Engineering, Business, Science, Computing, or any numerical fields
• Strong appetite for learning new data tools
• Openness to change and innovation
• Familiarity with Python desired
• Basic competency in SPSS, R, data visualization tools preferred
• Knowledge in any survey software an added advantage
• Able to work with ambiguity and perform under pressure
• High levels of precision at work

If you would like the opportunity to work as part of us, please email your resume to us at Careers@RySense.sg.

We regret that only shortlisted candidates will be notified.

• Entry ~ Junior level
• Bachelor’s degree in Mathematics, Engineering, Business, Science, Computing, or any numerical fields
• Location: North Bridge Road
• Monday - Friday; 9 AM - 6 PM
• Salary: $3,500 - 3,800

Job Summary

We are seeking candidates with a strong quantitative background and the ability to think creatively. You will develop new methods of data collection using Python and other data-related tools. Additionally, you will be involved in scripting, sampling, and data processing for various research studies.

Key Responsibilities

You will be part of a team involved in the following activities:

• Designing and managing data tools
• Developing new data collection methods
• Improving existing survey interface designs
• Scripting survey questionnaires with logic implementation
• Studying survey software and developing new scripts
• Processing research data using software with syntaxes and codes
• Designing quantitative samples based on client requirements
• Monitoring quantitative fieldwork and adhering to project schedules and deadlines
• Coding open-ended (free text response) answers when required
• Performing quality checks and audits of survey implementations to ensure accuracy
• Creating highly actionable and digestible reports in PowerPoint

Requirements

• Bachelor’s degree in Mathematics, Engineering, Business, Science, Computing, or any other numerical field
• Candidates with market research (internship) experience are welcome
• Strong appetite for learning new data tools
• Openness to change and innovation
• Familiarity with Python is desired
• Basic competency in SPSS, R, and data visualization tools is preferred
• Knowledge of any survey software is an added advantage
• Ability to work with ambiguity and perform under pressure
• High level of precision in work

Interested candidates please apply online or send your latest CV to victoria@triton-ai.com

Kindly note that only shortlisted candidates will be notified.

Triton AI Pte Ltd

Registration Number: R23118389

EA: 21C0661

We are looking for a passionate and professional Senior Executive Officer to join our Corporate Strategy team.

Based in Singapore and reporting to the Senior Manager, the incumbent will support and guide the team in problem and opportunity formulation, data wrangling, possible model approaches, modes of validation and engaging the various stakeholders.

However, we also recognize that each individual has a unique blend of skills. Whether your strength is in data analytics or in analytics development, we want to talk to you.

What You’ll Do

• You will engage various divisions to identify the key business requirements for which complex models need to be built.
• You will lead and guide the team in problem and opportunity formulation, data wrangling, possible model approaches, modes of validation and engaging the various stakeholders.
• You will assist the strategy team in developing the various strategic plans for the company, and implement them where it makes sense.
• You will design and put into production the models developed.
• You will do detailed modeling on the various games and bet types to optimize their performance and enable closing the gap with illegal operators.
• You will support the dissemination of analytics knowledge and sharing of experience within the team and the business users.
• You will identify, undertake and implement analytics projects, including formulation of use cases, gathering of data, development, implementation and maintenance of models.
• You will support the development of SPPL’s in house analytic capabilities through the implementation of structured methodologies and creation of infrastructural capabilities to process and analyze data.
• You will work with strategy to identify opportunities to enable the implementation and realization of the long-term strategic vision of the company.

Who You Are

• You will need at least a postgraduate degree, preferably in data science, statistics, applied mathematics, computer science, machine learning or other data centric disciplines.
• You will need at least 1.5 years of relevant work experience.
• You should have experience with statistical and analytical modeling and knowledge of analytic tools.
• You should be able to work with tools to clean, transform, manipulate, model and visualize large amounts of data.
• ​Minimum skillsets required:
  • Strong programming experience with Python.
  • Familiarity with Python packages commonly used in a Data Science context, e.g., pandas, matplotlib, scikit-learn, PyTorch etc.
  • Proficient in various statistical methods and machine learning techniques, e.g., hypothesis testing, data cleaning, bootstrapping, random forests, clustering, deep learning, etc.
  • Strong visualization and communication skills to interpret and present technical results to technical and non-technical audiences alike.
• Good to have skills:
  • Knowledge of deploying machine learning models on-prem and on AWS or other cloud providers.
  • Experience working with Docker and tools such as docker-compose, Portainer, etc.
  • Knowledge of SQL, PySpark, a deep learning framework (e.g. PyTorch) and/or Django.
  • Basic Unix knowledge.

Benefits

• Competitive salaries
• Flexi Benefits
• Staggered working hours
• Medical Insurance
• Corporate Mobile Plans

Singapore Pools welcomes you not for how you look, where you come from, or differences you may have. We want you here for who you are. Diversity at the company helps us see a greater picture represented by different voices, helping us in contributing back to the society. So, feel free to express who you are, and be proud of your heritage and personal experience as you begin your journey with us!

Singapore Pools was established by the Government on 23 May 1968 to provide safe and trusted betting to counter illegal gambling. As a not-for-profit organisation, all of Singapore Pools’ surplus is channeled to Tote Board to fund a wide range of causes in social service, community development, sports, the arts, education and health. Currently, Singapore Pools contributes about $2 billion annually to the Government in the form of taxes and duties, and for the funding of good causes.

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

Research Work

While a reasonably coherent set of desiderata are emerging around the attributes of AI systems deployed insensitive contexts such as public service delivery or the management of public infrastructure, there isinsufficient certainty about what things like "responsibility", "explainability", or "transparency" really mean.Further, it is an open question how they are to be achieved in practice. The research project will thus comprisetwo distinct but essentially connected aspects.

• The initial question is "What are the requirements of RAI in the context of public administration?" Thisraises a cluster preliminary questions, including: "How do we identify the requirements of RAI in any givencontext"; "Can the requirements of RAI ever by fully determined in any context?"; and "How do we proceedif the requirements of RAI are fundamentally open-textured and context-specific?"
• Once the requirements of RAI have been identified (or, just as likely, assuming they cannot be completelydetermined), the how can these requirements be operationalised? This will entail a number of questionsaround the operationalisation of RAI at three levels:
• Technical arrangements to ensure RAI (eg, data hygiene, model training, finetuning, guardrails, metaprompts,constitutional AI, etc)
• Organisational and operational arrangements to ensure RAI (eg, human in/on/over the loop, managerialcontrol and accountability, behavioural aspects of human-machine interaction, etc)
• External accountability arrangements (eg private law liability, and public law judicial review, etc) to ensurethe requirements of RAI are met ex post when something goes wrong.

The successful candidate, as a Post-Doctoral Research Fellow with a PhD in Law (or a Senior ResearchAssociate with a LL.M. and substantial relevant experience), will be expected to make an independentcontribution to our understanding of these questions, for example developing a framework for addressing themand a defensible heuristic approach to moving on to the operational aspects notwithstanding a degree ofuncertainty. A major component of this will be to consider and elaborate on the role of law and legal thinking inthe design, development, deployment and iterative review and re-design of technical solutions to meetgovernance criteria such as "responsibility". Further, the successful candidate will work together with thesoftware engineering colleagues to develop and refine a conceptual framework along the lines of the threelevels set out above. This will include, for example, a taxonomy or map of the various technical arrangementspossible in the current and expected state of the art—and, just as importantly, how they relate to the other two(non-technical) levels.

Administrative Work

• Organisation of conference
  • Point of contact for moderators and speakers
  • Collation of conference materials (e.g. synopsis, speaker profile, etc)
• Formation of international collaboration network

This is a demanding research field at the cutting edge of a quickly iterating cluster of technologies andspanning multiple disciplines. The desirable characteristics of a successful candidate reflect this fact.

• A Ph.D. in Law and demonstrated track record in legal research, preferably embracing dimensions ofempirical, doctrinal, conceptual, and/or normative scholarship. Candidates who have a Masters in Law(LL.M.) with substantial experience in conducting research work may be considered.
• Demonstrated technical fluency, with an ability to communicate with technical counterparts aboutconcepts in data science software engineering and to identify the legally salient features of technicalsystems.
• Demonstrated cross-disciplinary interest and aptitude for self-directed lifelong learning, for examplethrough formal courses or through structured and effective autodidactic efforts.
• Ability to work independently and collaboratively within an interdisciplinary team.
• Some experience in project management, including the design, execution, and evaluation of researchprojects.
• Strong communication skills, with the ability to present research findings clearly and effectively to both technical and non-technical audiences.

A strong commitment to ethical research practices and the responsible use of technology in legal applications.

#LI-JN2

About Us:

At Hoshino Coffee, we pride ourselves on offering an authentic Japanese cafe experience to our customers. From our freshly brewed premium coffees to our delectable desserts and savory dishes, we are committed to providing a memorable dining experience that keeps our customers coming back for more.

Responsibilities:

• Serve as the primary point of contact for all HR-related inquiries.
• Manage full-set of payroll functions with a headcount of 200 or more including processing of government paid claims and filing based on local laws
• Handle payroll inquiries and resolve discrepancies efficiently.
• Ensure accuracy, timeliness and adherence to payroll-related legal and regulatory requirements such as CPF, IR8A.
• Verify payroll items and claims, among other related tasks.
• Oversee benefits administration such as medical insurance, provision of unconsumed leave and long service awards.
• Oversee and manage the entire recruitment process, from pre-employment through onboarding.
• Monitor monthly employee turnover and take proactive measures to fill vacancies, ensuring staffing needs are consistently met.
• Process and manage work pass applications, renewals, and cancellations.
• Prepare HR-related documents and letters.
• Manage and maintain necessary licenses, such as Liquor License, SFA, and others.
• Maintain and update employee records.
• Undertake other HR duties as assigned by the Director.

Requirements:

• Degree in Human Resource Management or other relevant qualification
• Minimum 2 years of relevant HR work experience with good knowledge of HR legislation, policies and procedures
• Experienced in F&B industry is an added advantage
• Good interpersonal, analytical and communication skills
• Strong analytical, problem-solving, time management and priorities management skills.
• Ability to multitask effectively and perform under pressure and tight deadlines

Benefits:

• Remuneration based on experience
• Opportunities for advancement and career growth
• Training provided to enhance your skills and knowledge
• Up to 75% Discounts on food and beverages
• A supportive and inclusive work environment
• Yearly bonus (subjected to meeting certain requirements)

About Us:
At Hoshino Coffee, we pride ourselves on offering an authentic Japanese cafe experience to our customers. From our freshly brewed premium coffees to our delectable desserts and savory dishes, we are committed to providing a memorable dining experience that keeps our customers coming back for more.

Responsibilities:

• Serve as the primary point of contact for all HR-related inquiries.
• Oversee and manage the entire recruitment process, from pre-employment through onboarding.
• Monitor monthly employee turnover and take proactive measures to fill vacancies, ensuring staffing needs are consistently met.
• Process and manage work pass applications, renewals, and cancellations.
• Administer the full spectrum of payroll functions, including the filing of AIS, IRAS, and IR21.
• Verify payroll items and claims, among other related tasks.
• Prepare HR-related documents and letters.
• Manage and maintain necessary licenses, such as Liquor License, SFA, and others.
• Maintain and update employee records.
• Undertake other HR duties as assigned by the Director.

Requirements:

• Degree in Human Resource Management or other relevant qualification
• Minimum 2 years of relevant HR work experience with good knowledge of HR legislation, policies and procedures
• Experienced in F&B industry is an added advantage
• Good interpersonal, analytical and communication skills
• Strong analytical, problem-solving, time management and priorities management skills.
• Ability to multitask effectively and perform under pressure and tight deadlines

Benefits:

• Opportunities for advancement and career growth
• Training provided to enhance your skills and knowledge
• Up to 75% Discounts on food and beverages
• A supportive and inclusive work environment
• Yearly bonus (subjected to meeting certain requirements)

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

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: rvsmsoffice@gmail.com with expected salary.

Shortlisted candidates will be notified.