The Centre for Sustainable Materials (SusMat) at the School of Materials Science and Engineering (MSE), Nanyang Technological University (NTU), Singapore, is inviting applications for a Research Fellow position in Prof. Ali Miserez’s research team. The role involves engaging in two key projects: 1) the application of peptide coacervates for nucleic acid delivery into cells, and 2) the use of peptide coacervates to enhance food safety through advanced detection methodologies. This position offers the opportunity to be part of a dynamic and collaborative research environment.

Key Responsibilities: 

• Experiment Design and Execution: Independently design and execute a range of lab-bench experiments, including the synthesis of novel peptide sequences and the in vitro delivery of nucleic acids. This role requires autonomy, proficiency in advanced cell culture techniques, and a commitment to producing accurate results.

• Biophysical Characterization: Employ techniques such as UV-vis and fluorescence spectroscopy, and dynamic light scattering for the characterization of peptide coacervates.

• Scientific Writing and Regular Presentations: Actively contribute to the drafting and publication of scientific papers, effectively communicating research findings. In addition, the candidate is expected to regularly present data and results at lab meetings, demonstrating strong oral communication skills.

• Mentorship and Supervision: Guide and support junior researchers, including students, in their projects and in mastering laboratory techniques and scientific practices, thereby fostering their growth and development.

• General Laboratory Duties and Professionalism: Maintain exemplary laboratory practices and professional conduct, including meticulous lab notebook upkeep, strict adherence to safety protocols, and the maintenance of lab housekeeping standards. Embrace teamwork, assist peers, and adhere to university policies, promoting a positive and collaborative research environment.

Job Requirements: 

• PhD in Biochemistry, Molecular Biology, Cell Biology, Materials Science, or a related field

• Proven laboratory research experience, particularly in peptide synthesis and advanced cell culture techniques

• A strong publication record in peer-reviewed scientific journals, demonstrating significant contributions to scientific research

• Demonstrable experience and a solid understanding of solid-phase peptide synthesis using a peptide synthesizer, UV-vis and fluorescence spectroscopy, dynamic light scattering (DLS), and other biophysical characterization techniques for peptide coacervates

• Proficiency in advanced cell culture techniques, focusing on the delivery of various types of cargo into cells

• Skilled in experimental design, data analysis, and interpretation

• Strong independent research skills and excellent collaborative abilities, showcasing effectiveness in working as part of a research team

• Excellent written and oral communication skills

We regret that only shortlisted candidates will be notified.

We are excited to announce an opportunity at School of Physical and Mathematical Sciences (SPMS) in Nanyang Technological University, Singapore. The Complex Systems Science @ NTU (led by A/Prof Cheong Kang Hao) and the STEM Learning Optimisation CoLab (led by Dr. Darren Yeo) are looking for passionate individuals to join our inter-disciplinary Science of Learning research team as a Research Fellow.

The successful candidate will be an integral member of an inter-disciplinary Science of Learning research team developing brain-based machine-learning predictive models for early identification of mathematical learning difficulties in kindergarten and early primary level students.

Key Responsibilities:

• Conduct independent research

• Handle grant-related administrative tasks (e.g., prepare and amend ethics documents)

• Conduct literature reviews, and prepare research progress reports and policy reports for stakeholders

• Supervise and lead a team of full-time and part-time research staff

• Play a central role in coordinating and running of neuroimaging study

• Develop and/or manage data analysis pipelines

• Coordinate between and liaising with faculty, collaborators, and stakeholders from different disciplines

• Carry any other duties as required by PI and co-PI(s)

Job Requirements:

• PhD degree in experimental psychology, biopsychology, cognitive psychology, educational neuroscience, NeuroAI, neuropsychology, neurology, psychiatry, cognitive neuroscience, AI in education, deep learning, biomedical engineering, computer science, and related fields

• Excellent oral and written communication skills with good command of the English language to perform literature reviews and write progress and research reports

• Knowledge and experience in social science research methodologies

• Good statistical knowledge and skills, including familiarity with statistical analysis tools (e.g., SPSS and R)

• Familiarity with neuroimaging software (e.g., SPM, AFNI, FSL)

• Familiar with coding (e.g., in R, MATLAB, Python)

• Experience with research project management and supervision of research staff and students

• Excellent organizational skills, project coordination and administration skills (e.g., in data management and storage), and able to work within tight deadlines

• Good leadership skills

• Self-directed learner who can effectively picks up relevant skills as needed

• Self-motivated, able to work independently to collect data, analyse data, and communicate findings

• Experience with conducting cognitive neuroscience and/or neuroimaging research with children and/or adults, especially using fMRI, will be preferred

• Experience with resting-state fMRI and/or naturalistic fMRI analyses will be preferred

