Total 316 Science / R&D / Research job vacancies in Basil Hill Road DIDCOT, OX11 7HJ

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.

QUALIFICATIONS

Researchers under the Programme should possess both mastery of their academic speciality, anddemonstrated practical experience producing and supporting high-quality open-source code throughcommunity engagement across multiple media. Candidates must have Bachelor's, Master's, Ph.D., oralternative qualifications in computer science, software engineering, (symbolic) artificial intelligence,computational linguistics, or formal methods. Fluency in multiple natural languages, and any experience with law, are a plus.

This specialist role requires skills in the following areas (one or two in each category is sufficient):

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

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

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

Semantic Web and Ontologies: RDFa RDFt RDF RIF SWRL OWL Cyc KBpedia SUMO UFO Protg or a commercial rules engine with ontology support

Model Driven Architecture: UML BPMN DMN OCL SBVR Statecharts Activity Diagrams Parnas Tables Logics: Hoare

Logic Kripke structures Modal mu-calculus Dynamic Logic Deontic, Temporal, and Epistemic modals Situation Calculus Process Calculi Multivalent logics Defeasible Logic BDI Abductive Logic F-Logic Intuitionistic Non-monotonic Logics Skolemization Well-Founded Semantics Good Old-Fashioned Artificial Intelligence and Semantic Web

Knowledge Representation and Reasoning: Lisp Prolog F-Logic Drools Oracle Policy Manager Flora-2 Datalog Answer-Set Programming Defeasible Logic Expert Systems DocAssemble 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

OTHER INFORMATION

#LI-JN2

Please note that your application will be sent to and reviewed by the direct employer - Singapore Management University

【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 Junior Market Research professional to join us.

【Job Description】

• Conduct B to B marketing research/consulting
• Plan research strategies to fulfill the needs of the client's research projects.
• Find and collect data by studying reports, using online sources, taking surveys, and using a variety of other data-collection methods.
• Interpret and analyze research data, mining it for relevant information.
• Write research reports highlighting and summarizing essential information found through their data analysis.
• Present the findings verbally to summarize essential information learned through data collection and analysis.
• Manage the project team including our local researchers.
• Any other ad hoc duties assigned.

【Requirements】

• Bachelor Degree of (any major) or above.
• Proficiency in Japanese language is preferred but not mandatory.
• Having qualitative marketing research skills (especially analyzing and planning skills) that is necessary for projects.
• Interest in working in a start-up and market/industry research position is preferred.

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.

QUALIFICATIONS

Researchers under the Programme should possess both mastery of their academic speciality, anddemonstrated practical experience producing and supporting high-quality open-source code throughcommunity engagement across multiple media. Candidates must have Bachelor's, Master's, Ph.D., oralternative qualifications in computer science, software engineering, (symbolic) artificial intelligence,computational linguistics, or formal methods.

Fluency in multiple natural languages, and any experience with law, are a plus.

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

OTHER INFORMATION

#LI-JN2

Please note that your application will be sent to and reviewed by the direct employer - Singapore Management University

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.

QUALIFICATIONS

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

OTHER INFORMATION

#LI-JN2

Please note that your application will be sent to and reviewed by the direct employer - Singapore Management University

COMPANY DESCRIPTION

Singapore Management University is a place where high-level professionalism blends together with a healthy informality. The 'family-like' atmosphere among the SMU community fosters a culture where employees work, plan, organise and play together building a strong collegiality and morale within the university.

Our commitment to attract and retain talent is ongoing. We offer attractive benefits and welfare, competitive compensation packages, and generous professional development opportunities all to meet the work-life needs of our staff. No wonder, then, that SMU continues to be given numerous awards and recognition for its human resource excellence.

RESPONSIBILITIES

The Research Engineer will be responsible for hands-on and implementation tasks to support the PERFLEXO research project. His/her core responsibilities are:

• Take over from the previous Research Engineer the building of "wrappers" for scientific code into publicly usable packages so that PERFLEXO algorithms can be freely/easily used and tested by the industry and the academic community
• Perform dataset preparation, code execution, performance recording and preliminary technical writing to support the PI's basic research under this project, especially with regards to the ACM TODS submission/revision.

QUALIFICATIONS

