Title : English langauge, Maths or Science Tuition Teacher
Location: Hougang

Working days & Time: 3 weekdays (3PM-9PM) + Weekend (Both Sat & Sun ; 9AM-6PM)
Salary: $3000 - $3500

Job Responsible:

• Prepare and conduct lessons: Tailor lessons in accordance with our curriculum with a holistic understanding of your student’s learning needs to meet the unique needs and learning styles of individual students.
• Curriculum Development: Work with our curriculum development team to create useful learning materials.
• Motivation: Inspire and motivate students to excel academically and develop a love for learning. Be a role model for your students. Give appropriate advice to students to improve students’ holistic development.
• Communication: Monitor your class progression and provide honest and helpful feedback with suggestions to parents on a regular basis to improve the student’s conduct or academic performance.

Administrative:

• Prepare lesson plans and teaching materials
• Check with students on their exam dates, record students’ test results, evaluate students’ test papers
• Conduct lessons and tutoring sessions.
• Assess and evaluate student performance(Mark papers).Provide feedback to students and parents. (Call parents and update class group chats - teacher’s personal contact would be added)
• Maintain a conducive and disciplined learning environment.
• Stay updated with the latest teaching methods and curriculum changes.
• Assist in curriculum development and improvement.
• Take attendance and arrange makeup lessons for absentees.

Requirement:

• Teaching certification or relevant teaching experience with Singapore MOE syllabus.
• Strong knowledge and passion for the subject(s) you teach.
• Primary post – Min. 'A' level or Diploma
• Secondary post – Min. Bachelor degree

Chew Xing Shan Reg No: R22107044

The Supreme HR Advisory Pte Ltd EA No: 14C7279

WhatsApp: +65 83592812 [Shannon]

Role:

This is a full-time, onsite, NFS Lab Assistant Role in MOE Secondary School. If you are selected,

You will work closely with the NFS Teachers & supervisor, HODs in an MOE Secondary school (Nearest MRT : Ang Mo Kio) in the day-to-day activities.

Company provides endless opportunities for career progression and better work - life balance.

Responsibilities:

• Clean and tidy 2 NFS kitchens, food preparation and needlework rooms.
• Prepare ingredients and equipment for teachers to conduct Food & Nutrition (F&N) activities and practical work in the NFS kitchens daily.
• Prepare students’ ingredients and materials before lesson.
• Assist in checking and storing of goods.
• Assist in stock taking of equipment in the NFS kitchens, food preparation and needlework rooms.
• Assist to ensure safety in the kitchen eg switching off of gas valves, safe keeping of sharp objects such as knives.
• Assist in ensuring the kitchen is ready for N and O levels National examinations.
• Assist in doing major spring cleaning of 2 NFS kitchens, food preparation and needlework rooms during the June and December school holidays.
• Any ad hoc duties assigned as and when required based on the needs of the school.

Job Requirements:

1. Primary school education

2. Preferably 3 years working experience in the related field

3. Completed ‘Workplace Safety and Health Practices

Implementation’ (WSH Level 1)

We regret to inform that only shortlisted candidates will be notified. Thank you for applying.

EA License No.: 23S1986

EA Personnel No.: R23118941 (Gandhi Ponmathi)

Summary:

Contract Period: From 1 January 2025 to 31 December 2025.

Working hours:

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

• Fridays: 7:00am to 3:30pm, inclusive of 30mins lunch break

• Service not required on Saturdays, Sundays and gazetted public holidays unless required for school events.

Location: MOE Secondary School (Nearest MRT: Ang Mo Kio)

Job Description – Science Lab Support

Role:

This is a full-time, onsite, Science Lab Support Role in MOE Primary School. If you are selected,

You will work closely with HOD/LH-Science and/or Admin Manager in an MOE Primary School (nearest MRT- Pioneer &Lakeside) in the day-to-day activities.

Company provides endless opportunities for career progression and better work - life balance.

Responsibilities:

• Provide teaching and learning support to teachers, for example, preparation of resources / materials for science laboratory activities and enrichment programme.

• Label and keep records of existing and new Science teaching and learning materials and lab resources such as teachers’ desk copies, reference books, lab apparatus and chemicals etc.

· Maintain loan records of Science Resources.

• Pack and organise the resources in the Science Rooms. Ensure that the Science rooms are clean and conducive for lessons.

• Ensure lab equipment, materials and specimens are in good working conditions. Conduct stock-take at least twice a year.

Maintain a stock book and breakage record to initiate ordering of replacements where necessary.

• Ensure proper disposal of waste materials such as sharp waste objects and chemicals.

• Ensure safety of pupils in the Science rooms. Report any incident to Science HOD/ Level Head.

Maintain a laboratory incident log book.

• Check that first aid box is updated, safety devices in the laboratory, such as emergency eye-washers, showers and fire extinguishers are working.

• Provide administrative / logistical support for Science competitions, assessments and programmes collation of survey results and distribution of Science materials to pupils etc.

• Assist in carrying out safety briefings such as Laboratory Safety, equipment awareness (e.g. Microscopes).

• Any other duties assigned by the School

• Shortlisted candidates may be required to attend an interview

Job Requirements:

• Diploma in Science or its equivalent

• At least one year experience in assisting HOD-Science in the execution of daily Science Laboratory Operational and Administrative duties.

• At least one year experience of providing support for Science programmes; STEM & Sustainability projects and Laboratorybased lessons in schools.

• Experience in creating digital resources such as presentations and videos according to Science Experiential Learning Experiences using powerpoint.

• Proficient in preparation and maintenance of Laboratory equipment.

• Fluent in written and spoken English.

• Good interpersonal, communication, planning and analytical skills.

• Has experience working with primary school students in school settings.

• Able to plan and work both independently and as part of a team

• Certified with standard first aid is not necessary but will be an advantage

Summary:

Contract Period: From 30 December 2024 to 29 December 2025.

Working Hours:

• Mondays to Thursdays: 7:30am to 5:00pm, inclusive of 1.0 hour

lunch break

• Fridays: 7:30am to 4:30pm, inclusive of 1.0 hour lunch break

• Service not required on Saturdays, Sundays and gazetted public

holidays

Location: Pioneer MRT & Lakeside

Monday - Friday

830am - 6pm

Location: Outram

Responsibilities

• Coordinate with technical team members in updating work progress
• Assist Technical Director in supervising the technical team members and ensure the guidelines are met
• Follow up and update technical documents such as Team KPI reports, attendance tracking, training arrangement and record updates, team org charts, etc.
• Assist in calendar support, team meeting arrangement, record & distribution of meeting minutes
• Assist in development and distribution of job status reports
• Assist in project time tracking and costing reports when necessary
• Facilitate all project logistics and facility needs
• Purchase of PPE items and wish list items through HR / Procurement
• Effectively handle and manage customers’ feedback and complaints
• Responsible to upkeep the service level to ensure service excellence delivery to both internal and external customers and partners
• Other duties assigned by Technical Director

