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

We are seeking a highly skilled and experienced Principal Scientist with a strong background in Computer Science or Mathematics to lead our efforts in the research and development of Privacy Enhancing Technologies (PETs). The ideal candidate will specialize in areas such as Multi-Party Computation (MPC) and Homomorphic Encryption (HE), with a proven track record of high-impact work in these fields. This role involves creating proofs of concept (PoCs) or software at higher Technology Readiness Levels (TRLs), developing new algorithms, and leading R&D teams to push the boundaries of what is possible with PETs.

Key Responsibilities:

• Research and Development: Lead innovative research projects to develop new algorithms that enhance the efficiency, security, and applicability of PETs like MPC and HE.
• Proof of Concept Creation: Design and develop advanced PoCs or TRL software that demonstrate the practical application and effectiveness of newly developed algorithms. This includes application of PETs in various domains like healthcare, finance, manufacturing, transport, etc.
• Team Leadership: Direct and mentor a team of research scientists and engineers, fostering a collaborative environment that encourages innovation and rigorous scientific evaluation.
• Collaboration and Networking: Engage with the broader scientific community to keep abreast of latest developments, share findings, and collaborate on cutting-edge projects.
• Publication and Dissemination: Author influential research papers for top-tier journals and conferences, and present findings at international forums to establish and maintain leadership in the field.
• Strategic Planning: Contribute to the strategic planning of the data security group by aligning R&D activities with long-term organizational goals.

Qualifications:

• Education: PhD in Computer Science, Mathematics, or a closely related field.
• At least 5 years of experience
• Experience: Extensive experience in Privacy Enhancing Technologies, particularly Multi-Party Computation, Homomorphic Encryption, Confidential Computing, or other PETs.
• Leadership: Proven ability to lead and manage R&D teams in a high-tech environment.
• Publications: A strong publication record in peer-reviewed journals and conferences, demonstrating significant contributions to the field of cybersecurity and PETs.
• Skills: Exceptional analytical and problem-solving skills, proficient in algorithm design, and adept at programming in languages suitable for scientific computing and cybersecurity applications.

Desired Attributes:

• Innovative thinker with the ability to challenge conventional approaches and pursue new methodologies.
• Excellent communication skills, capable of conveying complex technical details to diverse audiences.
• Strong organizational skills, with the ability to manage multiple projects simultaneously and meet deadlines.

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.

We are seeking a highly skilled and experienced Principal Scientist with a strong background in Computer Science or Mathematics to lead our efforts in the research and development of Privacy Enhancing Technologies (PETs). The ideal candidate will specialize in areas such as Multi-Party Computation (MPC) and Homomorphic Encryption (HE), with a proven track record of high-impact work in these fields. This role involves creating proofs of concept (PoCs) or software at higher Technology Readiness Levels (TRLs), developing new algorithms, and leading R&D teams to push the boundaries of what is possible with PETs.

Key Responsibilities:

• Research and Development: Lead innovative research projects to develop new algorithms that enhance the efficiency, security, and applicability of PETs like MPC and HE.
• Proof of Concept Creation: Design and develop advanced PoCs or TRL software that demonstrate the practical application and effectiveness of newly developed algorithms. This includes application of PETs in various domains like healthcare, finance, manufacturing, transport, etc.
• Team Leadership: Direct and mentor a team of research scientists and engineers, fostering a collaborative environment that encourages innovation and rigorous scientific evaluation.
• Collaboration and Networking: Engage with the broader scientific community to keep abreast of latest developments, share findings, and collaborate on cutting-edge projects.
• Publication and Dissemination: Author influential research papers for top-tier journals and conferences, and present findings at international forums to establish and maintain leadership in the field.
• Strategic Planning: Contribute to the strategic planning of the data security group by aligning R&D activities with long-term organizational goals.

Qualifications:

