Job Description:

We are seeking a Senior Cloud Architect to lead and manage Day1 implementation and Day2 operations for our cloud infrastructure. The ideal candidate will have extensive experience in cloud computing, particularly with Microsoft Azure, and possess strong leadership and troubleshooting skills to support various domain teams.

Key Responsibilities:

• Lead and manage Day1 cloud implementations and Day2 operations for Azure cloud environments.

• Troubleshoot and provide support across multiple domain teams, ensuring seamless cloud operations.

• Develop and execute strategic cloud solutions for large-scale IT projects.

• Communicate technical decisions and solutions clearly to senior management and stakeholders.

• Stay updated with the latest cloud technologies and best practices, ensuring cutting-edge solutions.

Mandatory Skills:

• Cloud Computing (Azure) Certifications, with Azure Solutions Architect Expert certification being advantageous.

• Strong knowledge of Microsoft .NET technologies, microservices architecture, and cloud technologies.

• Proficient in architecting cloud solutions and troubleshooting third-party cloud integrations.

Requirements:

• 8 to 10 years of experience in architecting large-scale IT projects.

• Expertise in cloud technologies, specifically Microsoft Azure, with relevant certifications.

• Strong understanding of cloud architecture, microservices, and best software development practices.

• System thinking skills with the ability to visualize and manage complex cloud architectures.

• Excellent communication skills, capable of articulating ideas to senior management and stakeholders.

• Strong problem-solving abilities and the ability to think creatively.

• A team player with excellent interpersonal skills and a customer-focused mindset.

• Self-motivated and energetic with a commitment to delivering high-quality results.

• Proficiency in written and spoken English.

• Assist in the development and optimization of ETL processes using PySpark and Databricks.
• Collaborate with team members to design and implement data models and architecture in AWS.
• Maintain and monitor data pipelines to ensure data quality and reliability.
• Utilize GitHub for version control and collaboration on codebases.
• Participate in code reviews and contribute to best practices in coding and data engineering.
• Support the team in implementing CI/CD practices for data workflows.
• Document processes and workflows for data engineering tasks.

• Familiarity with AWS services (e.g., S3, Redshift, Glue) and cloud computing concepts.
• Basic knowledge of Databricks and PySpark for data processing.
• Understanding of Git and experience with GitHub for version control.
• Awareness of DevOps principles and tools (e.g., CI/CD, Docker) is a plus.
• Databricks certification is a plus.

Intellimaticz Pte Ltd

Role: OpenShift Container Platform Engineer

Job Requisition Number: JR40361

Job Level: More than 10 years of experience (L4)

Location: Singapore

Role

OpenShift platform engineer will be responsible for ensuring the uptime, performance, and compliance of Red Hat OpenShift Container Platform (OCP) in accordance to bank standards. As an OpenShift Engineer, you will work with architecture, development, operations, and security teams to develop scalable and secure containerized environments using Red Hat OpenShift.

Having a strong background in Containerization, Linux administration, Virtualization, Networking, and Security will be required in successfully fulfilling this role; and in providing first class level 3 support.

Additionally, understanding application development lifecycles as well practical experience in working with continuous integration and continuous deployment tools as part of the container lifecycle will be useful.

Responsibilities:

· Design, implement, and configure OpenShift clusters and containerized applications.

· Develop and maintain technical documentation related to design, configuration, usage, troubleshooting, backup, recovery, etc., for all OCP environments.

· Provide Technical assessment and advisory in relation to design, installation, configuration, including system upgrade and migration of OCP environment, including the operators for OCP.

· Collaborate with development teams to onboard and optimize applications on the OpenShift platform.

· Implement best practices for containerization, orchestration, and automation using OpenShift.

· Troubleshoot Red Hat OCP configuration and services and container issues, working in collaboration with other relevant IT areas and vendor support towards a quick and effective resolution.

· Work on container security solutions and ensure compliance with security policies.

· Manage OpenShift clusters for performance, availability, and capacity planning.

· Perform assessments and health checks of existing solutions and provide best practice recommendation and guidance to Support team.

· Automate deployment process.

Experience (Mandatory):

· Minimum 10 years of practical experience in the implementation of OpenShift/Kubernetes environments

· Expertise with the RedHat OpenShift Container Platform/Kubernetes.

· Experience in dealing with container configuration management, especially Helm and app-of-apps concepts.

· Experience working with infrastructure as code technologies such as Ansible, Terraform.