Requirements

• Min. 1 year of related experience
• Min. ITE or Diploma
• Strong Microsoft Excel report, word and PPT skills
• Possess good written and verbal communication, presentation skills
• Possess initiative and ability to respond quickly to various situations
• Possess ability to collaborate and work as a team
• Familiar with Sales Force system will be an advantage
• Able to work in fast paced environment
• Meticulous in work

Devon Yang Yue Teng

EA License No: 24C2352

Reg No: R24123723

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 your domain expertise and edify others (and vice versa) in as productive, constructive, and collaborative a manneras possible.

You may be asked to participate in the development of use cases and delivery of proof-of-concept prototypes for government and industry partners in the areas of computable contracts and "rules as code". Experience in requirements analysis and agile, iterative methodologies will be useful at this stage.The work of the team will be largely determined by these use cases and customers. We will work with multiple use cases so that we can abstract across them and develop generalized, reusable infrastructure. We will work with specific customers so we can build useful applications on top of that infrastructure.You will contribute to the design and development of open-source software written to serve those use cases. You will work as part of a team of research engineers, developers, and domain expertise and you will be expected to actively participate in team meetings and text-based communications. You will be expected to be active members of the applied research community, by validating and contributing to advances incomputational law.

You may be asked to conduct use-inspired research at the direction of the Principal Investigator. This includes

• reading academic papers, standards publications, and related material such as blog posts and presentations;
• coming up to speed in fields which may be new to you, such as computational linguistics, mathematical logic, programming language design, formal verification, and model-based architecture;
• reading (and updating/commenting, relevant) existing software documentation;
• creating presentations, video recordings, walkthroughs, etc. to document and explain research work done;
• writing (and presenting, if so decided by the PI) academic papers and materials for publication; and
• documenting in a sufficiently-detailed manner so as to share what you've learned.

You will be expected to participate in software development; this includes

• learning how to use third party tools, including editors, IDEs, databases, business process modeling software, programming languages, and libraries;
• evaluating competing software systems for suitability;
• building infrastructure to enable application development
• managing yourself, and managing fellow team members;
• engaging in product, project, and program management as needed
• reading books and consuming such other media forms about software development;
• writing documentation such as user/developer-facing manuals, tutorials;
• delivering community support to users and customers;
• preparing presentations to represent the project before external audiences; and
• writing actual user-facing applications throughout the "full stack",in each case, documenting, reporting, and/or presenting the same in clearly and efficiently, both internally and externally.

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

Minimum qualifications:

Open-Source Software & Open-Standard Infrastructure Engineering

Internet Unix TCP/IP HTTP(S) XML JSON Schemas YAML Git Github Technical Writing Developer Relations and Evangelism

Parsers, Compilers, and Programming Language Theory

Lex/YACC alex/happy Bison CFGs EBNF BNFC

App Development

Test-Driven Development Continuous Integration Software Project Management Agile / XP / Scrum Pair Programming Literate Programming Unit Testing Amazon Web Services Docker Full-Stack Development

Programming Languages and Frameworks:

Preferred: Haskell or OCaml. Python.

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

Computational Linguistics Natural Language Generation

Computational Semantics (in Haskell, Prolog, or Lisp) Montague Semantics Grammatical Framework Text planning Surface realization

Familiarity with: WordNet FrameNet SenseNet Controlled Natural Languages Attempto Controlled English ACErules

Formal Verification and Specification Languages

Some familiarity with any of: TLA+ Alloy IVy B Method Z notation VDM++ LTL

Preferred qualifications:

Theorem Proving and Strongly Typed Languages:

CoQ Agda Idris Lean Prover F* Advanced Haskell (Template etc) OCaml Elm Isabelle/HOL StrangeLoop Pony

Model Checkers and SAT/SMT solvers: Z3 PAT SMTlib NuSMV SPIN Sentient

IDEs, Language Workbenches, and PLT frameworks: K Framework JetBrains MPS IDEs (Vim, Emacs, Visual Studio Code, Atom, Sublime Text) Language Server ProtocolRule Systems and Logics

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

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

Logics: Hoare Logic Kripke structures Modal mu-calculus Dynamic Logic Deontic, Temporal, and Epistemic modals Situation Calculus Process Calculi Multivalent logics Defeasible Logic BDI Abductive Logic F-Logic Intuitionistic Non-monotonic Logics Skolemization Well-Founded Semantics

Good Old-Fashioned Artificial Intelligence and Semantic Web

Knowledge Representation and Reasoning: Lisp Prolog F-Logic Flora-2 Datalog Answer-Set Programming Defeasible Logic Expert Systems DocAssemble lps.doc.ic.ac.uk

Semantic Web and Ontologies:

RDFa RDFt RDF RIF SWRL OWL Cyc KBpedia SUMO UFO Protg

#LI-JN2

A*STAR Infectious Diseases Labs (A*STAR ID Labs) is seeking for a Principal Scientist to join us in our mission to be a leading centre of infectious diseases research. A*STAR ID Labs aims to develop a cohesive A*STAR response to drive and deliver translational infectious diseases research to better health and economic outcomes.

Job Description

• Leads conceptual and technical integration of various research studies to provide leading edge solutions in antimicrobial resistance (AMR) research and development
• Conceptualize and create new technologies, patents and publications
• Review and manage operating budget of grants and team
• Establish collaborations, develop scientific proposals and ensure timely achievement of project milestones
• Manage a team and provide scientific and career mentorship to researchers and students

Job Requirements

• PhD in Biomedical Sciences, Life Sciences, Microbiology, Molecular Biology, Infectious Diseases, Immunology or related field as above
• 4 years of post-PhD relevant experience
• Strong background in Microbiology, Immunology, Molecular Biology, Biochemistry, Genetics and Genomics
• Strong publication record
• Highly motivated and ability to develop strong research ideas to secure grant and funding
• Strong analytical, technical and problem-solving skills
• Team player with good interpersonal skills
• Good spoken and written communication skills

Host Pathogen Interactions in A*STAR Infectious Diseases Labs (A*STAR ID Labs) is seeking a Postdoctoral Researcher to join the lab.

We are seeking a talented and collaborative post-doctoral researcher to work in the broad scope of host-pathogen interactions and infectious diseases. The lab has various funded projects on the comparison of host-alphavirus interactions at the immune response level in vivo in animal models through a novel viral-centric and multiOmic approach. Other projects include immune response evaluation of vaccine adjuvant candidates, development of cell-based reporter systems of viral infections to facilitate and accelerate antiviral studies, as well as development of novel vaccine strategies.