• Experience with cognitive/neuropsychological assessment with children and/or adults will be preferred

• Experience with dissemination of research findings (e.g., conference presentations and research reports) and academic publication processes will be preferred

• Good knowledge of cognitive functions and cognitive neuroscience theories and techniques

• Good or working knowledge of machine learning techniques

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

Wee Kim Wee School of Communication and Information (WKWSCI) is one of the top communication schools in the world, ranking 6th on this year Quacquarelli Symonds (QS) World University Rankings. The Research Office is established to support all research works at WKWSCI.

Being part of the Research Office at WKWSCI, this position supports the grant administration function in advising and assisting faculty and research staff members in all aspects of internally funded research projects and other scholarly research activities.

Responsibilities:

Research Grant Administration:

• Provides effective administration of research grant call applications and management of awarded grants

• Assumes the role as SAP Concur reviewer and first-level approver and work with the Finance department to provide the fastest and smoothest approver flow.

Communication of Research Information

• Creates weekly research e-newsletter to communicate information on internal and external grant calls to faculty and research staff members.

• Develops content for the school’s website for research grants, projects and achievements.

• Develops Research-related publications (Research Brochures /Pamphlets)

• Assists with the organisation of the monthly WKWSCI Speaker Series (Research Talks).

Monitoring Research Budgets and Assets

• Monitor budgets and expenditures relating to research grants

• Monitor deadlines for the submission of expenditure reports as well as progress and final reports

Requirements:

• A degree holder from a recognised university

• Proven administrative skills including the ability to handle data with accuracy.

• Excellent reporting with some finance working knowledge would be essential.

• Preferably 2 to 3 years of relevant work experience. Prior working experience in an academic institution will be an advantage.

• Sound interpersonal, communication and analytical skills

• Strong organisational and problem-solving skills.

• Proficient in Microsoft Office (Excel, PowerPoint, word)

• Ability to do content management and creation of information on research (Website, social media and newsletters)

• Positive attitude with strong desire to learn new skillsets

We are excited to announce a Research Fellow opportunity at School of Physical and Mathematical Sciences (SPMS) in Nanyang Technological University, Singapore. The Complex Systems Science @ NTU (led by A/Prof Cheong Kang Hao) is looking for passionate individuals to join our research team. We welcome applicants with a doctoral degree (PhD) for the Research Fellow position in various backgrounds such as AI in education, deep learning, educational psychology, computer science and related fields.

Join our team on an exciting opportunity to develop a state-of-the-art Adaptive Learning Platform for higher education. This project focuses on leveraging AI to transform the educational experience in key academic areas. Our aim is to create a versatile, AI-driven platform that personalizes learning and adapts to diverse curricular needs. It not only generates unique mathematical problems but auto-grades responses. This initiative holds great potential for scalability and significant impact on student learning outcomes. The successful candidate will be responsible for overseeing the day-to-day operations of this research project.

Key Responsibilities:

• Conduct independent research

• Handle grant-related administrative tasks (e.g., prepare and amend ethics documents)

• Conduct literature reviews, and prepare research progress reports and policy reports for stakeholders

• Supervise and lead a team of full-time and part-time research staff

• Play a central role in coordinating and running of an educational research project

• Develop and/or manage data analysis pipelines

• Coordinate between and liaising with faculty, collaborators, and stakeholders from different disciplines

• Carry any other duties as required by PI and co-PI(s)

Job Requirements:

• PhD degree in AI in education, deep learning, educational psychology, computer science and related fields

• Excellent oral and written communication skills with good command of the English language to perform literature reviews and write progress and research reports

• Knowledge and experience in social science research methodologies

• Good statistical knowledge and skills, including familiarity with statistical analysis tools (e.g., SPSS and R)

• Familiar with coding (e.g., in R, MATLAB, Python)

• Experience with research project management and supervision of research staff and students

• Excellent organizational skills, project coordination and administration skills (e.g., in data management and storage), and able to work within tight deadlines

• Good leadership skills

• Self-directed learner who can effectively picks up relevant skills as needed

• Self-motivated, able to work independently to collect data, analyse data, and communicate findings

• Experience with dissemination of research findings (e.g., conference presentations and research reports) and academic publication processes will be preferred

• Solid understanding and practical experience in machine learning and deep learning techniques, with a focus on implementing and optimizing these technologies

• Proficient in BERT (Bidirectional Encoder Representations from Transformers), demonstrating a strong grasp of its applications and functionalities

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

We are excited to announce an opportunity at School of Physical and Mathematical Sciences (SPMS) in Nanyang Technological University, Singapore. The Complex Systems Science @ NTU (led by A/Prof Cheong Kang Hao) and the STEM Learning Optimisation CoLab (led by Dr. Darren Yeo) are looking for passionate individuals to join our inter-disciplinary Science of Learning research team as a Research Fellow.