• Education: PhD in Computer Science, Mathematics, or a closely related field.
• At least 8 years of experience
• Experience: Extensive experience in Privacy Enhancing Technologies, particularly Multi-Party Computation, Homomorphic Encryption, Confidential Computing, or other PETs.
• Leadership: Proven ability to lead and manage R&D teams in a high-tech environment.
• Publications: A strong publication record in peer-reviewed journals and conferences, demonstrating significant contributions to the field of cybersecurity and PETs.
• Skills: Exceptional analytical and problem-solving skills, proficient in algorithm design, and adept at programming in languages suitable for scientific computing and cybersecurity applications.

Desired Attributes:

• Innovative thinker with the ability to challenge conventional approaches and pursue new methodologies.
• Excellent communication skills, capable of conveying complex technical details to diverse audiences.
• Strong organizational skills, with the ability to manage multiple projects simultaneously and meet deadlines.

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.

A Senior Research Fellow position is available in the laboratory of Assistant Professor Kazuyuki Kasahara at the Novena campus of the LKCMedicine. Gut microbiota influences many areas of human health from immunity to energy metabolism and host physiology. The goal of our research group is to understand how bacterial metabolism, diet-microbe, and microbe-microbe interactions influence cardiometabolic disease using experimental approaches. The RF/SRF will lead a project, recently funded by MOE, that explores the protective mechanisms of butyrate-producing bacteria against atherosclerosis. This research will primarily involve molecular biology and pathophysiology using genetically modified mice.

Responsibilities:

• Carry out an independent research project and collaborate with other researchers.
• Supervise junior members of the lab, including PhD students and undergraduate interns.
• Keep a log of lab material and conduct safety management and data management as necessary.
• Present research at lab meetings and national/international conferences.

Requirements:

• PhD in Biological Sciences or equivalent in any relevant field of life sciences with a demonstrated record of excellent problem-solving skills.
• Years of experience in disease-oriented molecular biology (preferably atherosclerosis) using mouse models.
• Deep knowledge and interest in microbiome biology.
• Strong research experience (minimum 5 years) and relevant skill sets in biomedical sciences (molecular biology, microbiology, immunology, animal handling, etc).
• Experience in mentoring and training junior researchers and students.
• Highly self-motivated and independent researcher with enthusiasm for research
• Strong team player with excellent organizational, communication and time management skills
• Strong motivation and leadership in pursuing challenging scientific questions.
• Be able to work independently and collaborate efficiently in a highly diverse and interdisciplinary team.

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.

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.

Join Our Team at the School of Physical and Mathematical Sciences, Nanyang Technological University, Singapore

The School of Physical and Mathematical Sciences (SPMS) at NTU Singapore hosts research and education activities in two divisions: Division of Mathematical Sciences (MAS) and Division of Physics and Applied Physics (PAP). MAS covers diverse topics ranging from pure mathematics to the applications of mathematics in cryptography, computing, business, and finance. PAP covers many areas of fundamental and applied physics, including quantum information, condensed matter physics, biophysics, and photonics. Over the years, SPMS has attracted talented individuals from around the world and Singapore to join as scientific leaders and researchers.

A one-year postdoc research fellow opportunity is available for the project "Power Efficient Spin-Devices via Orbital Current-driven Electronics (Orbitronics),” led by A/Prof. S.N. Piramanayagam at Nanyang Technological University, Singapore. The role seeks a candidate with expertise in electronic structure and transport theories, along with practical experience in magnetism and spintronics. The project aims to develop efficient methods for utilizing orbital currents in spintronic applications, involving numerical simulations of orbitally driven magneto-transport phenomena. The candidate will collaborate closely with experimentalists, actively contributing to experiment design and data analysis discussions.

Key Responsibilities:

