Roles & Responsibilities

You will provide direct nursing care and ensure quality care is delivered. You will also provide guidance to patients and caregivers on the prescribed care and treatment. In addition, you willparticipate in quality improvement projects to improve patient care delivery.

Requirements

· National ITE Certificate in Nursing

· Enrolled with the Singapore Nursing Board

· Good communication and interpersonal skills

· Able to perform 3 rotating shifts

Roles & Responsibilities

You will provide a high standard of care through assessment, planning, implementation and evaluation of nursing care to meet the needs of the patients, including educating patients and caregivers.You will also orientate and guide the junior nurses to provide optimal care to meet desired patient outcomes and experiences. In addition, you will assist in resource management as well as participate actively in quality improvement projects to improve patientcare delivery.

Requirements

· Degree or Diploma in Nursing from a recognized institution

· Registered with the Singapore Nursing Board

· Excellent communication and interpersonal skills

· Able to perform 3 rotating shifts

· Fresh graduates are also welcome to apply

Roles & Responsibilities

You will provide a high standard of care through assessment, planning, implementation and evaluation of nursing care to meet the needs of the patients, including educating patients and caregivers.You will also orientate and guide the junior nurses to provide optimal care to meet desired patient outcomes and experiences. In addition, you will assist in resource management as well as participate actively in quality improvement projects to improve patientcare delivery.

Requirements

· Degree or Diploma in Nursing from a recognized institution

· Registered with the Singapore Nursing Board

· Excellent communication and interpersonal skills

· Able to perform 3 rotating shifts

· Fresh graduates are also welcome to apply

JOB RESPONSBILITIES:

• Keep the sterile field intact and follow infection control protocols.
• Prepare, organize, and hand over surgical tools and supplies during procedures.
• Set up and check equipment and supplies before surgery.
• Help with instrument handling and communicate effectively with team members.
• Record relevant details and communicate with healthcare professionals and patient families.
• Help position and prepare the patient for surgery.
• Clean up the operating room and prepare for the next procedure

WORKING HOURS:

• 3 - 4 Day Office Hours

WORK PLACE:

• Central

JOB REQUIREMENTS:

• Diploma in Nursing
• SNB ( Staff Nurse )
• Have at least 1 year experience MOT / Day Ward Scrub exp

All qualified applicants, please click “ APPLY NOW”

Kimmy Low Yi Ting (Kim) | CEI Registration Number: R23112122

Recruit Express Pte Ltd Company Reg. No. 199601303W | EA LICENCE Number: 99C4599

JOB RESPONSBILITIES:

• Keep the sterile field intact and follow infection control protocols.
• Prepare, organize, and hand over surgical tools and supplies during procedures.
• Set up and check equipment and supplies before surgery.
• Help with instrument handling and communicate effectively with team members.
• Record relevant details and communicate with healthcare professionals and patient families.
• Help position and prepare the patient for surgery.
• Clean up the operating room and prepare for the next procedure

WORKING HOURS:

• 3 - 4 Day Office Hours

WORK PLACE:

• Central

JOB REQUIREMENTS:

• Diploma in Nursing
• SNB ( Staff Nurse )
• Have at least 1 year experience MOT / Day Ward Scrub exp

All qualified applicants, please click “ APPLY NOW”

Kimmy Low Yi Ting (Kim) | CEI Registration Number: R23112122

Recruit Express Pte Ltd Company Reg. No. 199601303W | EA LICENCE Number: 99C4599

Our client is a specialist clinic located at the city.

• Assist the Medical Director in the consultation room and procedures both in & outside the Centre.
• Assist in laser refractive procedures and other minor procedures.
• Maintain stocks & inventory of surgical consumables and upkeep of operating theatre and instrument sterility.

Requirements:

• Fully registered with Singapore Nursing Board
• At least 2 years of nursing experience in Ophthalmic/Surgical setting

If you are keen to apply for the position, kindly email your detailed resume in MS Word to [email protected]

Please note that only shortlisted candidates will be notified.

For more job opportunities, please visit our website at www.recruit-expert.com

EA Licence: 19C9701

Registration: R1326740

Role & Responsibilities:

• Checking and recording patients’ vitals before, during, and after dialysis treatment.
• Ensure all dialysis equipment is safe, complete and fully operational during and after each use
• Responsible for proper cleaning, sterilizing and storing of reused dialyzers
• Responsible to monitor and record patient’s vital signs during treatment and report any abnormality to staff f in charge.
• Assist other staffs and doctors during treatment and examination of patients on treatment.
• Perform other duties as assigned by Head Nurse.

Qualifications & Requirements:

• Diploma in Nursing or related
• Registered nurse with SNB
• Must be able to commit to rotating shifts.
• Training will be provided