The successful candidate will be an integral member of an inter-disciplinary Science of Learning research team developing brain-based machine-learning predictive models for early identification of mathematical learning difficulties in kindergarten and early primary level students.

Key Responsibilities:

• Conduct independent research

• Handle grant-related administrative tasks (e.g., prepare and amend ethics documents)

• Conduct literature reviews, and prepare research progress reports and policy reports for stakeholders

• Supervise and lead a team of full-time and part-time research staff

• Play a central role in coordinating and running of neuroimaging study

• Develop and/or manage data analysis pipelines

• Coordinate between and liaising with faculty, collaborators, and stakeholders from different disciplines

• Carry any other duties as required by PI and co-PI(s)

Job Requirements:

• PhD degree in experimental psychology, biopsychology, cognitive psychology, educational neuroscience, NeuroAI, neuropsychology, neurology, psychiatry, cognitive neuroscience, AI in education, deep learning, biomedical engineering, computer science, and related fields

• Excellent oral and written communication skills with good command of the English language to perform literature reviews and write progress and research reports

• Knowledge and experience in social science research methodologies

• Good statistical knowledge and skills, including familiarity with statistical analysis tools (e.g., SPSS and R)

• Familiarity with neuroimaging software (e.g., SPM, AFNI, FSL)

• Familiar with coding (e.g., in R, MATLAB, Python)

• Experience with research project management and supervision of research staff and students

• Excellent organizational skills, project coordination and administration skills (e.g., in data management and storage), and able to work within tight deadlines

• Good leadership skills

• Self-directed learner who can effectively picks up relevant skills as needed

• Self-motivated, able to work independently to collect data, analyse data, and communicate findings

• Experience with conducting cognitive neuroscience and/or neuroimaging research with children and/or adults, especially using fMRI, will be preferred

• Experience with resting-state fMRI and/or naturalistic fMRI analyses will be preferred

• Experience with cognitive/neuropsychological assessment with children and/or adults will be preferred

• Experience with dissemination of research findings (e.g., conference presentations and research reports) and academic publication processes will be preferred

• Good knowledge of cognitive functions and cognitive neuroscience theories and techniques

• Good or working knowledge of machine learning techniques

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

Job Description

• Deliver lessons in an engaging and dynamic manner, based on our curriculum and pedagogy
• Develop lesson materials and provide feedback to help students achieve visible improvement in academic results
• Engage students and help them realise their potential
• Teach Primary to Secondary Maths and Science Subjects

Requirements:

• Degree obtained from Singapore Local Government Universities
• Strong in Maths and Science Subjects
• Demonstrate passion in education – committed to nurturing the students and makes effort to continually improve yourself
• Dynamic and confident, with an approachable disposition
• Strong communication (both spoken and written) and interpersonal skills
• Required to work on weekends
• Candidates with prior teaching experience are preferred
• Fluent in both English and Mandarin

Country

Job Family

We show the world what people want.

Join GfK and help us shape tomorrow. As an NIQ company, we are the world's leading consumer intelligence firm, delivering the Full View™ on consumer behavior. We work to enable manufacturers and retailers better understand what consumers really want. Our name has inspired trust for over 89 years because we take pride in discovering new pathways to sustainable growth for our clients, our people, and our planet.

We are always looking for open-minded people who will grow with us, push boundaries, and pioneer disruptive methods in market research, data science, technology, and AI. If you share this passion to drive things forward and the integrity to insist on doing things the right way, we'll equip you to take your future into your own hands and play a leading role in our story.

Job Description

Key Tasks and Responsibilities

• Work closely with Client Directors to further build client relationships and maintain/grow accounts. (e.g. collaborate on proposals, costs, account reviews, lead presentations/ discussions, etc.).

• Independently able to lead and manage standardized as well as customized studies (Including designing Questionnaires/discussion guides, analysing and evaluating results, and report writing)
• Independently able to develop, implement, coordinate, and manage research projects in collaboration with the internal Research team, external consultants, & operations team.

• Actively drive issue-based analyses, build effective analytical presentations, and consultative storytelling to clients in a straight-forward way.
• Proactively advise line-manager of client status, problems, and opportunities

Requirements:

• Experience in Quantitative research is non-negotiable
• Competent and well-versed in all stages of market research (e.g. proposal writing, questionnaire design, sampling, data collection, data analysis, reporting, and presentation)
• Strong industry knowledge especially in the Brand Health Tracking domain.
• Experience in other disciplines such as U&A, segmentation, pricing, purchase journeys, and product and concept tests would be an added bonus
• Experience in managing a high volume of complex quantitative research studies under tight budgets and schedules.
• Good organiser with the ability to prioritise and multi-task
• Excellent written and verbal communication and presentation skills
• Ability to maintain a positive, motivational, “get things done” attitude
• Well-developed interpersonal skills for internal and external clients
• Proficiency in MS Word, MS Excel and MS PowerPoint