• Carrying out theoretical and numerical studies on orbitally driven transport phenomena: orbital Hall effect, orbital Edelstein effect, orbital-to-spin conversion, current-induced magnetization dynamics, etc.
• Analyzing the above-mentioned phenomena by means of first-principles methods based on the density functional theory and quantum transport formalisms implemented in a home-built post-processing program.
• Finding suitable material candidates and optimizing device structures to fully harness orbital currents for spintronic applications.
• Collaborating with experimentalists in the group to design experiments and to analyze experimental data.
• Taking the role of bridging experiment and theory in the group, for example, explaining theoretical concepts to experimentalists.
• Presenting the results in domestic/international conferences and in the form of research articles in scientific journals.

Job Requirements:

• PhD in Physics or Material Science with expertise in first-principles calculations and a strong background in condensed matter physics and quantum transport theories.
• Research experience in magnetism, spintronics, or quantum transport.
• Proficiency in using computing clusters or supercomputers for large-scale simulations and familiarity with the Linux environment.
• Effective communication skills for discussions with experimentalists and clear explanation of theoretical concepts.
• Proficient in English, both written and oral forms is essential to conduct research.
• Ability to work independently on theoretical projects while collaborating effectively in a team with experimentalists.

The College of Science seeks a diverse and inclusive workforce and is committed to equality of opportunity. We welcome applications from all and recruit on the basis of merit, regardless of age, race, gender, religion, marital status and family responsibilities, or disability.

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

A Research Assistant position is currently available in the Division of Accounting in Nanyang Business School with a focus on auditing research. The incumbent will be encouraged to engage in behavioral auditing research.

The division seeks a diverse and inclusive workforce and is committed to equality of opportunity. We welcome applications from all and recruit on the basis of merit, regardless of age, race, gender, religion, marital status and family responsibilities, or disability.

Key Responsibilities:

• Conducting research on auditing, including data collecting, cleaning, analyzing, and reporting.
• Formulating strategies to analyze data and conduct research.
• Participate in hand-collection of data.
• Provide basic administrative support.

Job Requirements:

• Bachelor Degree in Accounting, or a related field, before the anticipated start date of 1 February 2025.
• Expertise in at least one of the areas of data analytics, statistics, and econometrics.
• Strong coding skills (one or more of R, Stata or Python).
• Prior experience in research projects using multiple databases.

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

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.

The Laboratory of Applied Human Genetics at the National Cancer Centre Singapore is a multi-disciplinary laboratory with specific focus on peritoneal malignancies and sarcoma. The direction of our laboratory is to solve real world clinical problems via sound scientific translation. Since the conception of our laboratory 7 years ago, we have now set up three scientific pillars of Therapeutics, Companion Diagnostic and CAPTIVATE (Target Generation) pipeline. Currently, we are working towards a first-in-human therapeutic developed in our laboratory. We are looking for an innovative, enthusiastic and highly motivated Research Fellow to work with a team of researchers in the area of cancer therapy for advanced metastatic cancers. Interested applicants should have an extensive molecular biology experience to uncover the MOA/structure of our therapeutic using cellular signaling, cell biology or protein structure approaches and possess the desire to translate basic science to make a clinical impact. Previous work with genomic / CRISPR / proteomic screens (or similar) to understand the molecular biology of key oncogenic drivers will be an added advantage.

Responsibilities:

- Establish bioassays for in-house screening pipelines to develop new therapeutics.

- Design complex experiments required for the projects.

- Drive and provide directions of ongoing projects.

- Contribute to grant writing, manuscript preparation and other dissemination activities such as presentations at local and international meetings.

Job Requirements:

- PhD in relevant areas of structural biochemistry, cancer biology, computational biology, pharmacology etc.

- Extensive knowledge in drug development (e.g. target selection, generation of new molecule and structural biochemistry) and deciphering MOA via cellular signaling and cell biology approaches will be an added advantage.

- Candidate experienced in drug design computational software and in-silico 3D remodeling for drug development will be advantageous.

- Prior experience in biotech industries related to drug discovery and development will be preferred.