The candidate will be expected to work on funded projects as well as develop novel research projects in the scope of the lab research interests to be able to apply to the various early career development schemes both at an internal and external national level. Virus studied in the lab are positive sense RNA viruses as well as some negative sense RNA viruses. Other common techniques and tools in the lab include protein-protein/RNA interactions, microscopy, functional genomics, viral reverse genetics, CRISPR Cas9 gene editing. Animals models available in the lab include mice and zebrafish.

Throughout the project, close collaborative work within A*STAR ID Labs as well as other institutes throughout Singapore and overseas will be used to leverage expertise for high impact studies.

Job Requirements

• PhD in Biomedical Sciences, Life Sciences, Immunology, Virology or related field
• At least 2 to 3 years of relevant experience (immunology or related field) is a plus.
• No virology experience necessary. Prior bioinformatic experience is a plus.
• Highly motivated and able to work independently.
• Team player with good interpersonal skills.
• Good spoken and written communication skills.
• Willing to learn to work in a BSL3 facility if necessary
• Must be comfortable to work with small animal models.

The above eligibility criteria are not exhaustive. A*STAR may include additional selection criteria based on its prevailing recruitment policies. These policies may be amended from time to time without notice. We regret that only shortlisted candidates will be notified.

The A*STAR Institute for Human Development and Potential (A*STAR IHDP) focuses on research that aims to improve and impact the health and well-being of Singaporeans across the life course.

Job Summary:

We are seeking a motivated and detail-oriented Manager to join our dynamic team. This position is ideal for individuals looking to develop their skills in business development, contract management, strategic partnerships, and project management.

The successful candidate will assist in the administration of collaboration agreements and support various Project Management and Technical & Business Development initiatives.

Key Responsibilities:

Contract Management

• Draft, negotiate and finalise collaboration agreements, non-disclosure agreements, procurement agreements, material transfer agreement, data access agreement and service agreements.
• Maintain an organized system for tracking of contract status and renewal and provide reports to internal and external stakeholders.
• Facilitate customer account creation for new industry and collaboration partners
• Coordinate filing of technology disclosures and patents
• Assist in preparing materials and organizing events and workshops related to business development initiatives.
• Support and facilitate the training of scientific staff in using standard agreement templates

Project Management

• Ensure timely and proper project documentation in the Project Management System
• Work with project managers to track the progress of project deliverables
• Track contract agreement billings to ensure timely billing by project teams
• Facilitate project management operations, and develop and implement procedures to improve project lifecycle management.
• Any related administrative or ad hoc duties as assigned by the Reporting Officer(s)

Qualifications:

• Bachelor degree in Business Administration, Life Sciences, or a related field
• 2 to 3 years of working experience, preferably in a research or academic setting
• Excellent written and verbal communication skills
• Ability to work collaboratively in a team environment
• Detail-oriented with strong organizational abilities
• Positive learning attitude with good interpersonal skills
• Proficient in Microsoft Office Suite (Word, Excel, PowerPoint)
• Strong interest in business development and project management

Work Location: AMK

Work hour: Monday to Friday : 7.00am to 4.00pm

Contract Period 1 yr start 1 jan 2025

Job Resposibilities:

1. Clean and tidy 2 NFS kitchens, food preparation and needlework rooms.

2. Prepare ingredients and equipment for teachers to conduct Food & Nutrition (F&N) activities and practical work in the NFS kitchens daily.

3. Prepare students’ ingredients and materials before lesson.

4. Assist in checking and storing of goods.

5. Assist in stock taking of equipment in the NFS kitchens, food preparation and needlework rooms.

6. Assist to ensure safety in the kitchen eg switching off of gas valves, safe keeping of sharp objects such as knives.

7. Assist in ensuring the kitchen is ready for N and O levels National examinations.

8. Assist in doing major spring cleaning of 2 NFS kitchens, food preparation and needlework rooms during the June and December school holidays.

9. Any ad hoc duties assigned as and when required based on the needs of the school.

JOb Requirement

- 3 yrs work experience in related field

- have ‘Workplace Safety and Health Practices Implementation’ (WSH Level 1)

COMPANY DESCRIPTION

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

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

RESPONSIBILITIES

Work done will be at the direction of the PI, and where relevant, the Industry Director and Centre Director.As the Programme is interdisciplinary and multidisciplinary by nature, you will be expected to convey yourdomain expertise and edify others (and vice versa) in as productive, constructive, and collaborative a manneras possible.

You may be asked to participate in the development of use cases and delivery of proof-of-concept prototypesfor government and industry partners in the areas of computable contracts and "rules as code". Experience inrequirements analysis and agile, iterative methodologies will be useful at this stage.The work of the team will be largely determined by these use cases and customers. We will work with multipleuse cases so that we can abstract across them and develop generalized, reusable infrastructure. We will workwith specific customers so we can build useful applications on top of that infrastructure.You will contribute to the design and development of open-source software written to serve those use cases.You will work as part of a team of research engineers, developers, and domain expertise and you will beexpected to actively participate in team meetings and text-based communications. You will be expected to beactive members of the applied research community, by validating and contributing to advances incomputational law.

You may be asked to conduct use-inspired research at the direction of the Principal Investigator. This includes

• reading academic papers, standards publications, and related material such as blog posts andpresentations;
• coming up to speed in fields which may be new to you, such as computational linguistics, mathematicallogic, programming language design, formal verification, and model-based architecture;
• reading (and updating/commenting, relevant) existing software documentation;
• creating presentations, video recordings, walkthroughs, etc. to document and explain research work done;
• writing (and presenting, if so decided by the PI) academic papers and materials for publication; and
• documenting in a sufficiently-detailed manner so as to share what you've learned.

You will be expected to participate in software development; this includes

• learning how to use third party tools, including editors, IDEs, databases, business process modelingsoftware, programming languages, and libraries;
• evaluating competing software systems for suitability;
• building infrastructure to enable application development
• managing yourself, and managing fellow team members;
• engaging in product, project, and program management as needed
• reading books and consuming such other media forms about software development;
• writing documentation such as user/developer-facing manuals, tutorials;
• delivering community support to users and customers;
• preparing presentations to represent the project before external audiences; and
• writing actual user-facing applications throughout the "full stack",in each case, documenting, reporting, and/or presenting the same in clearly and efficiently, both internally andexternally.

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

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

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

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

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

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

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

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