We regret only shortlisted candidates will be contacted. All applications will be handled confidentially. By submitting your application, you agree to the collection, use, retention, and disclosure of your personal information to prospective employers.

EA License No: 20C0270

EA Personnel No: R22110981

EA Personnel Name: Law Mei Fong

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

NTI-NTU Corporate Laboratory is a collaboration between Nanofilm Technologies International Limited (“Nanofilm”, “NTI”), Nanyang Technological University (“NTU”) and supported by Singapore under RIE2025. The Laboratory’s objective is to propel Innovation and Technologies commercialisation through NTU’s innovation and NTI’s deep technology. NTI-NTU Corp Lab aligns with Singapore’s RIE2025 handbook – which emphasises the nation’s commitment to research and innovation, aiming to drive economic growth and address national challenges.

The Nanyang Technological University NTI-NTU Corporate Laboratory is looking for a highly motivated and experienced candidate to join us as Senior Research Fellow (SRF). The SRF will join in a cutting-edge interdisciplinary research project fund through the Industry-Alignment Funding scheme, aiming to developed novel coatings for biomedical implants.

The SRF will be responsible to design, develop, characterize and optimize the formulation of bioactive coatings for biomedical implants, as well as to manage the coordination of research between different stakeholders in order to achieve project KPIs.

Key Responsibilities:

• Conduct thorough literature review and generate periodic updates.
• Design, synthesize, characterize and optimize functional coating for biomedical implants, with particular emphasis on osteogenesis ability.
• Carry out assays and analysis to optimize and control functional performance (e.g. coating thickness, uniformity, assess active agents delivery effectiveness, degradation profile, mechanical strength etc).
• Carry out biochemical and biological assays to assess bioavailability and cytotoxicity of the developed products.
• Ensure compliance with health and safety regulations in all aspects of the research work.
• Develop and optimize protocols.
• Supervise junior research staff, undergraduate and graduate student projects.
• Manage logistical issues and laboratory inventory.
• Coordinate collaborative work within multidisciplinary team and external collaborators.
• Generate periodic progress report as required by funding agency.
• Disseminate research results in reputable peer-reviewed journals and/or international conference.

Job Requirements:

• PhD in Materials Science/Chemistry/Chemical Engineering or related fields.
• Experience in biomaterial, nanomaterials synthesis, functionalization, and characterization (e.g. TEM, XRD, DLS, FTIR, TGA, ICP, etc).
• Experience working with biopolymers, thin film coatings. Experience with osteogenesis relevant assays and techniques preferred.
• Experience in mammalian cell culture, tissue engineering, implants. Experience with animal work will be a bonus.
• A strong track record of research ability and demonstrated contribution to research (e.g., research publications, grant applications, patents).
• Good communication and writing skills.
• Excellent interpersonal skills, and ability to work in a diverse, international, and inter-disciplinary research environment.
• Ability to take initiative to improve processes and troubleshoot problems.
• Ability to work well with multiple competing priorities, manage projects and meet deadlines.
• A good team player and able to work independently with minimum supervision.

We regret that only shortlisted candidates will be notified.

Job Scope:

· Prepare FCs, counsel patient, submit insurance pre-approval forms.

· Dispense medication.

· Complete inpatient paperwork.

· Prepare and liaise with vendors from medicine to equipment.

· Prepare and list forsurgery (calling anaesthetists, OT, support vendors etc).

· Help in front-desk duties (pick up calls, register patients, schedule appointments etc) when needed.

Apply now by sending your resume to: [email protected]

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

Ashley Loo Yan Ni | R2095115 | EA License Number: 99C4599

Recruit Express Pte Ltd Company Reg. No. 199601303W

• Bedside nursing duties in nursing home

Job Requirements

• Min Degree / Diploma in Nursing
• Min 1 to 2 years of inpatient ward / nursing home experience

3 rotating shifts

Interested candidates, please forward your resume to [email protected]

Consultant: Huang Jingsheng Kevyn (R1333338)

Recruit Express Pte Ltd (99C4599)

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

Job Responsibilities

• Perform venepuncture for the collection of blood specimens for dispatch to the laboratory in accordance with the standards set.
• Sorts and records all blood specimens collected, and ensure that they are correctly labelled, and dispatched to the Laboratory in the correct mode
• Other ad-hoc duties as and when required

Job Requirements:

• Min 1 year experience in performing phlebotomy

Interested candidate, kindly send a copy of your resume to [email protected]



Adeline Lim Xin Ying [R23112000]

Email Address: [email protected]

Recruit Express Pte Ltd

EA Licence No: 99C4599

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.

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.

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.

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.

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

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.

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.

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