- Prior relevant working experience with in vivo work will be an added advantage.

- Proficient in benchtop experiments.

- Good publication track record indicated by first author publications in high quality journals.

- Excellent written and verbal communication skills in English.

- Able to work independently and interactively in a team setting, motivated, responsible and a fast learner.

Sequential has developed the world’s first at-home skin test, that deeply analyses your skin genetics and skin microbiome. Giving you a complete picture of what you’re born with (genetics) and the environment you are in (the microbiome). https://www.sequentialskin.com/.

We have a great opportunity for a laboratory technician role to join Sequential team.The core functions of this role are to assist in the daily operation of our Molecular Biology team. These functions include performing accurate molecular-based testing, develop and validate molecualr assays.

Key duties include:

• Assist in conducting laboratory experiments related to skin microbiome analysis, including sample collection, DNA extraction, and microbial culture.
• Support senior researchers in performing molecular techniques such as qPCR, DNA sequencing, and microbiome analysis.
• Help in managing and maintaining laboratory equipment and inventory.
• Contribute to data collection, organization, and initial analysis.
• Maintain accurate and detailed laboratory records.
• Provide support in preparing reports, documentation, and presentations.
• Stay updated on basic microbiome and molecular biology techniques.

Qualifications:

• Diploma or Bachelor’s degree in Microbiology, Biotechnology, Molecular Biology, or a related field.
• Familiarity with basic laboratory techniques such as pipetting, sample handling, and microbiology protocols.
• Strong organizational skills and attention to detail.
• Eagerness to learn and work in a team-oriented environment.
• Basic computer skills for data entry and record-keeping.

Experience

• Hands-on experience on performing DNA-based test, e.g. DNA extraction, PCR and qPCR.
• Practical knowledge of basic microbiological handling techniques is highly preferred.

Attributes

• Aseptic techniques to avoid the potential for contamination are a must.
• Good time management skills are a must, in order to keep up with the pace of a busy production environment.
• Proven ability to work efficiently without close supervision.
• Act with integrity at all times and maintain a high standard of work.
• Willing to learn and have a “can-do attitude”.
• Able to take initiative, and work in a fair and responsible way.
• Can communicate clearly and effectively across multiple teams.

Job description

The National University Health System Virtual Care Centre (NUHS VCC) is an initiative where trained personnel provides tele-triage to patients and/or their caregivers. VCC will either provide advice and resolve the clinical question or escalate to the VCC clinician where appropriate. To facilitate the development and evaluation of VCC at NUHS a research team has been established. This team is now looking for a research assistant/associate with experience of conducting research projects to join the group. The successful candidate will support research fellow on the evaluation of VCC.

Primary Responsibilities

1. Assist in designing and implementing research-related tasks.
2. Assist in recruiting and coordinating research participants
3. Help with data entry, cleaning, and management
4. Assist in collecting and analysing data from various sources
5. Conduct literature reviews and summarize findings
6. Assist in developing research papers, reports, and presentations
7. Maintain accurate and organized records of research data and findings

Secondary Duties

1. Attend VCC-related meetings
2. Collaborate with the research team to achieve project goals
3. Assume additional responsibilities as assigned by the reporting officer/HOD.

Job Requirements

1. Master and/or Bachelor's degree in a relevant field (e.g. social sciences, psychology, biology)
2. Minimum 2-4 years of experience in hospital research is a plus.
3. Ability to work independently, and communicate effectively in English, both verbally and written.
4. Experience of applying for ethical review would be an advantage
5. Ability to maintain confidentiality and adhere to ethical research standard.
6. Driven and motivated, with potential to achieve research excellence.
7. Ability to generate experimental results leading to high impact publications.
8. Multi-lingual preferable

If the role sounds interesting to you, please contact ‘[email protected]’ to understand more on the role. Please indicate the position that you are interested in the subject heading.

*Only Singapore Citizens and Singapore Permanent Residents may apply.

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

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.