• Minimum a 4-year Bachelor degree in Computer Science, Information Technology, Information Systems or closely related disciplines from a reputable institution of higher education
• A thesis must have been completed (e.g., Bachelor's thesis) since this is a research post and thus some basic prior experience of working in a concrete research project of non-trivial scale (such as in a thesis) would be needed
• Knowledge of C, Java and MATLAB programming languages
• Some prior experience of working in a concrete research project of non-trivial scale (such as in a Bachelor thesis)
• Good analytical, technical and problem-solving skills
• Self-motivation, ability to work independently and also collaboratively with team members

OTHER INFORMATION

#Li-JN2

Please note that your application will be sent to and reviewed by the direct employer - Singapore Management University

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.

QUALIFICATIONS

Researchers under the Programme should possess both mastery of their academic speciality, anddemonstrated practical experience producing and supporting high-quality open-source code throughcommunity engagement across multiple media. Candidates must have Bachelor's, Master's, Ph.D., oralternative qualifications in computer science, software engineering, (symbolic) artificial intelligence,computational linguistics, or formal methods. Fluency in multiple natural languages, and any experience with law, are a plus.

This specialist role requires skills in the following areas (one or two in each category is sufficient):

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

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

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

Semantic Web and Ontologies: RDFa RDFt RDF RIF SWRL OWL Cyc KBpedia SUMO UFO Protg or a commercial rules engine with ontology support

Model Driven Architecture: UML BPMN DMN OCL SBVR Statecharts Activity Diagrams Parnas Tables Logics: Hoare

Logic Kripke structures Modal mu-calculus Dynamic Logic Deontic, Temporal, and Epistemic modals Situation Calculus Process Calculi Multivalent logics Defeasible Logic BDI Abductive Logic F-Logic Intuitionistic Non-monotonic Logics Skolemization Well-Founded Semantics Good Old-Fashioned Artificial Intelligence and Semantic Web

Knowledge Representation and Reasoning: Lisp Prolog F-Logic Drools Oracle Policy Manager Flora-2 Datalog Answer-Set Programming Defeasible Logic Expert Systems DocAssemble 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

OTHER INFORMATION

#LI-JN2

Please note that your application will be sent to and reviewed by the direct employer - Singapore Management University

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.

QUALIFICATIONS

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

OTHER INFORMATION

#LI-JN2

Please note that your application will be sent to and reviewed by the direct employer - Singapore Management University

Key Responsibilities:

• Plan and deliver high-quality IB/A Level 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/A level 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 A level 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/A Level 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.

【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 Junior Market Research professional to join us.

【Job Description】

• Conduct B to B marketing research/consulting
• Plan research strategies to fulfill the needs of the client's research projects.
• Find and collect data by studying reports, using online sources, taking surveys, and using a variety of other data-collection methods.
• Interpret and analyze research data, mining it for relevant information.
• Write research reports highlighting and summarizing essential information found through their data analysis.
• Present the findings verbally to summarize essential information learned through data collection and analysis.
• Manage the project team including our local researchers.
• Any other ad hoc duties assigned.

【Requirements】

• Bachelor Degree of (any major) or above.
• Proficiency in Japanese language is preferred(N2 and above) is necessary to manage stakeholders.
• Having qualitative marketing research skills (especially analyzing and planning skills) that is necessary for projects.
• 1-2 years of working experience in the market/industry research position is preferred(not a must).

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.

This role plays a crucial role in enhancing the skills and knowledge of employees within the hospitality industry. This position involves designing, implementing, and evaluating training programmes to address the specific needs of the Club.

Key Responsibilities

Design, Creates, Plans and Executes L&D Programmes

• Develop comprehensive L&D programs tailored to the needs of various departments within the hospitality industry (both technical & soft skills training).
• Assists in the delivery of programmes as assigned.
• Coordinates and follows up on all corporate, internal and external L&D initiatives and programmes.

Training Delivery

• Facilitate training sessions either in person or through digital platforms, ensuring engagement and knowledge retention among participants.

Training Evaluation

• Assess the effectiveness of training programs through feedback mechanisms, performance evaluations, and other metrics.
• Continuously refine the improve training materials and delivery methods based on feedback and performance data.

Learning & Development Plan and Budget

• Ensuring that plan & budget are aligned to the organization’s overall goals and strategic plan as well as for all operational departments to follow through on their training and development commitments.

Collaboration

• Work closely with department heads, HRBPs, and subject matter experts to identify training needs and develop targeted solutions.
• Collaborate with external training providers or educational institutions as needed to supplement internal training efforts.

Documentation and Reporting

• Maintain accurate records of training activities, including attendance, evaluation, and training materials.
• Prepare reports for management detailing the impact of training initiatives on employee performance and organisational goals.

Compliance

• Ensure training programs comply with relevant regulations, industry standards, and internal policies.
• Stay updated on changes in regulations or best practices related to training and development within the hospitality industry.

Coordinates Industrial Attachment and Internship Programmes

• Liaises with local educational institutions to recruit and select students for internship placement in the organisation.

L&D Administration

• Maintains appropriate systems to record and measure necessary aspects of colleagues’ L&D.
• Assists in the planning of an ongoing L&D calendar and shares it with management to ensure that learning resources and opportunities are maximised.
• Liaises with Workforce Singapore and administers SkillsFuture claims for relevant courses.

Professional Development

• Stay abreast of hospitality industry advancements to continuously update and expand knowledge base.
• Pursue opportunities for professional development to enhance skills in instructional design, training facilitation, and talent development.

Adhoc

• Any other duties assigned

Job Requirements

• Bachelor degree/Graduate Diploma in HR Management/Diploma in Learning and Development, with relevant experience preferably in a hospitality industry.
• Experience with learning management systems (LMS) and e-learning platforms.
• Familiarity with current trends and best practices in learning and development.
• Willing to be hands-on in execution
• Analytical, organizational and communication skills.
• Able to multi-task, prioritize and manage time efficiently, work independently with minimal supervision.

Contract & job type: Full-time, Fixed-term for 18 months

About us:
At the Department of Physiology Anatomy & Genetics (DPAG) we undertake discovery science where we reassemble physiological processes at the molecular, cellular, tissue and systems level of organisation. In so doing we provide a bridge to translational medicine, and interface between physical and life sciences. We are committed not only to innovative research and the highest standard of teaching, but also to creating an inclusive and supportive working environment.

Overview of the role:
We are seeking a Postdoctoral Research Scientist to join the Stevens Group. The ideal candidate will be a confident self-starter with broad experience in microfluidic platforms for organ-on-a-chip models and have a solid background in bioengineering, molecular biology, or bioinformatics. Candidates should demonstrate a proven track record of first-author publications in peer-reviewed journals and the ability to work collaboratively within a multidisciplinary team. In this role, you will be responsible for developing cutting-edge imaging, spectroscopy, and omics tools to advance organ-on-a-chip monitoring, while collaborating with experts in tissue engineering, nanotechnology, optics, and machine learning. This post is available from January 2025 for an initial fixed-term of 18 months, with part-time appointments considered.

Key responsibilities:
• Develop high-throughput and targeted imaging workflows for omics and chemometric marker analysis.
• Implement advanced imaging, spectroscopy, and omics techniques in organoids and cell cultures.
• Collaborate closely with researchers in tissue engineering, nanotechnology, optics, and machine learning.
• Analyze and explore multi-dimensional datasets to understand correlations in organ-on-a-chip systems
• Manage independent research and administrative tasks related to the project.
• Contribute to a vibrant and multidisciplinary research environment, working with internationally recognized groups in biomaterials and nanomaterials.

Selection criteria:
• PhD (or nearing completion) in bioengineering, molecular biology, bioinformatics, or a relevant discipline
• Proven experience with microfluidic platforms for organ-on-a-chip models.
• Knowledge of stem cell biology techniques.
• Demonstrated ability to manage independent research and administrative responsibilities.
• Proven track record of first-author publications in peer-reviewed journals.
• Strong collaborative and communication skills, with impeccable work ethics.

What we offer:
Your wellbeing at work matters, so we offer a range of family friendly and financial benefits including:
• An excellent contributory pension scheme
• 38 days annual leave
• A comprehensive range of childcare services
• Family leave schemes
• Cycle and electric car loan schemes
• Employee Assistance Programme
• Membership to a variety of social and sports clubs
• Discounted bus travel and Season Ticket travel loans

While this is a full-time role, we welcome applications from individuals who wish to be considered for part-time working or other flexible working arrangements.

How to apply:
Please provide a supporting statement outlining how you meet the selection criteria along with your CV, and the details of two referees as part of your online application.
The closing date for applications is 12 noon on Monday 14th October.
Interviews are likely to take place during the week commencing 28th October, and will be held on Microsoft Teams.
Applications are particularly welcome from women, black and minority ethnic candidates who are under-represented in academic posts in Oxford.

Follow us:
Stay connected with us on LinkedIn, X and Instagram to learn more about our work and culture. Informal enquiries about the role may be directed to the DPAG HR Team: hr@dpag.ox.ac.uk

DPAG’s Statement of Inclusion:
We, as a Department and Community, will be considerate and welcoming of all people, regardless of age, disability, gender reassignment, marriage and civil partnership, pregnancy and maternity, race, religion or belief, sex, sexual orientation, gender identity, and socio-economic background. We acknowledge societal inequalities and how these impact us, and those around us, personally and professionally. Our policies, practices and Respectful Behaviours Framework underpin this commitment.

What skills and experience we're looking for

Do you have a passion for STEM and the ability to inspire our amazing students?

If so, we are looking to recruit anengaging full time or part time Teacher of Science to join our team at The Burgess Hill Academy.

You will bean enthusiastic and innovative teacherwho genuinely believes in the ability of all students to succeed and who wants to develop their practice to be the best.Our greatest asset is our students. They are fantastic and have the potential to achieve amazing things.

We are looking for someone who:

• Has a drive for excellence and a desire to be outstanding
• Is highly organised, motivated and driven to succeed
• Is a specialist inScience and committed to the progress of ALL students
• Is a team member who will collaborate with colleagues to ensure the progress of students
• Has enthusiasm, presence and authority who can deliver consistently

Please refer to the job description and person specification for further details.

What the school offers its staff

We truly value the experience, dedication, and commitment of all our employees and believe in the power of motivated and happy staff. This is why we seek to enrich and reward our employees wherever we can, by offering a wide range of exciting and useful employee benefits. These include:

• Automatic annual pay increments
• High quality continuous professional development and support for your career progression
• A strong commitment to your health & wellbeing including; onsite Wellbeing Champions, designated Mental Health Ambassadors, flexible working opportunities from Day 1, and Employee Assistance programme
• Generous public sector pension scheme
• Discounts on retail & travel
• Cycle 2 Work scheme
• Charity Giving

Commitment to safeguarding

The University of Brighton Academies Trust is committed to safeguarding and promoting the welfare of children and young people and expects all staff and volunteers to share this commitment. All appointments are subject to an enhanced DBS check. This role is considered exempt from the Rehabilitation of Offenders Act 1974 and the amendments to the Exceptions Order 1975, 2013, 2020 and 2023. It is an offence to apply for the role if you are barred from engaging in regulated activity relevant to children.

What skills and experience we're looking for

Contract: 12 month FTC for Maternity Cover

Do you have a passion for STEM and the ability to inspire our amazing students?

If so, we are looking to recruit an engaging Teacher of Science to join our team at The Burgess Hill Academy as maternity leave cover.

You will bean enthusiastic and innovative teacher who genuinely believes in the ability of all students to succeed and who wants to develop their practice to be the best. Our greatest asset is our students. They are fantastic and have the potential to achieve amazing things.

We are looking for someone who:

• Has a drive for excellence and a desire to be outstanding
• Is highly organised, motivated and driven to succeed
• Is a specialist in Science and committed to the progress of ALL students
• Is a team member who will collaborate with colleagues to ensure the progress of students
• Has enthusiasm, presence and authority who can deliver consistently

Applications from ECT's welcome.

What the school offers its staff

We truly value the experience,dedication, and commitment of all our employees and believe in the power of motivated and happy staff. This is why we seek to enrich and reward our employees wherever we can, by offering a wide range of exciting and useful employee benefits. These include:

• Automatic annual pay increments
• High quality continuous professional development and support for your career progression
• A strong commitment to your health & wellbeing including; onsite Wellbeing Champions, designated Mental Health Ambassadors, flexible working opportunities from Day 1, and Employee Assistance programme
• Generous public sector pension scheme
• Discounts on retail & travel
• Cycle 2 Work scheme
• Charity Giving

Commitment to safeguarding

The University of Brighton Academies Trust is committed to safeguarding and promoting the welfare of children and young people and expects all staff and volunteers to share this commitment. All appointments are subject to an enhanced DBS check. This role is considered exempt from the Rehabilitation of Offenders Act 1974 and the amendments to the Exceptions Order 1975, 2013, 2020 and 2023. It is an offence to apply for the role if you are barred from engaging in regulated activity relevant to children.

What skills and experience we're looking for

Contract:1 year FTC from September 2024

Are you passionate about Science?Are you a graduate seeking a career opportunity?If you answer yes to both of these questions, please continue reading about our new vacancy.

We have a fabulous opportunity for a graduate to join us at The Burgess Hill Academy to begin their career as a Teacher of Science; Chemistry, Biology or Physics - you choose.

Commencing in September 2024, you will receive supportedon-the-job training for 4 days of the week, andfor one day each week you will complete your Teacher Training with our Apprenticeship provider. Interested?

To find out more about this exciting opportunity please see the attached job description.

What the school offers its staff

We truly value the experience,dedication, and commitment of all our employees and believe in the power of motivated and happy staff. This is why we seek to enrich and reward our employees wherever we can, by offering a wide range of exciting and useful employee benefits. These include:

• Automatic annual pay increments
• High quality continuous professional development and support for your career progression
• A strong commitment to your health & wellbeing including; onsite Wellbeing Champions, designated Mental Health Ambassadors, flexible working opportunities from Day 1, and Employee Assistance programme
• Generous public sector pension scheme
• Discounts on retail & travel
• Cycle 2 Work scheme
• Charity Giving

Commitment to safeguarding

The University of Brighton Academies Trust is committed to safeguarding and promoting the welfare of children and young people and expects all staff and volunteers to share this commitment. All appointments are subject to an enhanced DBS check. This role is considered exempt from the Rehabilitation of Offenders Act 1974 and the amendments to the Exceptions Order 1975, 2013, 2020 and 2023. It is an offence to apply for the role if you are barred from engaging in regulated activity relevant to children.