Knowledge Representation and Reasoning: Lisp Prolog F-Logic Drools Oracle Policy Manager Flora-2 Datalog Answer-Set Programming Defeasible Logic Expert Systems DocAssemble lps.doc.ic.ac.uk

Skills listed below this line are preferred but not required:

Theorem Proving and Strongly Typed Languages: CoQ Agda Idris Lean Prover F* Advanced Haskell (Template etc) OCaml Elm Isabelle/HOL StrangeLoop Pony

Model Checkers and SAT/SMT solvers: Z3 PAT SMTlib NuSMV SPIN Sentient

IDEs, Language Workbenches, and PLT frameworks: K Framework JetBrains MPS IDEs (Vim, Emacs, Visual Studio Code, Atom, Sublime Text) Language Server Protocol Rule Systems and Logics

Computational Linguistics Natural Language Generation Computational Semantics (in Haskell, Prolog, or Lisp) Montague Semantics Grammatical Framework Text planning Surface realization Familiarity with: WordNet FrameNet SenseNet Controlled Natural Languages Attempto Controlled English ACErules

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

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

App Development Test-Driven Development Continuous Integration Software Project Management Agile / XP / Scrum Pair Programming Literate Programming Unit Testing Amazon Web Services Docker Full-Stack Development

#LI-JN2

COMPANY DESCRIPTION

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

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

RESPONSIBILITIES

Work done will be at the direction of the PI, and where relevant, the Industry Director and Centre Director.As the Programme is interdisciplinary and multidisciplinary by nature, you will be expected to convey yourdomain expertise and edify others (and vice versa) in as productive, constructive, and collaborative a manneras possible.

You may be asked to participate in the development of use cases and delivery of proof-of-concept prototypesfor government and industry partners in the areas of computable contracts and "rules as code". Experience inrequirements analysis and agile, iterative methodologies will be useful at this stage.The work of the team will be largely determined by these use cases and customers. We will work with multipleuse cases so that we can abstract across them and develop generalized, reusable infrastructure. We will workwith specific customers so we can build useful applications on top of that infrastructure.You will contribute to the design and development of open-source software written to serve those use cases.You will work as part of a team of research engineers, developers, and domain expertise and you will beexpected to actively participate in team meetings and text-based communications. You will be expected to beactive members of the applied research community, by validating and contributing to advances in computational law.

You may be asked to conduct use-inspired research at the direction of the Principal Investigator. This includes

• reading academic papers, standards publications, and related material such as blog posts and presentations
• coming up to speed in fields which may be new to you, such as computational linguistics, mathematical logic, programming language design, formal verification, and model-based architecture
• reading (and updating/commenting, relevant) existing software documentation
• creating presentations, video recordings, walkthroughs, etc. to document and explain research work done
• writing (and presenting, if so decided by the PI) academic papers and materials for publication
• documenting in a sufficiently-detailed manner so as to share what you've learned

You will be expected to participate in software development; this includes

• learning how to use third party tools, including editors, IDEs, databases, business process modeling software, programming languages, and libraries
• evaluating competing software systems for suitability
• building infrastructure to enable application development
• managing yourself, and managing fellow team members
• engaging in product, project, and program management as needed
• reading books and consuming such other media forms about software development
• writing documentation such as user/developer-facing manuals, tutorials
• delivering community support to users and customers
• preparing presentations to represent the project before external audiences
• writing actual user-facing applications throughout the "full stack"

in each case, documenting, reporting, and/or presenting the same in clearly and efficiently, both internally and externally.

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

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

Minimum qualifications:

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

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

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

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

Model Driven Architecture: UML BPMN DMN OCL SBVR Statecharts Activity Diagrams ParnasTables

Logics: Hoare Logic Kripke structures Modal mu-calculus Dynamic Logic Deontic, Temporal, andEpistemic modals Situation Calculus Process Calculi Multivalent logics Defeasible Logic BDI AbductiveLogic F-Logic Intuitionistic Non-monotonic Logics Skolemization Well-Founded SemanticsGood Old-Fashioned Artificial Intelligence and Semantic Web

Knowledge Representation and Reasoning: Lisp Prolog F-Logic Drools Oracle Policy Manager Flora-2 Datalog Answer-Set Programming Defeasible Logic Expert Systems DocAssemble lps.doc.ic.ac.uk

Skills listed below this line are preferred but not required:

Theorem Proving and Strongly Typed Languages:CoQ Agda Idris Lean Prover F* Advanced Haskell (Template etc) OCaml Elm Isabelle/HOL StrangeLoop Pony

Model Checkers and SAT/SMT solvers: Z3 PAT SMTlib NuSMV SPIN Sentient

IDEs, Language Workbenches, and PLT frameworks: K Framework JetBrains MPS IDEs (Vim, Emacs,Visual Studio Code, Atom, Sublime Text) Language Server ProtocolRule Systems and Logics

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

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

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

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

#LI-JN2

COMPANY DESCRIPTION

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

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

RESPONSIBILITIES

Work done will be at the direction of the PI, and where relevant, the Industry Director and Centre Director.As the Programme is interdisciplinary and multidisciplinary by nature, you will be expected to convey yourdomain expertise and edify others (and vice versa) in as productive, constructive, and collaborative a manner as possible.

You may be asked to participate in the development of use cases and delivery of proof-of-concept prototypesfor government and industry partners in the areas of computable contracts and "rules as code". Experience inrequirements analysis and agile, iterative methodologies will be useful at this stage.The work of the team will be largely determined by these use cases and customers. We will work with multipleuse cases so that we can abstract across them and develop generalized, reusable infrastructure. We will workwith specific customers so we can build useful applications on top of that infrastructure.You will contribute to the design and development of open-source software written to serve those use cases.You will work as part of a team of research engineers, developers, and domain expertise and you will beexpected to actively participate in team meetings and text-based communications. You will be expected to beactive members of the applied research community, by validating and contributing to advances incomputational law.

You may be asked to conduct use-inspired research at the direction of the Principal Investigator. This includes

• reading academic papers, standards publications, and related material such as blog posts and presentations;
• coming up to speed in fields which may be new to you, such as computational linguistics, mathematical logic, programming language design, formal verification, and model-based architecture;
• reading (and updating/commenting, relevant) existing software documentation;
• creating presentations, video recordings, walkthroughs, etc. to document and explain research work done;
• writing (and presenting, if so decided by the PI) academic papers and materials for publication; and
• documenting in a sufficiently-detailed manner so as to share what you've learned.

You will be expected to participate in software development; this includes