Personal Attributes

• Goal and action-oriented
• Able to work with tight timelines and multi-task/manage projects.
• Thorough with strong attention to detail
• Even temperament and balanced
• High energy with a positive ‘can do’ attitude and optimism
• Prepared to take ownership of issues and responsibility for actions
• Strong work ethics and reliability

• Able to work independently and collaboratively.
• Able to adapt quickly to changing market dynamics and client expectations.

Specific Qualifications

• At least 7-8 years’ experience in a market research role
• Bachelor’s degree or equivalent education in any discipline

We are an ethical and honest company that is wholly committed to its clients and employees. We are proud to be an inclusive workplace for all and are committed to equal employment opportunity, focusing on all of our employees reaching their full potential. 

We respect and value every employee regardless of race, ethnicity, gender, sex, sexual orientation, age, personality, experience, culture, faith, socio-economic status, or physical or mental disabilities.

We endorse the core principles and rights set forth in the United Nations Declaration of Human Rights and the Social Charter of Fundamental Rights of the European Union, promoting the universal values of human dignity, freedom, equality, and solidarity.

Learn more about how we are driving diversity and inclusion in everything we do on: https://www.gfk.com/about-gfk/diversity-and-inclusion

At GfK we work collaboratively with our colleagues but offer a flexible working approach, including dividing our time between office & remote working as well as the opportunity to flex our working hours around team core hours.

We offer an exciting work environment that brings people together. We encourage an entrepreneurial and innovative spirit and make use of the latest digital technologies. We are looking for self-starters, who accept challenges and create solutions.

Can there be a better place to take center stage in the digital revolution? We are excited to get to know you!

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

• Distributed AI algorithm design in autonomous driving scenarios for real-time object recognition and image segmentation.
• Design of attack and defense algorithms for perception models in autonomous driving scenarios.
• Testing for autonomous driving scenarios, including AI models and control strategies.
• Write research paper.

• Minimum PhD degree in Computer Science, Information Technology, Information Systems or closely related disciplines.
• Minimum 3 years of relevant research experience in trustworthy AI, adversarial attacks, or model interpretation.
• Basic knowledge/Proficiency in programming software/languages such as Python, Java, PyTorch and Tensorflow will be positively considered/ is required.
• Demonstrated experience and know-how on reinforcement learning, federated learning, adversarial attacks and real-time system design.
• Experience with at least one programming software/languages, such as Python or Java is preferred.
• Excellent working knowledge of image classification, object detection, image segmentation and reinforcement learning.
• Good analytical, technical and problem solving skills.
• Applicants with research publications in autonomous driving testing, real-time system design, adversarial attack and defenses area will be advantageous.
• Self-motivated individual who can work independently and also collaboratively with team members.

#LI-XL1

Research Assistant in the Laboratory of Assistant Professor Yusuf Ali.

Center for Leadership and Cultural Intelligence (CLCI) at Nanyang Business School, is seeking a suitable candidate for the position of Research Associate. The Research Associate will be part of a dynamic team of researchers involved in spearheading high-impact research on leadership and cultural intelligence. In addition, this role offers great opportunities for acquiring research skills and capabilities.

Key Responsibilities:

• Design and manage data-collection, including set-up and administration/coordination of surveys and field interviews

• Collate quantitative and qualitative survey data and managing the database

• Conduct literature review and data analyses

• Present information in both visual and written formats

Job Requirements:

• Master’s Degree, preferably in Psychology

• Proficient in Microsoft Office (e.g. Word, Excel, Powerpoint) and other data visualization software (e.g., Tableau)

• Proficiency in statistical packages (e.g., R, SPSS) will be an advantage

• Detail-oriented, meticulous and able to work independently under time pressure

• Excellent interpersonal skills

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

The Dementia Research Centre (Singapore) [DRCS], an establishment of the Lee Kong Chian School of Medicine (LKCMedicine) was set up to pioneer cutting-edge research initiatives, to enhance understanding of cognitive impairment and dementia spectrum disorders, clinically. DRCS is a multi-study research centre focusing on the pathobiology of Asian Dementia and models of care for cognitive disorders. DRCS is helmed by Associate Professor Nagaendran Kandiah, an internationally renowned clinician scientist in the field of dementia.

Position Overview:

We are seeking a highly skilled and motivated Research Fellow with a Ph.D. in Neuropsychology or Psychology to contribute to our center's ongoing research initiatives. The successful candidate will play a pivotal role in conducting critical research, employing neuropsychological testing, psychometrics, test validation, digitalization of tests, statistical analyses, and intervention strategies.