· Knowledge of application development, ideally Java Spring Boot.

· Experience in CI/CD Pipeline.

Knowledge/Skills:

· Excellent interpersonal skills and clear communication style.

· Works in a collaborative fashion, elevates team results over individual results.

· Ability to work on multiple tasks simultaneously among changing priorities.

· Works well under pressure and resolve complex problems.

Please forward your resume in MS word format to [email protected]

Please do not send a PDF Format Resume. Send the following details

1. Notice period

2. Current Salary

3. Expected Salary

4. Visa Status in Singapore

5. Current Location

• Design, develop, and maintain scalable data pipelines and ETL processes using Hadoop and Spark.
• Write efficient and optimized data processing jobs in Scala to transform and load data.
• Utilize SQL for querying and manipulating data across various databases.
• Collaborate with data scientists and analysts to gather requirements and deliver data solutions that meet business needs.
• Monitor and troubleshoot data processing workflows to ensure high performance and reliability.
• Implement best practices for data quality, governance, and security.
• Document data engineering processes, workflows, and architecture for team knowledge sharing.
• Stay updated on industry trends and emerging technologies to continuously improve our data strategies.

• Bachelor’s degree in Computer Science, Engineering, or a related field.
• 3+ years of experience as a Data Engineer or in a similar role.
• Strong proficiency in Hadoop ecosystem components (e.g., HDFS, Hive, Pig).
• Hands-on experience with Apache Spark for big data processing.
• Proficient in Scala programming for data transformation tasks.
• Advanced SQL skills for querying and managing large datasets.
• Experience with data modeling, data warehousing, and ETL processes.
• Familiarity with cloud platforms (AWS, GCP, or Azure) is a plus.
• Strong analytical and problem-solving skills.

Assurity Trusted Solutions (ATS) is a wholly owned subsidiary of the Government Technology Agency (GovTech). As a Trusted Partner over the last decade, ATS offers a comprehensive suite of products and services ranging from infrastructure and operational services, authentication services, governance and assurance services as well as managed processes. In a dynamic digital and cyber landscape, where trust & collaboration are key, ATS continues to drive mutually beneficial business outcomes through collaboration with GovTech, government agencies and commercial partners to mitigate cyber risks and bolster security postures.

Responsibilities

Work with outsourced service providers and product principals to manage the delivery, operations as well as Tech Refresh for Microsoft suite of services:

• Microsoft 365 (such as Exchange Online, OneDrive, SharePoint Online, Teams, Viva etc.)

• Dynamics 365 including Power BI, Power Automate and Power Platform
• MS Enterprise Mobility Suite
• Microsoft Entra (configuring and setting up the synchronisation of on-premise AD with Microsoft Entra ID, federation services)
• Other Microsoft products such as Stream, Telephony services.

• Ensure the operations process and controls are clearly documented and operationalised

• Plan, design and support Technology Refresh and migration activities for the infrastructure services.

• Ensure smooth service delivery and implementation within the business context.

• Understand technical, quality management and security guidelines and policies and ensure operations processes and supporting systems comply with these policies and guidelines.

• Manage infrastructure operations and support and ensure delivery of services meet agreed service levels.

• Propose new solutions to enhance operational efficiency and improvement of infrastructure.

• Other duties as may be delegated by the Manager or Team Lead from time to time.

• Relevant studies in Computer Science, Information Systems, Information/Infocomm Technology, Computer or Electronics Engineering or related discipline.

• At least 3 - 6 years of relevant technical experience in a demanding, agile environment. Having prior managerial and leadership responsibilities is an added advantage for more senior roles.

• Proven record of successfully delivering high-impact, complex projects while managing risks.

• Able to work independently and as a good team player with analytical, management and planning skills. • Strong vendor and stakeholder management.

• Demonstrated ability to build and maintain relationships with a wide array of people at both junior and senior levels • Pro-active, dynamic and with good analytical/conceptual thinking and problem-solving skills.

• Excellent written, verbal communication, presentation, and negotiation skills.

• Agile related certification such as Certified Scrum Master is an added advantage.

Join us and discover a meaningful and exciting career with Assurity Trusted Solutions!

The remuneration package will commensurate with your qualifications and experience. Interested applicants, please click "Apply Now".

We thank you for your interest and please note that only shortlisted candidates will be notified.