• learning how to use third party tools, including editors, IDEs, databases, business process modeling software, programming languages, and libraries;
• evaluating competing software systems for suitability;
• building infrastructure to enable application development;
• managing yourself, and managing fellow team members;
• engaging in product, project, and program management as needed;
• reading books and consuming such other media forms about software development;
• writing documentation such as user/developer-facing manuals, tutorials;
• delivering community support to users and customers;
• preparing presentations to represent the project before external audiences; and
• writing actual user-facing applications throughout the "full stack", in each case, documenting, reporting, and/or presenting the same in clearly and efficiently, both internally and externally.

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

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

Minimum qualifications:

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

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

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

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

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

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

Preferred qualifications:

Theorem Proving and Strongly Typed Languages:CoQ Agda Idris Lean Prover F* Advanced Haskell (Templateetc) OCaml Elm Isabelle/HOL StrangeLoop Pony

Model Checkers and SAT/SMT solvers: Z3 PAT SMTlib NuSMV SPIN Sentient

IDEs, Language Workbenches, and PLT frameworks: K Framework JetBrains MPS IDEs (Vim, Emacs,Visual Studio Code, Atom, Sublime Text) Language Server ProtocolRule Systems and Logics

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

Model Driven Architecture: UML BPMN DMN OCL SBVR Statecharts Activity Diagrams ParnasTables

Logics: Hoare Logic Kripke structures Modal mu-calculus Dynamic Logic Deontic, Temporal, andEpistemic modals Situation Calculus Process Calculi Multivalent logics Defeasible Logic BDI AbductiveLogic F-Logic Intuitionistic Non-monotonic Logics Skolemization Well-Founded SemanticsGood Old-Fashioned Artificial Intelligence and Semantic Web

Knowledge Representation and Reasoning: Lisp Prolog F-Logic Flora-2 Datalog Answer-SetProgramming Defeasible Logic Expert Systems DocAssemble lps.doc.ic.ac.uk

Semantic Web and Ontologies:RDFa RDFt RDF RIF SWRL OWL Cyc KBpedia SUMO UFO Protg

#LI-JN2

COMPANY DESCRIPTION

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

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

RESPONSIBILITIES

Work done will be at the direction of the PI, and where relevant, the Industry Director and Centre Director.As the Programme is interdisciplinary and multidisciplinary by nature, you will be expected to convey yourdomain expertise and edify others (and vice versa) in as productive, constructive, and collaborative a manner as possible.

You may be asked to participate in the development of use cases and delivery of proof-of-concept prototypesfor government and industry partners in the areas of computable contracts and "rules as code". Experience inrequirements analysis and agile, iterative methodologies will be useful at this stage.The work of the team will be largely determined by these use cases and customers. We will work with multipleuse cases so that we can abstract across them and develop generalized, reusable infrastructure. We will workwith specific customers so we can build useful applications on top of that infrastructure.You will contribute to the design and development of open-source software written to serve those use cases.You will work as part of a team of research engineers, developers, and domain expertise and you will beexpected to actively participate in team meetings and text-based communications. You will be expected to beactive members of the applied research community, by validating and contributing to advances incomputational law.

You may be asked to conduct use-inspired research at the direction of the Principal Investigator. This includes

• reading academic papers, standards publications, and related material such as blog posts and presentations;
• coming up to speed in fields which may be new to you, such as computational linguistics, mathematical logic, programming language design, formal verification, and model-based architecture;
• reading (and updating/commenting, relevant) existing software documentation;
• creating presentations, video recordings, walkthroughs, etc. to document and explain research work done;
• writing (and presenting, if so decided by the PI) academic papers and materials for publication; and
• documenting in a sufficiently-detailed manner so as to share what you've learned.

You will be expected to participate in software development; this includes

• learning how to use third party tools, including editors, IDEs, databases, business process modeling software, programming languages, and libraries;
• evaluating competing software systems for suitability;
• building infrastructure to enable application development;
• managing yourself, and managing fellow team members;
• engaging in product, project, and program management as needed;
• reading books and consuming such other media forms about software development;
• writing documentation such as user/developer-facing manuals, tutorials;
• delivering community support to users and customers;
• preparing presentations to represent the project before external audiences; and
• writing actual user-facing applications throughout the "full stack", in each case, documenting, reporting, and/or presenting the same in clearly and efficiently, both internally and externally.

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

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

Minimum qualifications:

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

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

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

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

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

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

Preferred qualifications:

Theorem Proving and Strongly Typed Languages:CoQ Agda Idris Lean Prover F* Advanced Haskell (Templateetc) OCaml Elm Isabelle/HOL StrangeLoop Pony

Model Checkers and SAT/SMT solvers: Z3 PAT SMTlib NuSMV SPIN Sentient

IDEs, Language Workbenches, and PLT frameworks: K Framework JetBrains MPS IDEs (Vim, Emacs,Visual Studio Code, Atom, Sublime Text) Language Server ProtocolRule Systems and Logics

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

Model Driven Architecture: UML BPMN DMN OCL SBVR Statecharts Activity Diagrams ParnasTables

Logics: Hoare Logic Kripke structures Modal mu-calculus Dynamic Logic Deontic, Temporal, andEpistemic modals Situation Calculus Process Calculi Multivalent logics Defeasible Logic BDI AbductiveLogic F-Logic Intuitionistic Non-monotonic Logics Skolemization Well-Founded SemanticsGood Old-Fashioned Artificial Intelligence and Semantic Web

Knowledge Representation and Reasoning: Lisp Prolog F-Logic Flora-2 Datalog Answer-SetProgramming Defeasible Logic Expert Systems DocAssemble lps.doc.ic.ac.uk

Semantic Web and Ontologies:RDFa RDFt RDF RIF SWRL OWL Cyc KBpedia SUMO UFO Protg

#LI-JN2

COMPANY DESCRIPTION

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

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

RESPONSIBILITIES

Work done will be at the direction of the PI, and where relevant, the Industry Director and Centre Director.As the Programme is interdisciplinary and multidisciplinary by nature, you will be expected to convey yourdomain expertise and edify others (and vice versa) in as productive, constructive, and collaborative a manner as possible.

You may be asked to participate in the development of use cases and delivery of proof-of-concept prototypesfor government and industry partners in the areas of computable contracts and "rules as code". Experience inrequirements analysis and agile, iterative methodologies will be useful at this stage.The work of the team will be largely determined by these use cases and customers. We will work with multipleuse cases so that we can abstract across them and develop generalized, reusable infrastructure. We will workwith specific customers so we can build useful applications on top of that infrastructure.You will contribute to the design and development of open-source software written to serve those use cases.You will work as part of a team of research engineers, developers, and domain expertise and you will beexpected to actively participate in team meetings and text-based communications. You will be expected to beactive members of the applied research community, by validating and contributing to advances incomputational law.