Responsibilities:

• Design and conduct neuropsychological assessments for research purposes.
• Develop and validate psychometric tests (pen and paper, digital) relevant to dementia research.
• Perform advanced statistical analyses with large data sets.
• Design research and conduct analyses to identify brain-behaviour relationships, developing new assessment tools, to contribute to advancements in neuroscience.
• Develop and execute interventional studies, encompassing both digital and traditional methods.
• Publish findings in peer-reviewed journals and present at conferences.

Requirements:

• A Ph.D. in Neuropsychology, Psychology, or a closely related field.
• Proven experience in neuropsychological testing, psychometrics, and test validation.
• Strong statistical analysis skills, including expertise in relevant software.
• Background in intervention work/studies highly appreciated.
• Excellent communication skills and ability to work collaboratively in a team.
• Strong publication record or potential to publish in reputable journals.
• Clinical experience highly valued.
• Superior proficiency in both written and verbal English.
• Proficiency in second languages and dialects highly regarded.

Benefits:

• Competitive salary commensurate with experience.
• Opportunities for professional development and career growth.
• Access to state-of-the-art research facilities and resources.
• Collaborative and dynamic work environment with a diverse team.
• Contribution to groundbreaking research in dementia studies.

Only shortlisted candidates will be contacted for interviews.

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

The Energy Research Institute @ NTU (ERI@N) invites applications for the position of Research Assistant.

Under the research programme INSPIRASI, the group is to develop a high performance fuel cell with special focus on the development of metallic bipolar plate and Al-driven controller.  The candidate is required to design, develop and carry out performance characterisation of single-cell and short stack.

Key Responsibilities: 

• Literature review on the effect of clamping force in PEMFC stack/cell

• Design and fabricate clamping fixture

• Design of the fabricate bipolar plate

• Single and short stack testing and characterisation

• Any other tasks as requested by the PI

Job Requirements: 

• Bachelor degree in engineering or relevant discipline

• Good knowledge in polymer electrolyte membrane fuel cell

• Prior experience in conducting performance characterization on polymer electrolyte membrane fuel cell

• Able to work independently to achieve the research milestones and tasks given

• Proficiency in English

We regret that only shortlisted candidates will be notified.

Are you passionate about inspiring curious minds to love Science while growing in a career that pays you well?

If your answer is a resounding YES, The Pique Lab WANTS you!

[About Our Team]

At The Pique Lab, we’re on a mission to create the best Science learning experience for students aged 9 to 16 in Singapore. Our lessons are meticulously crafted based on pedagogical research, data-driven methodologies and have one overarching goal: to make learning fun, shorten learning curves and help students develop a genuine appreciation for Science.

Over the past decade, we've grown from a pair of co-founders to a diverse team of over 80 team members across 10 departments. Our proprietary learning methodology and examination-centric materials have helped more than 20,000 students ace their Science examinations.

Our headquarters is in Singapore, with additional offices in China, Philippines and Malaysia. We take pride in our open, fast-paced and flat organisational structure where every team member is valued for their skills and competencies, not just their job titles.

We are looking for passionate Science lovers to join us to bring the joy of learning to more children. Who knows? You might be nurturing the next Albert Einstein or Marie Curie!

If you like the prospects of working in a close-knit team, leveraging tech to work hyper-efficiently while tackling challenges head-on, we’d love to talk to you about joining the team!

[Your Role]

As a Primary Science Teacher at The Pique Lab, you will be involved in:

1. Class & Learning Management – You will manage classes (online & onsite) effectively with a holistic understanding of your students’ learning needs and motivations
2. Lesson Preparation & Delivery – You’ll prepare for your lessons in accordance to our curriculum. In particular, you’ll devise ways to simplify Science concepts and highlight common misconceptions.
3. Publishing – You’ll share your knowledge by writing articles and producing videos, so that your students can continue to learn from you outside of the classroom.
4. Communication – You’ll communicate with parents on their children’s learning progress and make appropriate recommendations on how to improve further.

[Your Growth]

Your success as a Lower Secondary Science Tutor means a lot to us.

Rigorous training is provided during your first 9 months at The Pique Lab, which is aimed at increasing your confidence and expertise as a Primary Science Teacher.

You will start your career with us by undergoing the Teaching Associate Programme where you'll learn plenty of valuable teaching skills:

• Content Mastery: Solidify your fundamentals in the Primary Science syllabus by learning key concepts & examination question types. Understand how to apply a variety of answering techniques to tackle questions effectively.
• Attention Control: Discover how to make your lessons come alive, such that your students never get bored of them. Dive deep into delivery technicals such as coherency, clarity, tempo, gestures, expression and humour.
• Class Control: Pick up effective classroom management strategies, so that you're able to maintain a fun, yet disciplined teaching approach with your students.
• Performance Management: Learn how to use cues effectively to instil a stronger sense of confidence in your students & help them develop a stronger affinity for Science.
• Communicating With Parents: Understand how to communicate with parents, such that they are supportive and appreciative of your work.