By submitting your application, you agree that your personal data may be collected, used and disclosed by Assurity Trusted Solutions Pte. Ltd. (ATS), GovTech and their service providers and agents in accordance with ATS’s privacy statement which can be found at: https://www.assurity.sg/privacy.html or such other successor site.

Benefits

• A wholly-owned subsidiary of GovTech.
• We promote a learning culture and encourage you to grow and learn.
• A competency framework is in place to help you grow your career with us.

(A) Job Description:

· Responsible for projects detail design, prototype, commissioning and testing completed systems

· Liaise with Customer and internal team members to ensure good co-ordination, planning and meeting project schedule

· Coordinate and manage factory testing in both company premises and customer’s site.

· Responsible for integration of both hardware & software work as well as implementation

· Carry out proper execution of the integration/engineering/maintenance work and QA Technical checks throughout project execution

· Handle application programme change management, hardware deployment management & documentation

· Implantation of PLC/SCADA project from concept to design and programming

· Interface with SCADA & PLC programming

· Meeting with clients, reports and documentation

· Capable of performing troubleshooting independently

(B) Job Requirement:

· At least Degree in Electrical/Electronic or related discipline

· With at least 3-5 years of experience in PLC/SCADA

· Familiar with Safety PLC programming.

· Familiar with Siemens and Schneider PLCs.

· Able to read and interpret electrical schematics, plans, drawing etc.

· Able to work under pressure, multi task and good coordination of tasks

· Good interpersonal skills, able to work both independently and in teams

To Apply:

Please submit your LATEST resumes to [email protected] with the following details in MS Word format:

- Position applying for
- Current/Last remuneration
- Expected remuneration
- Notice period

We regret that only shortlisted candidates will be notified.

Lee Keck Ying | EA License No : 06C4642 | EA Reg No : R1877544

Since its inception in 2010, My Community has made its mark in the arts, cultural and heritage sectors. Its work has spurred the growth and development of a common-man approach to history where everyday experiences of Singaporeans are chronicled and celebrated.

Today, My Community’s core mission remains the same. The non-profit organisation works to capture and preserve community stories, reconnect people to places and social networks, and deepen heritage appreciation and expression across the country. It also advocates for greater community involvement in cultural management and urban governance processes.

My Community is supported by an army of 500 volunteers who work with a nimble team of staff to organise guided tours, exhibitions, festivals and other arts, heritage and placemaking programmes in Queenstown and beyond.

Job Description

• A passionate community researcher who is keen to work with the community stakeholders to develop a community-based participatory research model, heritage assessments and other research initiatives. Other key duties include training workshops and community outreach.
• To develop a sustainable and collaborative approach or process in community-based participatory research which involves the Board, volunteers, architects, designers, community stakeholders and clients.
• To co-curate exhibitions and galleries and conduct community-based participatory design workshops with residents and stakeholders.
• To work with clients and government agencies and implement community-based participatory research in the fields of cultural management and urban planning.
• To conduct training workshops for volunteers, community stakeholders and clients on My Community’s community-based participatory research model and other initiatives.
• To collaborate with the government agencies, volunteers and community stakeholders in preparing heritage assessments for intangible and tangible heritage in Singapore.
• To conceptualise, coordinate and prepare heritage research reports, documentation projects, publications and tour brochures.
• To research independently at archives and resource centres and conduct oral history interviews.

Requirements

• Keen interest in interacting with the community (residents, shopkeepers, students, diverse stakeholders and partners) on arts, culture and heritage.
• Master's or Doctorate Degree in History, Geography, Heritage/Cultural/Museum Studies, Cultural Management, Anthropology, Archaeology, Architecture, Urban Studies/Town Planning or related field.
• At least 3 to 5 year experience in research or within the heritage or museum sector.
• Proficient in ArcGIS/Carto/QGIS, Stata and Excel
• Proficient in community and cultural mapping, oral history interviews, surveys, data mapping and archival research
• Keen interest in Singapore's communities, building architecture, neighbourhood planning and layout, and history.
• Ability to speak and write in English and one of the national languages (Chinese, Malay or Tamil) fluently.
• Able to work on either Saturday or Sunday.

Job Description & Requirements

Responsibilities:

• Develop software solutions by studying information needs; conferring with users; studying systems flow, data usage and work processes; investigating problem areas; following the software development lifecycle.
• Determine operational feasibility by evaluating analysis, problem definition, requirements, solution development and proposed solutions.
• Document and demonstrate solutions by developing documentation, flowcharts, layouts, diagrams, charts, code comments and clear code.
• Prepare and install solutions by determining and designing system specifications, standards and programming.
• Improve operations by conducting systems analysis; recommending changes in policies and procedures.
• Update job knowledge by studying state-of-the-art development tools, programming techniques and computing equipment; participating in educational opportunities; reading professional publications; maintaining personal networks; participating in professional organizations.
• Protect operations by keeping information confidential.
• Provide information by collecting, analyzing and summarizing development and service issues.
• Accomplish engineering and organization mission by completing related results as needed.
• Support and develop software engineers by providing advice, coaching and educational opportunities.
• First and foremost, developing software our users need.
• Collaborate with team to brainstorm and create new products.
• Grow engineering teams by interviewing, recruiting and hiring.
• Make informed decisions quickly and taking ownership of services and applications at scale.
• Work collaboratively with others to achieve goals.
• Be a persistent, creative problem ­solver.
• Remain cool and effective in a crisis.
• Stay on the leading edge of development practices
• Passionate about great technologies, especially open source
• Understand business needs and know how to create the tools to manage them.

Requirements

• Bachelor's degree in computer science or related field.
• Minimum 3 years of programming experience.
• Broad experience designing, programming, and implementing large information systems.
• Ability to provide in-depth evaluation and analysis of unique complex technological issues.
• Excellent analytical and problem-solving skills.
• Excellent organization and time management skills.
• Excellent written and verbal communication skills.
• Demonstrated ability to lead others.
• Ability to exercise discretion and independent judgment in the performance of duties.

We are looking for highly motivated Senior Platform Engineers who can balance the day-to-day operations of Flo’s software systems with long-term software engineering to reduce operational toil. We need engineers who enjoy constantly learning and diving deep into the wide range of systems and technologies.

About Flo

Hi, we’re Flo, and we are on a mission to switch as many people and businesses as possible to clean, renewable energy.

We do that by making clean energy as cheap as conventional energy, investing in smart technology to reduce our operating costs and passing the savings to our members. And yes, it's not impossible.

We are pushing boundaries and breaking conventions of the traditional electricity retailer. To do so, we are looking for like-minded people who share our passion for technology and sustainability. You might be the one we are looking for!

Find out more about us on https://floenergy.sg/business/about

What you will be doing:

You will be engaging with multiple service owners across the platform to teach and implement modern interpretations of Platform, automation, SRE, observability and DevOps. This role is highly visible and impactful to the organization and will help shape Flo's Engineering culture for years to come.

• Write product or system development code.
• Review code developed by other engineers and provide feedback to ensure best practices (e.g., style guidelines, checking code in, accuracy, testability, and efficiency).
• Contribute to existing documentation or educational content and adapt content based on product/program updates and user feedback.
• Triage product or system issues and debug/track/resolve by analyzing the sources of issues and the impact on hardware, network, or service operations and quality.
• Build monitoring that alerts on symptoms rather than on outages.
• Improve operational processes (such as deployments and upgrades) to make them as boring as possible.
• Participate in, or lead design reviews with peers and stakeholders to decide amongst available technologies.

You will be a good candidate if you:

• 5 years of experience with software development in one or more programming languages.
• Knowledge of Infrastructure as a Code (IaaC) technologies like Terraform
• Knowledge of standard methodologies related to security, monitoring, and disaster recovery.
• Systematic problem-solving approach with effective communication skills

Good to have

• Technical experience in production infrastructure.
• Experience troubleshooting and debugging distributed systems.
• Ability to create an inclusive environment.
• Hands-on experience with AWS Cloud (or other Clouds)
• Hands-on experience with Kubernetes (AWS EKS)
• Hands on experience with stateful applications

Culture and benefits:

• Get involved in company Digital team development from the ground up to chart the future of Flo
• Work in an open-minded and dynamic environment with an enthusiastic team
• Budget and time to take on professional development courses
• Enjoy an attractive compensation package, generous time-off and work-life balance

Equal Opportunity Employer Statement

We are committed to building diverse teams and creating an inclusive workplace that enables all our employees to perform at their best, regardless of nationality, ethnicity, religion, age, gender identity or sexual orientation. We are dedicated to creating a work environment where everyone is treated with respect and dignity, and where all employees have the opportunity to reach their full potential. We believe each individual's uniqueness is invaluable and helps make our company better.