You may be asked to conduct use-inspired research at the direction of the Principal Investigator. This includes

• reading academic papers, standards publications, and related material such as blog posts and presentations;
• coming up to speed in fields which may be new to you, such as computational linguistics, mathematical logic, programming language design, formal verification, and model-based architecture;
• reading (and updating/commenting, relevant) existing software documentation;
• creating presentations, video recordings, walkthroughs, etc. to document and explain research work done;
• writing (and presenting, if so decided by the PI) academic papers and materials for publication; and
• documenting in a sufficiently-detailed manner so as to share what you've learned.

You will be expected to participate in software development; this includes

• learning how to use third party tools, including editors, IDEs, databases, business process modeling software, programming languages, and libraries;
• evaluating competing software systems for suitability;
• building infrastructure to enable application development;
• managing yourself, and managing fellow team members;
• engaging in product, project, and program management as needed;
• reading books and consuming such other media forms about software development;
• writing documentation such as user/developer-facing manuals, tutorials;
• delivering community support to users and customers;
• preparing presentations to represent the project before external audiences; and
• writing actual user-facing applications throughout the "full stack", in each case, documenting, reporting, and/or presenting the same in clearly and efficiently, both internally and externally.

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

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

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

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

Minimum qualifications:

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

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

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

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

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

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

Preferred qualifications:

Theorem Proving and Strongly Typed Languages:CoQ Agda Idris Lean Prover F* Advanced Haskell (Templateetc) OCaml Elm Isabelle/HOL StrangeLoop Pony

Model Checkers and SAT/SMT solvers: Z3 PAT SMTlib NuSMV SPIN Sentient

IDEs, Language Workbenches, and PLT frameworks: K Framework JetBrains MPS IDEs (Vim, Emacs,Visual Studio Code, Atom, Sublime Text) Language Server ProtocolRule Systems and Logics

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

Model Driven Architecture: UML BPMN DMN OCL SBVR Statecharts Activity Diagrams ParnasTables

Logics: Hoare Logic Kripke structures Modal mu-calculus Dynamic Logic Deontic, Temporal, andEpistemic modals Situation Calculus Process Calculi Multivalent logics Defeasible Logic BDI AbductiveLogic F-Logic Intuitionistic Non-monotonic Logics Skolemization Well-Founded SemanticsGood Old-Fashioned Artificial Intelligence and Semantic Web

Knowledge Representation and Reasoning: Lisp Prolog F-Logic Flora-2 Datalog Answer-SetProgramming Defeasible Logic Expert Systems DocAssemble lps.doc.ic.ac.uk

Semantic Web and Ontologies:RDFa RDFt RDF RIF SWRL OWL Cyc KBpedia SUMO UFO Protg

#LI-JN2

Job Purpose

• A clinical research coordinator will assist Principal Investigator or Co-investigators to monitor the administration and progress of a clinical trial.

Duties and Responsibilities

Primary Duties and Responsibilities

Clinical Trial

• Oversee overall clinical operations related to the conduct of the clinical trials.
• To adhere to compliance with Research Governance, Good Clinical Practice, Data Protection and Ethical Requirements.
• To ensure the study and study procedures are conducted in accordance with the study protocol
• To participate in patient recruitment.
• To ensure study entry criteria are fulfilled.
• To ensure informed consent procedure is followed.
• To coordinate patient visits for future tests and procedures.
• To schedule visit according to study protocol.
• To organize and participate in site initiation visit.
• To work in collaboration with study team to ensure trial preparedness.
• To monitor patients throughout the study to ensure study drugs are given according to protocol requirement.
• To arrange for clinical and laboratory investigations to be carried out according to protocol.
• Ensure results of investigations and X-ray films are collected.
• Maintains records of additional investigations for invoicing purposes.
• To collects and collates research data, ensuring its accuracy and completeness.
• Ensure timely and accurate transcription of information on source documents, paper case report forms (CRFs), or electronic CRFs.
• To label and ensure biological specimens are delivered in the correct conditions as specified in the trial protocol.
• To assist investigator(s) in adverse events / serious adverse events reporting.
• To maintain confidentiality on patient data.
• To work with pharmacy to maintain drug accountability logs.
• To raise payment request forms for billing to companies
• Creation and maintenance of all trial files, including the trial master file, and oversight of site files.

Secondary Duties and Responsibilities

Recruitment Plan

• To work with company in developing and implementing recruitment plan to ensure long-term recruitment target is met.

Job Specification/Requirements

• Life science diploma/ degree or nursing degree is preferred. The relevant degree subject area is life science or biomedical science.
• Ability to work both independently and in a team.
• Good communication skills.
• Good patient interaction skills.
• Be flexible and self-motivated.
• Ability to write clearly
• Possess excellent organisational skills.
• Enjoy paying attention to detail.
• Computer literacy.
• Ability to work flexibly with occasional weekends and late nights.

Job Description:

A career as a Research Assistant is an invitation to embark on a thrilling journey of exploration and discovery. By embracing the multifaceted roles, intricate responsibilities, and essential skills outlined, to become an indispensable part of the research community.

Research Assistant offers a gateway to unravel mysteries and contribute to the human knowledge. To thrive as a Research Assistant, a diverse skill set is essential, blending academic knowledge with practical proficiency.

Prior research experience is desirable but optional. We welcome candidates with a passion for research and a willingness to learn. Training and guidance will be provided to help you excel in this role to embrace the challenge, and curiosity.

You will be responsible for the following:

• Conduct literature reviews to gather relevant information.

• Assist in designing and conducting experiments.

• Collect, record, and analyse data using appropriate research methodologies.

• Prepare and maintain research materials and equipment.

• Assist in drafting research reports, presentations, and publications.

• Collaborate with team members to achieve research goals.

Requirements:

• A bachelor's degree in a related field (e.g., biology, psychology, economics, etc.)
• Strong analytical and critical thinking skills.
• Proficiency in data collection and analysis tools (e.g., SPSS, Excel).
• Excellent communication skills, both written and verbal.
• Attention to detail and strong organisational skills.
• Ability to work independently and as part of a team.

Interested applicants are invited to apply directly at the NUS Career Portal

Your application will be processed only if you apply via NUS Career Portal

We regret that only shortlisted candidates will be notified.

The Role

Institute of Operations Research and Analytics (IORA) at National University of Singapore (NUS) offers an exciting opportunity for a highly motivated Research Fellow to work on and manage analytics projects with our industry partners. The projects aim to develop new analytics tools utilizing unique datasets and research and experimental development on machine learning techniques.