After you've achieved mastery in your fundamentals, you can look forward to explore various career pathways (Specialist Track & Management Track) where we'll work closely with you to spearhead projects or manage teams.

[You, Our Ideal Candidate]

We’d love to have a chat with you if you meet the following criteria:

Required:

• Strong Background in Science: You should have a strong understanding in the subject matter - not just at the university level, but at a primary/secondary level, and hence be able to simplify complex Science concepts.
• Prior Teaching Experience: You should have some experience in teaching, not strictly limited to Science - be it commercial experience (e.g. teaching in MOE schools, tuition centres or private 1-1 classes) OR volunteering experience (e.g. coaching kids in after-school care centres).

Good to have:

• A Positive, Confident & Engaging Personality: You need to be comfortable engaging students at a group level & infuse joy and laughter in your lessons.
• Grit and Drive to Succeed: You must be committed to mastery and be willing to put in the hard work. You should have a clear idea on what you intend to pursue in your career, at least for the next 3 to 5 years,
• Ability to learn fast and think on your feet: You will be expected to pick up and apply strategies and techniques taught to you quickly, especially during the training period.

[Your Welfare]

1. [Biggest Takeaway] Mentorship, Training & Regular Feedback
2. Abundant Career Progression Opportunities in two different tracks: Specialist track and Management track
3. Competitive Remuneration, including a base salary (starting from $3,400/ month) plus a variable pay (which scales based on your contributions)
4. Annual Performance Bonus
5. Medical, Dental & Vision Benefits
6. Technology Benefits
7. Paid Leaves
8. Time-off From Work For Errands
9. Fully-stocked Pantry
10. Free Meals on selected school holidays and weekends
11. Company Socials
12. Work From Home Care Packages

[Take Note]

1. We respect your time commitment with us. As such, you'll be paid full salary, even during your training period.
2. There are no part-time teaching positions due to the amount of resources required to groom teachers to excellence.
3. We specialise only in Primary Science and will continue to deepen our expertise in this area within the next 3 to 5 years. If you're only keen to teach Mathematics or English, we're probably not a good fit for you.

Executive / Senior Executive (Clinical Research Officer) for the Health Screening Centre

Lee Kong Chian School of Medicine (LKCMedicine) is looking for Executive / Senior Executive (Clinical Research Officer) who is self-motivated, proactive in problem solving and a strong team player. The candidate will be part of the Health for Life in Singapore (HELIOS) Study team, a flagship Singapore population health study jointly conducted by LKCMedicine, National Healthcare Group and Imperial College of London. We aim to profile the health and behavior of up to 10,000 people from the general Singapore population over the next few years. We are conducting (1) surveys on health, lifestyle and dietary habits, (2) physical and functional measurements (e.g. anthropometry, strength, exercise test, spirometry, ECG, optical imaging and pulse wave velocity) and (3) biomarkers for chronic diseases.

The candidate will play a key role mainly in, but not limited to, the following roles:

• Take participants’ informed consent for study, verify eligibility and systematically performing drug and supplement verification.

• Assist in collection of biological samples for research.

• Assist in conducting health and lifestyle questionnaire, dietary and/or cognitive assessment.

• Perform physiological assessment according to Standard Operating Procedures and record measurements. These physiological assessments include body composition, lung, eye, skin and heart function using sophisticated medical devices (training will be provided)

Candidates should have:

• Passion to make the difference in the society through research and/or serving the community

• A positive attitude and ability to learn new skills are essential attributes to succeed in this role.

• Diploma / Degree in Allied Health / Biomedical Sciences or similar disciplines. Fresh graduates are welcome.

• Excellent communication (oral and written) and interpersonal skills.

• Fluent in spoken and written English. Fluent in Malay, Tamil, Chinese or dialects would be of advantage. 

• The ability to work independently with high levels of motivation.

• Certification on Good Clinical Practice, phlebotomy, CPR & AED would be of advantage.

Executive/ Senior Executive, Clinical Research Officer (Biobanking) in the Health Screening Centre

Lee Kong Chian School of Medicine (LKCMedicine) is looking for a full-time Executive/ Senior Executive, Clinical Research Officer (Biobanking) for the Health for Life in Singapore (HELIOS) Study. This study is undertaken jointly by LKCMedicine, National Healthcare Group and Imperial College of London (www.healthforlife.sg). It aims to profile the health and behaviour of people from the general Singapore population. The scope of the study is segmented into (1) surveys on health, lifestyle and dietary habits, (2) physical and functional measurements (e.g. anthropometry, grip strength, exercise test, spirometry, ECG, optical imaging and pulse wave velocity) and (3) investigating biomarkers for chronic diseases. We have just received funding for Phase 2 of the study and are expanding our biobanking team to allow the study to reach out to more people.