Job Description

The National University of Singapore invites applications for the position of Research Assistant / Engineer in the Department of Computer Science, School of Computing (SoC). SoC is strongly committed to research excellence in all its dimensions: Searching for fundamental results and insights, developing novel computational solutions to a wide range of applications, building large-scale experimental systems and improving the well-being of society. We seek to play an active role both internationally and locally in the core and emerging areas of Computer Science and Information Systems.

The Research Assistant will be responsible for working closely with the Principal Investigator and lab members on Safeguarding the Web Against Phishing and Prompt Injection Attacks. He/she should possess experience or interest in at least one of the following research areas:

• Algorithms & Theory
• Artificial Intelligence
• Programming Languages & Software Engineering
• Cyber Security

Qualifications

• Bachelors or Masters in Computer Science with a focus in AI/Machine Learning;
• Solid programming and application development skills with experience in PyTorch / TensorFlow or an equivalent deep learning framework.
• Possesses sufficient background in AI/Machine learning to read and understand methodologies in research papers

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

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.

Job Description

The National University of Singapore invites applications for the position of Research Assistant / Engineer in the Department of Computer Science, School of Computing (SoC). SoC is strongly committed to research excellence in all its dimensions: Searching for fundamental results and insights, developing novel computational solutions to a wide range of applications, building large-scale experimental systems and improving the well-being of society. We seek to play an active role both internationally and locally in the core and emerging areas of Computer Science and Information Systems.

The Research Assistant will be responsible for working closely with the Principal Investigator and lab members on Safeguarding the Web Against Phishing and Prompt Injection Attacks. He/she should possess experience or interest in at least one of the following research areas:

• Algorithms & Theory
• Artificial Intelligence
• Programming Languages & Software Engineering
• Cyber Security

Qualifications

• Bachelors or Masters in Computer Science with a focus in AI/Machine Learning;
• Solid programming and application development skills with experience in PyTorch / TensorFlow or an equivalent deep learning framework.
• Possesses sufficient background in AI/Machine learning to read and understand methodologies in research papers

Our client is a global MNC, one of the most established pioneers in the Chemical industry. Due to business needs, they are now recruiting a Planning Officer to be part of their Logistics Team for ongoing transformation projects. They are located in the West - easily accessible.

Duties of Planning Officer:

• Support the department in planning daily delivery schedules, buying plans, and managing monthly inventory control.
• Address and resolve delivery issues in collaboration with relevant teams.
• Perform administrative tasks, including raising purchase requisitions for inventory items.
• Coordinate and arrange mandatory training courses for workers.
• Maintain accurate records, including ISO documentation, for the department.
• Manage internal and external communications related to logistics.

Requirements:

• Diploma in related field
• Relevant experience in Delivery Planning

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

Aviation Safety Officer (Fresh welcome, training provided)

• Shift pattern will be 4 working days with 2 days off / 5 days work with 1 day off
• 12 hours permanent shift
• Location: islandwide
• Salary Package
  i. Gross salary: up to $2,850
  ii. Bonus of $2,500

Job Description

• Screening of passengers at designated zones
• Manual bag checks
• Usage of security screening equipment for screening purposes
• X-ray screening of checked in luggages
• Any other security related roles at Airport

Requirements:

• 1 N Levels / 1 O Level / WPLN 3 x Level 4

Tee Xin Li Reg No: R24121619

The Supreme Hr Advisory Pte Ltd EA No: 14C7279

Responsibilities

• Developing audit programs, and reviewing systems of internal controls.
• Performing audit tests to determine compliance with prevailing policies, procedures and regulatory requirements.
• Evaluating the efficiency and effectiveness in accomplishment of objectives and goals established for various organisational and functional activities.
• Identifying critical issues and recommending the appropriate courses of action / improvements for the organisation’s operations.
• Prepare and tabulate audit findings, and feedback and to follow up on agreed actions from previous audits.
• Travelling around the region is expected.
• Assist with ad-hoc duties.