Your project management and technical skills are the foundation of this role as you will be working within multidisciplinary and international project team of leading researchers. As an important and integral member of our research team, you will be managing some of our industry projects and working closely with faculty members, research scientists, and PhD students. Our researchers can mine terabytes of data, develop mathematical models and algorithms to derive new insights. Part of your job is to communicate complex data and algorithms into simple conclusions that will empower our industry partners to act based on the research insights. Your business knowledge, interpersonal/communication skills are therefore a requirement to thrive in a multi-functional leadership team.

About You

The University values courage and creativity, openness and engagement, inclusion and diversity, and respect and integrity. As such, we see the importance of recruiting talent aligned to these values and are looking for Research Fellows who have:

• a completed PhD in computer science, operations research, econometrics, statistics, or related field
• strong mathematical and programming background and problem-solving skills, with research experience in operations research
• evidence of managing research projects
• evidence of ability to conduct high-quality research
• an emerging track record of academic publications
• an ability to work in a collaborative team environment
• excellent communication skills

About Us

IORA conducts research on optimization, analysis and management of service systems, including model formulation, algorithm design, analysis of service strategies, and software development.

Our members come from academics and diverse segments of management that are advancing the philosophy of operations research and analytics. For more information on IORA, please visit the website: IORA

How to apply

To apply, submit a letter of application, CV, research example (e.g. journal publication), copies of teaching evaluations (if applicable), copy of graduate transcripts (showing highest degree awarded/or currently in process), names and contact information of three references. We regret that only shortlisted applicants will be notified.

Job Description

• Industry/ Organization Type: Chemical Manufacturing
• Position Title: Research Officer (R&D)
• Working Location: Central
• Working Hours: Monday to Friday (8.45 AM – 5.30 PM)
• Salary Package: Basic Salary up to $3,800 + AWS + Bonus + Transport Allowance + Flexible Benefits
• Duration: Contract (3 years – Renewable)

Key Responsibilities

• Develop new technologies for molecular and immunological assays.
• Integrate assays into prototype medical devices.
• Handle ordering and payment using the SAP system.
• Ensure that all assays and processes meet stringent quality standards and regulatory requirements.
• Analyze experimental data to draw meaningful conclusions and make recommendations for further research.
• Work closely with cross-functional teams, including R&D, production, and quality assurance, to ensure seamless integration of new technologies.
• Adhere to all safety protocols and guidelines to maintain a safe and compliant work environment.
• Identify areas for process improvement and implement changes to enhance efficiency and effectiveness.
• Any other ad-hoc duties as assigned.

APPLY NOW!!!

• Bachelor’s Degree in Life Sciences, Microbiology, Molecular Biology or relevant discipline
• At least 1 year of relevant research or laboratory R&D experience
• Experience in assay development is an added advantage

Kindly apply through ANY of the following methods:

• Submit your application by clicking the APPLY button;
• Email your resume to Job(at)anradus.com.sg. Kindly indicate #68611 on the email subject.

Anradus Application Policy: We value each application and ensure every resume is reviewed. Our process is efficient, typically concluding within 3 working days. If you do not receive communication from us within this timeframe, it’s likely that your application has not been shortlisted by our client. In such cases, we recommend continuing your job search to maximize your opportunities.

Anradus Pte Ltd | EA License No. 20C0161 | Angel Lim | EA Reg No.: R1769781

Funding Societies | Modalku is the largest SME digital financing platform in Southeast Asia. We are licensed in Singapore, Indonesia, Thailand, and registered in Malaysia. We are backed by Sequoia India and Softbank Ventures Asia Corp amongst many others and provides business financing to small and medium-sized enterprises (SMEs), which is crowdfunded by individual and institutional investors. And here at Funding Societies | Modalku we live by our core values:

• Serve with Obsession: Build win-win relationships for the long-term by having a customer obsession.
• Grow Relentlessly: Strive to become our best, most authentic selves.
• Enable Teamwork, Disable Politics: Only by forging togetherness, we help each other succeed.
• Test Measure Act: Stay curious and reinvent ourselves, through innovation and experimentation.
• Focus on Impact: Create impact through bias for action and tangible results.

We are seeking a passionate and strong leader in Data Analytics and Data Science to lead the strategy, development, and implementation of data-driven solutions across the organization. This role will oversee and manage the end-to-end process, from data collection, analysis, solution deployment and business integration.

What you will do:

• Data Strategy & Vision: Understand key company priorities and translate them into an actionable Data strategy to drive data maturity across the organization, enabling business growth, improve risk management, and enhanced customer experiences. 
• Team Leadership: Lead and mentor the Data Analytics and Data Science domain leads and their respective reportees to develop a high performance data team
• Influence Stakeholders: Partner with cross-functional teams such as Data Engineering, Product, Marketing, Sales, Risk, and Finance to drive data-driven initiatives, align on objectives, and ensure effective execution. 
• Data to Drive Business Impact:  Initiate new opportunities and continue existing projects where data can deliver analytics recommendations to drive key business metrics, and develop processes and frameworks to enable this.  

What we are looking at:

• At least 7+ years of experience in data analytics, data science, or related fields, with at least 3 years in a leadership role. Experience in  Financial Services, Fintech, and/or Tech companies and domain exposure to SME credit risk is preferred.
• Proven experience leading and managing teams in a fast-paced, high-growth company or fintech environment. Experience being a manager of managers is preferred.
• Proficient in SQL, Python or R and data visualization tools (e.g., Tableau, Qlik). Experience selecting and implementing tools for analytics and data science is preferred.
• Ability to translate complex data insights into actionable business strategies and influence stakeholders.
• Excellent communication skills, capable of presenting insights to non-technical stakeholders and influencing strategic decisions.
• Excellent problem solving and critical thinking skills  in a structured fashion
• Strong prioritization abilities according to business needs and constraints.

• Time off - We would love you to take time off to rest and rejuvenate. We offer flexible paid vacations as well as many other observed holidays by country. We also like to have our people take a day off for special days like birthdays and work anniversaries.
• Flexible Working - We believe in giving back the control of work & life to our people. We trust our people and love to provide the space to accommodate each and everyone's working style and personal life.
• Medical Benefits - We offer health insurance coverage for our employees and dependents. Our people focus on our mission knowing we have their back for their loved ones too.
• Mental Health and Wellness - We understand that our team productivity is directly linked to our mental and physical health. Hence we have Wellness Wednesdays and we engage partners to provide well-being coaching. And we have our Great FSMK Workout sessions too to keep everyone healthy and fit!
• Tech Support - We provide a company laptop for our employees and the best possible support for the right equipment/tools to enable high productivity

Our client is in Scientific and Medical industry. Due to their current expansion plan, they are looking for a Service Engineer to join their Engineering Team, in hopes of developing the current high performing team. They are located in the Central area – easily accessible.