The Clinical Research Officer will play a key role in supporting the study, mainly in, but not limited to, the following roles:

• Receive and process biological samples for banking purposes; with accuracy and in a timely manner without compromising sample quality.

• Assist in frozen sample retrieval and sorting.

• Perform nucleic acid (DNA and RNA) extraction and quantification.

• Perform daily routine measurements on analytical systems.

• Monitor quality standards by verifying equipment function through routine equipment maintenance, running daily quality controls and calibrations.

• Perform general administrative work such as tracking the supply of daily consumables and coordinate with vendors/suppliers on procurement matters.

• Able to commit to rotating shifts; afternoon shifts on weekdays, and on Saturdays.

Training will be provided to level the skillsets needed to perform these roles.

Candidates should have:

• Diploma/degree in biomedical sciences, biotechnology or related fields

• Relevant professional experience with technical laboratory operations (advantage)

• A positive attitude and work ethics, and is a team player

• The ability to learn new skills, which is an essential attribute to succeed in this role

• A sense of responsibility, detailed and meticulous, pro-active and a self-starter

The Centre for Lifelong Learning and Individualised Cognition (CLIC) invites applications for the position of Principal Research Scientist.

Key Responsibilities:

• To support CLIC Directors Prof Zoe Kourtzi (University of Cambridge) and Prof Annabel Chen (Nanyang Technological University) in providing leadership and day-to-day management of all CLIC research activities

• To supervise and coordinate all CLIC programme staff (senior research fellow, research fellows, research associates, assistants and administrative staff) employed in Singapore

• To facilitate co-ordination and communication between PIs from the University of Cambridge (UK) and Nanyang Technological University (Singapore)

• To facilitate efficient work integration across the different individual work packages

• To contribute scientific leadership on the CLIC programme of research, with a particular focus on the neuroscience of learning across the lifespan. Subject to the approval of the funder, it is anticipated that the post holder would be part of the principal investigator team for CLIC.

• To provide oversight of required academic inputs to funder reporting and grant terms compliance processes to ensure high-quality, programmatically synergetic communications with funder and funder advisory committees

• To be responsible for ensuring the programme’s ethics and governance responsibilities are properly fulfilled

• To promote CLIC research activities within Singapore and internationally, with a view to widening the international research impact

• Communicate material of a specialist or highly technical nature to a wide range of scientific and non-scientific stakeholders

• Develop links with external contacts such as other educational and research bodies and Singapore government ministries, agencies and other stakeholders

• Preparation of proposals and applications to external bodies, e.g., for funding and contractual purposes to continue, further support and/or progress the research goals of the CLIC programme

• To conduct individual and collaborative research projects within the scope of the CLIC programme and write up for presentation and publication

• Develop links with external contacts such as other educational and research bodies and Singapore government ministries, agencies and other stakeholders

• To originate and develop external networks, for example to identify sources of funding, or build relationships for future activities

• Manage the use of research resources and ensure that effective use if made of them, manage/monitor research budgets

Job Requirements:

• PhD in the relevant specialist subject area

• Expertise in the science of learning, with a particular focus on cognitive neuroscience methods and mechanisms of learning in young people

• Experience of data management and analysis, with great attention to detail and excellent record keeping

• Experience of experimental design, data quality control, data processing, statistical analysis, and integration and visualization of data from multiple platforms

• Strong abilities in strategic thinking and planning; the ability to guide and harmonise several programmes of work and oversee and coordinate multiple teams and management arrangements

• Ability to work both in a team and pro-actively, using own initiative to prioritise and manage own workload, to work under pressure and meet tight deadlines and maintain confidentiality

• Role holder must have excellent IT skills and data analysis experience

• Flexibility, good time management and ability to prioritise a diverse and changing workload

• Experienced in conducting individual and collaborative research projects

• Enthusiastic to undertake management and administrative duties and have a track record of securing research funding

• Proven ability to lead and inspire a team and work with vision and foresight

• Ability to support staff individual and team growth, and in doing so promoting a productive and supportive culture

• Possess sufficient administrative skills to manage projects including financial management

• Ability and willingness to be located in Singapore

• Extensive prior experience and deep knowledge of the Singapore research environment, in particular, experience with setting up local research infrastructure, conducting human psychological research, and liaising with local research entities

Please apply by uploading your CV and academic transcript to NTU job portal link.

If you have any questions, please feel free to reach out to us at clic@ntu.edu.sg.

We regret that only shortlisted candidates 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 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

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

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