Join a fast-growing electricity retailer that's making renewable energy accessible for all

We are looking for growth minded people who share our values and beliefs. We would love to hear from you, even if you feel unsure about meeting every requirement listed above.

Join us as our new Senior Platform Engineer!

Your Career

You will work firsthand with our valued customers to address their complex post-sales concerns where analysis of situations or data requires an in-depth evaluation of many factors. You're a critical thinker in understanding the methods, techniques, and evaluation criteria for obtaining results. You'll enjoy networking with key contacts outside your own area of expertise, with a strong capability of detailing difficult technical issues to both non-technical and technical professionals.

You will regularly participate in technical discussions with multi-functional teams, creating an environment of transparency that ultimately leads to better products, better working environments, and better cybersecurity. Your quick thinking and support to our clients provides the fast assistance they need to keep their environments secure - which means you'll need to move quickly, thoughtfully, and provide technical assistance as needed (often, in high pressure situations).

Your Impact

• Provide Tier-3 Technical Support to customers and partners across JAPAC
• Provide configurations, troubleshooting and best practices to customers
• Manage support cases to ensure issues are recorded, tracked, resolved, and follow-ups are completed in a timely manner
• Provide fault isolation and root cause analysis for technical issues
• Publish Technical Support Bulletins and other technical documentation in the Knowledge Base
• Review of technical documentation for training materials, technical marketing collateral, manuals, troubleshooting guides, etc.
• Travel to customer sites in the event of a critical situation to expedite resolution as required
• Provide on-call support 24x7 on an as-needed basis

Intellimaticz Pte Ltd

Role: OpenShift Container Platform Engineer

Job Requisition Number: JR42663

Job Level: More than 10 years of experience (L4)

Location: Singapore

Role

OpenShift platform engineer will be responsible for ensuring the uptime, performance, and compliance of Red Hat OpenShift Container Platform (OCP) in accordance to bank standards. As an OpenShift Engineer, you will work with architecture, development, operations, and security teams to develop scalable and secure containerized environments using Red Hat OpenShift.

Having a strong background in Containerization, Linux administration, Virtualization, Networking, and Security will be required in successfully fulfilling this role; and in providing first class level 3 support.

Additionally, understanding application development lifecycles as well practical experience in working with continuous integration and continuous deployment tools as part of the container lifecycle will be useful.

Responsibilities:

· Design, implement, and configure OpenShift clusters and containerized applications.

· Develop and maintain technical documentation related to design, configuration, usage, troubleshooting, backup, recovery, etc., for all OCP environments.

· Provide Technical assessment and advisory in relation to design, installation, configuration, including system upgrade and migration of OCP environment, including the operators for OCP.

· Collaborate with development teams to onboard and optimize applications on the OpenShift platform.

· Implement best practices for containerization, orchestration, and automation using OpenShift.

· Troubleshoot Red Hat OCP configuration and services and container issues, working in collaboration with other relevant IT areas and vendor support towards a quick and effective resolution.

· Work on container security solutions and ensure compliance with security policies.

· Manage OpenShift clusters for performance, availability, and capacity planning.

· Perform assessments and health checks of existing solutions and provide best practice recommendation and guidance to Support team.

· Automate deployment process.

Experience (Mandatory):

· Minimum 10 years of practical experience in the implementation of OpenShift/Kubernetes environments

· Expertise with the RedHat OpenShift Container Platform/Kubernetes.

· Experience in dealing with container configuration management, especially Helm and app-of-apps concepts.

· Experience working with infrastructure as code technologies such as Ansible, Terraform.

· Knowledge of application development, ideally Java Spring Boot.

· Experience in CI/CD Pipeline.

Knowledge/Skills:

· Excellent interpersonal skills and clear communication style.

· Works in a collaborative fashion, elevates team results over individual results.

· Ability to work on multiple tasks simultaneously among changing priorities.

· Works well under pressure and resolve complex problems.

Please forward your resume in MS word format to [email protected]

Please do not send a PDF Format Resume. Send the following details

1. Notice period

2. Current Salary

3. Expected Salary

4. Visa Status in Singapore

5. Current Location

• Facilitate all software modifications and upgrades as part of the software maintenance to upkeep smooth operations of the system.
• Prepare and review SUCOs / SARs (Access request approval) before obtaining approval from customer