Duties of Regulatory Compliance Specialist:

• Ensure compliance with regulatory standards for medical devices and biotechnology products, preparing and submitting necessary documentation.
• Assist in product registration, renewal, and change submissions, liaising with regulatory agencies and suppliers.
• Develop regulatory strategies and provide guidance during product development for timely market access.
• Maintain accurate regulatory documentation and records for submissions and approvals.
• Support Quality Assurance to ensure regulatory compliance and participate in audits when needed.
• Collaborate with internal teams to integrate regulatory requirements into product launches and provide regulatory training.
• Identify regulatory risks and develop mitigation strategies for product marketing and commercialization.
• Monitor post-market safety data, reporting adverse events as required by authorities.

Requirements:

• Degree in Life Science or related field
• Relevant experience

Interested candidates who wish to apply for the advertised position, please click APPLY NOW or email an updated copy of your resume/cv.

We regret that only shortlisted candidate will be notified

• Email Address: [email protected]
• EA License No: 19C9682
• EA Personnel No: R2199158
• EA Personnel Name: Soo Wei De

Work Location: Jurong West

Working Hours: Mondays to Thursdays: 7:30am to 5:00pm, Fridays: 7:30am to 4:30pm, inclusive of 1.0 hour lunch break

Contract Period: 30 December 2024 to 29 December 2025.

Job Description

• Provide teaching and learning support to teachers, for example, preparation of resources / materials for Science laboratory activities and enrichment programme.

• Label and keep records of existing and new Science teaching and learning materials and lab resources such as teachers’ desk copies, reference books, lab apparatus and chemicals etc. Maintain loan records of Science Resources.

• Pack and organise the resources in the Science Rooms. Ensure that the Science rooms are clean and conducive for lessons.

• Ensure lab equipment, materials and specimens are in good working conditions. Conduct stock-take at least twice a year. Maintain a stock book and breakage record to initiate ordering of replacements where necessary.

• Ensure proper disposal of waste materials such as sharp waste objects and chemicals.

• Ensure safety of pupils in the Science rooms. Report any incident to Science HOD/ Level Head. Maintain a laboratory incident log book.

• Check that first aid box is updated, safety devices in the laboratory, such as emergency eye-washers, showers and fire extinguishers are working.

• Provide administrative / logistical support for Science competitions, assessments and programmes collation of survey results and distribution of Science materials to pupils etc.

• Assist in carrying out safety briefings such as Laboratory Safety, equipment awareness (e.g. Microscopes).

• Any other duties assigned by the School

Job Requirement

• Diploma in Science or its equivalent

• At least one year experience in assisting HOD-Science in the execution of daily Science Laboratory Operational and Administrative duties.

• At least one year experience of providing support for Science programmes; STEM & Sustainability projects and Laboratory-based lessons in schools.

• Experience in creating digital resources such as presentations and videos according to Science Experiential Learning Experiences using powerpoint.

• Proficient in preparation and maintenance of Laboratory equipment.

• Fluent in written and spoken English.

• Good interpersonal, communication, planning and analytical skills.

• Has experience working with primary school students in school settings.

• Able to plan and work both independently and as part of a team

• Certified with standard first aid is not necessary but will be an advantage

EA: 22C1322

EAP:24124011

Delivery Assistant
Basic Salary - $1600 to $1800
Working Days - Mon to Fri + alt sat (8.30am to 5.30pm/8.30am to 12.30pm)
Working Location - Penjuru rd, transport pickup at Yishun, Sembawang and Marsiling

Job Description

• Assist Driver to check shipment and perform delivery to multiple locations
• Assist Warehouse Activity i.e. packing and picking whenever completed deliveries
• Any other ad-hoc duties

Requirements

• With min. 1yr packers, delivery attendants are welcomed to apply.
• Able to carry heavy load.
• Able to work on Saturday and Support on off-day / public holiday when required.

Interested applicants may choose to apply / Contact me your updated resume for our consultant to find you a suitable oppurtunities

Contact Number : +65 90839650

LIM JUN SHENG Reg No: R22104301

The Supreme HR Advisory Pte Ltd EA No: 14c7279

We are looking for dedicated candidates to support our research projects in either a part-time or full-time capacity.

Key responsibilities:

• Data Visualization: Create and maintain charts to present research insights effectively.
• Data Processing: Clean, organize, and analyze data using appropriate tools.
• Research Support: Assist with various stages of ongoing projects.

Requirements:

• Proficiency in Microsoft Excel
• Minimum Qualification: Diploma.
• Availability: Able to begin immediately upon selection.

Desired Skills:

• Attention to detail and accuracy
• Strong communication skills, particularly for phone verifications
• Ability to work both independently and collaboratively

Interested candidates, please email in your resume stating your full personal particulars, work experience, expected salaries and relevant qualifications (only shortlisted candidates will be notified).

Working hours: 1.5 - 2 hours between 1.30pm - 9.30pm

Working Location: Novena / Bukit Timah

Remarks: 3 lessons per week

Salary Range : $45 - $80 / hour

Teachers urgent needed for the following students' time slots:

• Date & Time: Mon-Thurs after 5.10pm Sat-Sun after 4.00pm
• Date & Time: Fri & Sun after 5.00pm，Sat after 9.00am

Responsibilities:

• Conduct 1-to-1 online/offline (@Novena) lessons
• Conduct group online/offline (@Novena) classes
• Create an engaging learning experience for students
• Inspire and motivate students to excel in attaining their objectives for having tuition classes: be it exam preparation and academic improvement
• Monitor learning progress and periodical exams
• Prepare and deliver lessons that facilitate active learning experiences
• Communicate clear objectives for students learning activities

Requirements:

• Diploma/Degree holder
• Familiar with government schools syllabus, or O/A Level, IGCSE, IB programme or Phonics
• Passionate in teaching and inspiring teenagers
• High level of professional integrity and good work ethic
• Flexible, able to manage change and ambiguity well and able to work under tight deadlines.
• Relevant teaching experience (preferred)
• Able to work on evenings and weekends

“This is in partnership with the Employment and Employability Institute Pte Ltd (“e2i”).e2i is the empowering network for workers and employers seeking employment and employability solutions. e2i serves as a bridge between workers and employers, connecting with workers to offer job security through job-matching, career guidance and skills upgrading services, and partnering employers to address their manpower needs through recruitment, training, and job redesign solutions. e2i is a tripartite initiative of the National Trades Union Congress set up to support nation-wide manpower and skills upgrading initiatives. By applying for this role, you consent to RMA Groups’s PDPA and e2i’s PDPA.”