• Permanent position with variable bonus.
• Experience in full cycle of GL.
• Comfortable with high volume in GL.

Job Description

• To be responsible for the financial accounting of companies under the Motors Singapore Group.
• Co-ordinate with shared services centre relating to accounting operations including day-to-day finance operations so as to keep proper accounting records and meetreporting requirements on time.

Job Content

Financial accounting

• Prepare monthly closing journal
• Prepare / Review monthly accounts reconciliations and schedules
• Review monthly inventories ageing report for adequate NRV
• Control chart of a/c, review consistency, control a/c creation and archive
• Review stock take reconciliation
• Assist FM in annual policy renewal review
• Audit review support (External and GCAD review)
• Ensure compliance to accounting standards
• Preparing and submit Benefit in Kind (BIK) - Car and Car-related Benefits
• Annual Statutory Accounts, XBRL

GST and Tax

• Review GST submission workings and GST reconciliation test
• Prepare tax & deferred tax computation for accounting provision
• Finalise corporate tax computations for review by HO and tax consultants

Fixed Assets and Capex

• Review and maintain record for capex for new / replacement of fixed asset requisition
• Maintain asset register
• Maintain demo car record for every franchise and prepare costing for demo disposal and registration Capex

IT Matters

• Implement and test new programs developed to ensure that they function correctly based on our requirement.
• Set up parameters and interfaces in GDMS for new models and/ or franchise.

• Qualifications - Diploma holder in Accounting & Finance with 4 years of working experience or Degree holder in Accounting & Finance with 2 years of working experience
• Good Excel skills
• Able to work in fast-paced environment

Kindly note that only shortlisted candidates will be notified.

Triton AI Pte Ltd

Registration Number: R23118389

EA: 21C0661

• Permanent position
• MNC and fast-pace environment
• Variable Bonus

• Permanent position with variable bonus.
• Experience in full cycle of GL.
• Comfortable with high volume in GL.

Job Description

• To be responsible for the financial accounting of companies under the Motors Singapore Group.
• Co-ordinate with shared services centre relating to accounting operations including day-to-day finance operations so as to keep proper accounting records and meetreporting requirements on time.

Job Content

Financial accounting

• Prepare monthly closing journal
• Prepare / Review monthly accounts reconciliations and schedules
• Review monthly inventories ageing report for adequate NRV
• Control chart of a/c, review consistency, control a/c creation and archive
• Review stock take reconciliation
• Assist FM in annual policy renewal review
• Audit review support (External and GCAD review)
• Ensure compliance to accounting standards
• Preparing and submit Benefit in Kind (BIK) - Car and Car-related Benefits
• Annual Statutory Accounts, XBRL

GST and Tax

• Review GST submission workings and GST reconciliation test
• Prepare tax & deferred tax computation for accounting provision
• Finalise corporate tax computations for review by HO and tax consultants

Fixed Assets and Capex

• Review and maintain record for capex for new / replacement of fixed asset requisition
• Maintain asset register
• Maintain demo car record for every franchise and prepare costing for demo disposal and registration Capex

IT Matters

• Implement and test new programs developed to ensure that they function correctly based on our requirement.
• Set up parameters and interfaces in GDMS for new models and/ or franchise.

• Qualifications - Diploma holder in Accounting & Finance with 4 years of working experience or Degree holder in Accounting & Finance with 2 years of working experience
• Good Excel skills
• Able to work in fast-paced environment

Kindly note that only shortlisted candidates will be notified.

Triton AI Pte Ltd

Registration Number: R23118389

EA: 21C0661

• Permanent position
• MNC and fast-pace environment
• Variable Bonus

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

• Design and implement hybrid program analysis + AI solutions for automatic application partitioning for deployment on TEE.
• Build benchmarks and conduct evaluations to validate the effectiveness of the algorithms and tools.
• Write and publish research papers and present them to reputable and top-tier academic conferences.
• Package the documents, implementation code, evaluation results of the project for release.
• Liaise with other team members of this project and industry/government agency collaborators to realize the overall goal of the project.

• Minimum PhD degree in Computer Science, Software Engineering, or closely related disciplines.
• Strong relevant research capability as evidenced by at least 3 first-authored full-length papers in major Software Engineering / Cybersecurity / AI research conferences / journals. At least one of them must be published in a top venue.
• Excellent knowledge of software security, software engineering, and AI.
• Excellent proficiency in programming.
• Excellent in designing and implementing algorithms and data structures.
• Excellent oral and written communication skills.
• Excellent analytical, technical, and problem-solving skills.
• Self-motivated individual who can work independently and also collaboratively with team members.
• Able to work under strict deadlines.
• Prior relevant research experience in Trusted Execution Environment (TEE), evidenced by research papers on reputable venues, will be advantageous.

#LI-XL1