• Reports to O&M Manager & Assistant Manager.
• Deliver service and support to the O&M Team when requested.
• Attend to and manage all software or  hardware related errors.
• Work closely with System Administrator to resolve software and  hardware related issues.
• Diagnose and resolve technical hardware and software issues involving BHS Application, network connectivity and more.
• Gather information and determine the issue by evaluating, analyzing and isolating the details/symptoms.
• Follow standard processes and procedures.
• Identify and escalate priority issues.
• Redirect problems to appropriate resource.
• Reviews all system occurrences to prevent recurrence.
• Coordinate and follow up with  Hotline on all reported cases and communicate to the customer where necessary.
• Interact with the customer to provide and process information in response to inquiries, concerns, and requests about products and services.
• Provide guidance and training to CC room staff on all software related matters.
• Carry out training to staff and conduct practical test during off peak period.
• Coordinate with local equipment supplier/vendors (system related).
• Perform periodically review of system logs, operations report and follow up on action plans.
• Review monthly operations statistics together with the Manager.
• Provide monthly system performance analysis and generate required reports for stakeholders
• Develop and maintain installation and configuration procedures where necessary.
• Maintain operational, configuration, or other procedures where necessary.
• Schedule & deploy firmware updates & patches for equipment (Servers and Network devices) with vendors.
• Stay current with system information, changes, and updates.

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

Job Responsibilities:

• Perform programming and integration of the control systems.
• Carry out engineering, PLC and SCADA software interface programming.
• Develop process functional design including control write-up and control schematics.
• Develop hardware and software design specification and other software/test documentation.
• Carry out diagnosis and resolution of electrical, instrumentation and control systems issues.
• Ensuring on time completion of commissioning activities.
• Develop drawing/documentation as required for the project; and work together with lead engineer for document submission.

Job Responsibilities:

• Diploma in Electrical Engineering or equivalent
• At least 4 years of experience in Industrial/Process automation.
• Experience in building management systems will be advantageous.

COMPANY DESCRIPTION

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

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

RESPONSIBILITIES

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Skills listed below this line are preferred but not required:

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

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

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

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

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

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

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

#LI-JN2

COMPANY DESCRIPTION

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

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

RESPONSIBILITIES

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

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

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

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

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

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

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

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

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

Minimum qualifications:

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

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

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

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

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

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

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

Skills listed below this line are preferred but not required:

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

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

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

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

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

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

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

#LI-JN2

COMPANY DESCRIPTION

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

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

RESPONSIBILITIES

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

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

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

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

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

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

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

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

Minimum qualifications:

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

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

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

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

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

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

Preferred qualifications:

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

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

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

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

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

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

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

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

#LI-JN2

COMPANY DESCRIPTION

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

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

RESPONSIBILITIES

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

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

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

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

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

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

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

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

Minimum qualifications:

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

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

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

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

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

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

Preferred qualifications:

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

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

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

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

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

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

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

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

#LI-JN2

COMPANY DESCRIPTION

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

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

RESPONSIBILITIES

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

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

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

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

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

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

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

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

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

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

Minimum qualifications:

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

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

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

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

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

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

Preferred qualifications:

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

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

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

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

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

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

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

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

#LI-JN2

We are seeking an experienced Data Engineer with a strong background in Hadoop, Spark, and SQL, specifically within the banking sector. The ideal candidate will be responsible for designing, building, and maintaining large-scale data pipelines and platforms to support critical banking applications and decision-making processes.

Key Responsibilities:

• Data Pipeline Development: Design, develop, and maintain efficient data pipelines and workflows using Hadoop and Spark frameworks to support the bank’s data processing needs.
• Data Integration & ETL: Create ETL processes to extract, transform, and load large datasets into Hadoop ecosystems from various banking systems, ensuring data consistency and accuracy.
• Database Management: Write optimized SQL queries to manage and analyze data stored across relational databases, data lakes, and cloud platforms.
• Data Processing & Analysis: Implement scalable data processing solutions to analyze large datasets, provide insights, and deliver solutions for financial services and risk management.
• Collaboration: Work closely with business analysts, data scientists, and IT teams to ensure data solutions align with banking sector needs, including compliance with regulations and reporting requirements.
• Performance Optimization: Fine-tune Hadoop and Spark applications for performance, improving throughput and reducing latency.