Requirements

• Diploma/Degree in relevant disciplines
• Proficient in MS Office

Interested applicants please email your resume to [email protected]

Megan Ng Su Ting

CEI Registration No.: R23115059

Recruit Express Pte Ltd

EA Licence No: 99C4599

*** We regret that only shortlisted candidates will be contacted.

The Group You’ll Be A Part Of

This position will be part of the Business Operations team, based in Singapore, providing order fulfillment support to account team, as well as office general administrative support.

What You’ll Do

Order Fulfillment

• Responsible for order fulfillment activities
• Provide Slotting and Configuration support including submitting slot/configuration change CTL, NSR follow up, SAP quote update, POA review
• Generate weekly BSR, BOBJ, outstanding PO, weekly meeting and ACU reports
• Provide necessary support to complete tool shipment including resolution of shipping document issues
• Support quarter end closure, ensure that all documentation is accounted for revenue recognition
• Provide SAP/NSR training to AT as required
• Responsible for key related KPIs (ILT Changes, Configuration Accuracy, SRD stability)

Office General Administration Support

• Handling general correspondence, including phone enquires and postal mail
• Manage office cleaning contracts and janitors’ day to day work schedules
• Manage and procurement of office supplies, cleanroom supplies, pantry supplies, customer year end gifts and ensuring equipment are properly maintained
• Employees support such as business cards, name plates and corporate telco subscriptions enquires
• Support the business operations director during QxR cycles on GA OpEx forecast
• Any other task assign by the immediate supervisor

Who We’re Looking For

• Nitec/Diploma/Degree in Business administration or similar discipline
• 5 years’ relevant experience in order fulfillment, relevant to semiconductor field
• Familiar to Lam products and experiences is a plus
• Experience in office administration and contractor management is a plus
• Excellent knowledge with MS Office Suite especially with MS Excel and MS Power Point
• Familiar with SAP experience is a plus
• Good communication and interpersonal relations skill
• Independent and can multi-task
• Meticulous with good organizing skill

Responsibilities:

• Execute service and maintenance workflows efficiently.
• Coordinate with client representatives on all service/maintenance matters.
• Assist the supervisor in organizing teams for service tasks and delegating responsibilities.
• Manage daily client interactions, ensuring their expectations are met.
• Support the supervisor in troubleshooting and timely completion of security system services.
• Understand each client's business to ensure high customer satisfaction.
• Ensure all work complies with Workplace Safety and Health Act regulations.

Requirements:

• Minimum Nitec in Electrical/Electronic Engineering.
• At least 2 years of working experience in related field.
• Requires knowledge and practical experience with security systems (e.g., Integrated Security Management, Card Access Control, Intrusion Detection, and CCTV systems).
• IT/Network/Server knowledge is a plus.
• Transport allowance provided.

______________________________________________________

HOW TO APPLY :

Interested candidates, please submit your resume by clicking on “Quick Apply” or contact [email protected] for more details.

Please provide following information in the resume for immediate processing

1) Reasons for leaving current and/or last employment

2) Last drawn and/or current salary

3) Expected salary

4) Date of availability and/or Notice Period

All applications will be treated in strictest confidence and only shortlisted candidates will be notified

Wee Wai Dan

EA License No : 03C5391

EA Reg No : R22109628

Security Officers

• Able to commit 4 days work 1 day off, 3 days work 1 day off schedule.
• 12 hours permanent shift
• Location: islandwide
• Salary Package: $2,650 to $3,500 (Depends on experience)

Job Description:

• Incident Response, Manage Security & Safety Systems
• Prevent unauthorised entry into the premises
• Monitor CCTV
• Patrolling and clocking
• Access control duties

Tee Xin Li Reg No: R24121619

The Supreme Hr Advisory Pte Ltd EA No: 14C7279