• Bachelor’s or Master’s degree in Computer Science, Information Technology, or a related field.
• Strong years  experience as a Data Engineer, specifically within the banking or financial sector.
• Proficiency in Hadoop ecosystem tools (HDFS, Hive, HBase) and Spark for large-scale data processing.
• Strong experience with SQL and relational databases such as PostgreSQL, MySQL, or Oracle.
• Familiarity with cloud platforms (AWS, Azure) and containerization tools (Docker, Kubernetes) is a plus.
• Experience in data governance and compliance regulations within the financial industry.
• Excellent problem-solving and analytical skills.

• Salary: SGD 6000 - 9500
• Great Work Culture
• Includes comprehensive insurance for self and family. Includes Specialist and Dental Coverage.
• Includes Standard Annual and Sick Leave

As an AI research engineer, the candidate will work on an automatic disassembly for EoL waste management. The candidate will assist in:

• Research and evaluate state-of-the-art open and closed-source LLM models and Retrieval-Augmented Generation (RAG) techniques
• Process unstructured technical documents from automotive and EV products to extract relevant text and images using multi-modal LLM
• Assist in developing and refining LLM and RAG models to improve performance, accuracy, and efficiency.
• Collaborate with the team to integrate AI models into broader systems or applications, considering scalability and deployment strategies.
• Document findings, methodologies, and outcomes, contributing to internal reports and potentially patent applications.
• Engage in team meetings and contribute to brainstorming sessions aimed at driving project success.

As a robotics research engineer, the candidate will work on developing a new testbed towards automation autonomous disassembly process in e-waste management. The candidate will assist in:

• Development of the testbed to integrate sensors, robots, conveyor belts, workbench, controllers, etc.
• Programing and integrating industrial robots to perform tasks such as pick-n-drop and execution of disassembly action.
• Development and maintenance of prototype applications based on controllers such as Raspberry Pi and Arduino
• Improving trajectory planning algorithms to ensure high throughput of operations such as pick-n-drop
• Developing automated robot trajectory planning for robotic 3D scanning and disassembly, and automated generation and execution of disassembly actions.
• Closely communicate with other teams and presentation slides

This is a global, multi-discipline team responsible for architecting and delivering secure, robust, and innovative solutions which would enable the development teams to build and deploy new applications as well as migrate selected existing applications into the public cloud.

The team works with multiple public cloud providers and are presently looking for an experienced Cloud Engineer familiar with various cloud concepts, services, and tools, preferably from multiple public cloud providers but primarily in the Cloud Identity and Access Management (CIAM) space. The candidate will be involved in multiple aspects of the team’s work, including evaluation of new cloud products and services, and integrating them into standard client cloud solutions.

• Providing IAM solutions for migrating existing or integrating new applications in the Client environment across multiple Cloud providers including but not limited to Azure and AWS
• Provide IAM services for complex, multi-tier applications that are migrating to Cloud Platforms
• Selecting appropriate IAM Cloud controls for migrating applications based on given requirements
• Working in a globally distributed team to provide innovative and robust Cloud centric solutions
• Closely working with Vendors to develop and deploy Cloud services to meet customer expectations
• Integrate, configure, document, and deploy compliant infrastructure and supporting services in the Cloud platform
• Design, Optimization and Document the Operational aspects of the Cloud platform
• Troubleshooting problems, resolving root cause, and where possible, fixing the bug(s)
• Collaborate with Risk Management to ensure necessary controls to Cloud services are deployed and tested Skills Required:
• Strong knowledge of Azure AD and related services such as Conditional access, Identity protection, Privileged identity management, etc.
• Strong knowledge of authentication with SAML, OAuth, OpenID, and Kerberos
• Experience in providing Federated Identity with solutions such as PING Federate or ADFS
• Knowledge of the Zero Trust Architecture principles
• Prior experience in providing RBAC solutions for AWS and Azure
• Experience creating technical architecture documentation
• Strong communication and written skills
• Strong scripting and automation abilities including PowerShell and/or Python

Skills Desired:

• Prior experience in the Identity space with a background in Active Directory or similar LDAP stores
• Working knowledge of Azure Active Directory Connect synchronization software or similar technology
• Prior experience using compliance assurance tooling such as Prisma Cloud
• Prior experience with products from HashiCorp such as Terraform, Vault and Consul
• Prior experience with risk control frameworks and engagements with risk and regulatory functions
• Knowledge and experience of working with CI/CD frameworks and methodologies such as automated testing (unit / integration) and release pipelines (e.g. Jenkins, GitHub Actions)
• Experience in the financial industry