Job description:

• Be the point of contact for servicedesk
• Provide 1st and 2nd level support to troubleshoot IT issues
• Provide assistance & support to IT Projects
• Assist in the daily running of data center and server management
• Assist in procurement, document control, asset tracking & administration.

Requirements:

• 2 - 5 years of IT Technical, end-user support working experience
• Experience in creating user’s account and mailboxes on AD and Exchange
• Good knowledge on antivirus management e.g. Windows Defender, Symantec, McAfee
• Good knowledge on repair PCs and notebooks such as O/S and Office Application troubleshooting
• Good knowledge in diagnostic of hardware issues on PCs and notebooks
• Knowledge in vendor management such like negotiation of pricing, vendor quotation, etc
• Able to work independently as well as in a group
• Good organization, communication and interpersonal skills

MAIN RESPONSIBILITIES

· Attend to all sales enquiries, prepare quotations to meet customers’ needs

· Follow up with customers to close the deals (client list will be provided)

· Promote in-house products to customers from the backend

· Process invoices and follow through till payments are received

· Coordinate and work closely with Logistics team to ensure on time delivery and ensure customer satisfaction

· Coordinate and work closely with External Corporate Sales team to understand customers’

needs and problems

· Monitor sales of companies and devise plans to improve sales of companies with slowing sales

· Highlight companies with unusual sales pattern to the External Corporate Sales team and the management

· Understand market demands and trends, work with HODs to expand scope

REQUIREMENTS

· Strong written and verbal communication skills to liaise with English & Mandarin speaking clients

· Comfort with multi-tasking independently in a deadline-driven environment

· High level of organization, attention to detail and time management skills

· Strong desire to learn along with professional drive

· Excellent knowledge of Microsoft Office

· Passion for the b2b hardware industry and its best practices

Working Hours

Weekdays 8.30am – 5:30pm

Every Saturday 8.30am – 12:30pm (Duty Rotation till 2pm)

After confirmation, alternate Saturday.

Job Description

• Lead, Plan, organize, supervise and liaise closely with operation team on all lifting activities.
• Overall in-charge for preparing lifting and erection plan for all the Crawler or Mobile Cranes.
• Prepare, develop and review Lifting plans, Method Statement, Risk Assessment and Safe Work Procedure of all executive teams for any lifting activities.
• Conduct routine checks and inspections on work site to ensure compliance with authorities and client’s requirements.
• Daily walk about around assign areas of site and make a note of compliance and non-compliance to HSE operating procedure and works are carried out safely.
• Able to prepare and review lifting plan and coordinate site lifting supervisors, riggers and signalman, and being the focal point for all site lifting operations Perform discipline checks of the procedures and analysis.
• Read project specifications and provide feedback from an engineering perspective. Liaise with clients, and project teams.
• Coordinate and interface with Client/ other contractors to harmonize the onsite lifting arrangement.
• Conduct safety assessment & discussion with EHS team (safety) for any latest safety policy and implement the safety requirement when needed.
• Periodically monitor and implement any procedural changes according to the local authority / client’s requirement & regulation updates.
• Periodically monitor and execute the lifting work improvement at lifting site inclusive all facilities/tools.

Requirements

• Degree in Civil Engineering, preferable.
• Minimum of five (5) years site experience and has attended MOM or Institute of Engineers Singapore conducted Appointed Person - Lifting Operations course to oversee the activities of the various lifting operation on site
• Able to communicate well (spoken and written).
• Possess a willing to learn and proactive attitude.

Responsibilities:

• Design, develop, and optimize large-scale data pipelines for efficient data collection, processing, and storage.
• Monitor and maintain data pipelines to ensure high availability and consistency.
• Develop algorithms for processing and analyzing large datasets.
• Utilize distributed computing frameworks like Hadoop and Spark for scalable data processing.
• Design and manage large-scale data storage solutions, including HDFS, Cassandra, NoSQL, and BigQuery.
• Implement robust data management practices to ensure data integrity and security.
• Collaborate with data scientists, analysts, and stakeholders to meet data requirements.
• Communicate complex data concepts effectively to non-technical stakeholders.
• Stay updated on the latest trends and advancements in big data technologies.
• Continuously enhance data infrastructure to improve performance and scalability.

Requirements:

• Bachelor's degree or higher in Computer Science, Data Science, or a related field.
• Minimum of 2 years of relevant professional experience preferred.
• Proven experience in designing and maintaining data pipelines and storage solutions.
• Strong proficiency with distributed computing frameworks, particularly Spark.
• Expertise in data management systems like HDFS, Cassandra, NoSQL, or BigQuery.

Job Overview:

As an AIGC/ Gen AI architect, you will be responsible for pushing the boundaries of image & video generation technology for online AI applications. You will design and implement advanced image & video generation models capable of generating target images with different styles (e.g., in news, gaming applications). Additionally, you will stay abreast of the latest research developments in the image & video generative-AI technology field to ensure our solutions remain industry-leading.

As an AIGC/ Gen AI architect in Singapore, you will design and implement image & video generation models to support the content generation tasks in AI application. Key domains of focus include text to image generation, image to image generation, text to video generation, and image to video generation.

Responsibilities:

• Investigate and apply the latest image/video generation models for various AI applications (e.g., gaming and news).
• Design and develop the text to image, image to image, text to video generation methods based on application objectives.
• Fine-tune the image and video generation models based on different targets, e.g., to generate images/video in different styles.
• Develop and train other relevant models (e.g., LoRA, ControlNet) to optimize generative content quality.
• Model inference and speed optimization to achieve online application latency requirements.
• Ability to identify the reasons on generated image/video quality issues, and find out possible solutions.

Requirements:

• Bachelor’s degree or above in Computer Science, Artificial Intelligence, Electronic Engineering, Data Science, or related fields.
• A minimum of 2-5 years of hands-on experience with the latest image or video generation models, such as SDXL, SD 3 Medium, Stable Video Diffusion, etc.
• Proficiency in deep learning frameworks (e.g., PyTorch, TensorFlow) with experience in building end-to-end online image/video generation applications (e.g., for chatbots/agents).

• Develop detailed designs for test jigs, frame and structures.
• Use computer-aided design (CAD) software and finite element analysis (FEA) to simulate and analyze designs.
• Ensure designs meet safety codes, standards, and regulations.

Elsa Fontanne (CEI No. R24124496)

Recruitment Consultant

Contact Number: 67860100

Email Address: [email protected]

Recruit Express Pte Ltd / EA Licence No: 99C4599

We regret only shortlisted candidates will be contacted

JOB SCOPE:

· Implementation and manage in house IT and/or Project’s IT requirement and implementation, with higher emphasis to Cloud related Infrastructure.

· Setup and maintenance of cloud services (GCC, AWS, Azure, Google Cloud, etc).

· To be involved in Cloud architecture design.

· Review technical design, identify Security Vulnerabilities, and provide necessary recommendation to improve overall Security.

· Prepare and submit Project IT and IT Security documents.

· Prepare and submit of Test & Commissioning documents related to IT Security.

· Oversea or Lead the Testing & Commissioning of IT System and Security Testing.

· Perform IT security hardening and mitigation when applicable.

REQUIREMENT:

• Degree in Information Technology or Computer Science or a related discipline;

• Excellent knowledge on Cloud setup, which includes but not limited to AWS, Azure and Google Cloud.

· Good knowledge in IT, IT Security and Network.

• Resourceful and problem-solving aptitude.

• Excellent communication skill.

• Working experience in IT Infrastructure, IT security and Network implementation.

• Experience with Windows Server, Active Directory, SCCM, Endpoint Configuration Manager, Group Policy, Virtualization (vmware/hyper-v), networks (LAN, WAN) and patch management.

• Good Knowledge of system security (e.g. Firewall, Intrusion Detection Systems etc) and data backup/recovery.

• Professional certification in IT and IT Security is a plus.

• Proven leadership in managing IT team is a plus.

• Proven experience in Government Computing Cloud is a strong plus point.

• Familiar with terraform would be a strong plus point.

Job Scopes:

• Combine best practices in development, platform and application testing, and process support throughout the software development lifecycle.
• Identify technical issues and create software updates to resolve bugs.
• Manage tool and solution development, conduct integrated tool and platform testing, and enhance speed and productivity.
• Build, configure, and maintain new development infrastructure and tools.
• Innovate and automate processes to improve development and release workflows.
• Review and test code written by others, and analyze results.
• Ensure systems are protected from cyberattacks and security threats.
• Collaborate with engineers to ensure development adheres to established processes and functions as intended.
• Plan and participate in project management activities.
• Engage in the development of HSE (Health, Safety, Environment) protocols, including hazard identification, risk assessments, and control measures.
• Ensure work activities and behavior align with the HSE policy, objectives, and management system, and comply with legal requirements.
• Perform additional duties as reasonably required.

Requirements:

• Minimum Diploma in Computer Science / Information Technology or equivalent
• At least 2 - 3 years of working experience in the related field
• Development of application systems in Database Applications, Excel Macros, Web Applications, Android Apps, IoT projects, Microsoft Office automation, and Microsoft Power BI solutions.
• Experienced in implementing Industry 4.0 technologies.

Aurora Asia Pacific (21C0671)|Ying Kee (R21103783)

Job Descriptions:

• Perform structural design and analysis, loading calculation and drawings for ETFE Skylight, Tensile Membrane, Structural Steel Structures.
• Able to perform Finite Element Analysis Modeling and Analysis of Structure.
• Preparation of 3D structural models and shop fabrication drawings, method statement etc.
• Work closely with architects, engineers, general contractors, fabricators and other professionals.
• Involve in supervising projects and provide progress report.
• Make sure projects meet authorities requirements.

Job Requirements:

• Minimum PhD or Masters degree in Civil and Structural Engineering or equivalent
• Minimum 2 years relevant experience in Civil and Structural Engineering design
• Proficiency with steel 3D modelling, analysis & design software such as Rhino and grasshopper.
• Proficiency with programming language especially C++ , Python and Fortran
• Able to produce detailed layout drawings
• Experience in Tensile Membrane, ETFE Skylight and Steelwork design is an advantage
• Good command of English

COMPANY DESCRIPTION

Located on Jurong Island, the petrochemical hub of Singapore, SRC operates a refinery that is capable of processing 290,000 barrels of crude oil per day to produce fuel products and chemical feedstocks that are supplied to domestic markets and overseas export markets under the brand labels of its shareholders.

RESPONSIBILITIES

• Carry out inspection and repair of atmospheric storage tanks, spheres etc in compliance to API 653. The incumbent should be familiar with API 650 and have capability to review tank design and repair requirements.
• Develop inspection plan and schedule for tanks in collaboration with Operations & Maintenance departments
• Conduct planned inspections for tanks using various techniques such as MFL, UTG Crawler, AUT and crack detection techniques.
• Coordinate with NDT contractors on job scope needed to support inspection work requirements.
• Investigate, analyze and determine root-cause of any failure or inherent defect in equipment/piping so as to make recommendations for alleviating the condition or solving the problem.

• Degree Or Diploma in Mechanical Engineering
• Possess API 653 certification, additional certification in API 510 and 570 would be desirable.
• Familiar with tank coatings and related inspection.
• At least 4 years' relevant experience in inspection of storage tanks and repair.
• Fresh graduates may be considered for entry-level positions and will receive relevant training to be successful in the role.

The ideal candidate will help build, maintain, and troubleshoot, the company's rapidly expanding infrastructure. They will work alongside other engineers to ensure highest levels of performance and ability, and manage any problems that arise.

Key Responsibilities:

• Implement and manage Windows-based infrastructure and associated technologies.
• Monitor and maintain the health, performance, and security of Windows servers and systems.
• Administer Active Directory, Group Policy, DNS, DHCP, and related services.
• Configure and troubleshoot Hypervisor Nutanix virtualization platforms (e.g., VMware, Hyper-V).
• Install, configure, and manage Windows servers and services, including IIS, SQL Server, Exchange 2019 and Skype 2019
• Collaborate with cross-functional teams to implement and support enterprise-wide solutions.
• Perform routine system and application updates, patches, and upgrades.
• Develop and maintain documentation related to system configurations, processes, and procedures.
• Provide level 2 and/or level 3 support for Windows-related issues.
• Participate in on-call rotation for after-hours support as needed.

Qualifications:

• Tertiary education in in Computer Science, Information Technology, or related field.
• At least 3 to 5 years of experience in administering Windows-based systems and infrastructure.
• Proficiency in Windows Server operating systems (2019).
• Strong understanding of Active Directory, Group Policy, DNS, and DHCP.
• Experience with virtualization platforms such as VMware and Hyper-V.
• Knowledge of scripting languages (e.g., PowerShell) for automation and scripting tasks.
• Familiarity with monitoring tools and systems management solutions.
• Excellent problem-solving and troubleshooting skills.
• Strong communication and interpersonal abilities.
• Certifications such as MCSE, MCSA, or equivalent are a plus.

HOW TO APPLY:

Simply submit your application with your updated Resume in MS Word Format to Nurul Atika Binte Kassim (EA Personnel Reg. No.: R1986508) by clicking the ‘Apply link’ or email to Atika at [email protected] or Call 6590 9960 for a confidential discussion

EA License No: 05C345

Please indicate the below information in your resume:

• Current & Expected Salary
• Reason(s) for leaving
• Notice Period / Availability to commence work

YOUR SUCCESS IS OUR ACHIEVEMENT!

Notice:

We would like to inform that only short-listed candidates will be notified. All applications will be treated with the strictest confidence.

By submitting any application or resume to us, you will be deemed to have read & agreed to the terms of our Privacy Policy, and consented to us collecting, using, retaining and disclosing your personal information to prospective employers for their consideration, and for our marketing EDMs which you may opt out by unsubscribing in the mailer. You may refer and access our website at https://www.achievegroup.asia/privacy-policy/ for more information.

Cessation of Collection of full NRIC Numbers:

In compliance with the Personal Data Protection Act and commitment to protect candidates’ personal data, Achieve Group will cease to collect, process or use full NRIC numbers during our screening and job application process.

Responsibilities:

• Analyse project requirements, design, develop and test industrial robotic equipment/machine.
• Design detailed electrical schematics, wiring diagrams, and layout drawings..
• Source and select control components and place order for the components.
• Execute control system set up, IO system, servo & step drive set up, axis tuning.
• Provide technical support on site.
• Good in documentation throughout the project lifecycle.
  

Requirements:

• Bachelor's Degree in Electrical and / or Electronics Engineering.
• Minimum 3 Years of relevant experience in designing and implementing control systems for electrical machines.
• Experience with CAD software for electrical design (e.g., AutoCAD Electrical, E3, EPLAN).
• Strong communication and teamwork skills.
• Ability to manage multiple projects and meet deadlines.

Please include the following information in your resume.

• Current & Expected Salary
• Reason(s) for leaving
• Notice Period / Availability to commence work

By submitting any application or resume to us, you will be deemed to have agreed and consented to us disclosing your personal information to prospective employers for their consideration.

We regret only short-listed candidates will be notified.

EA License | 18C9251 WGT Group

Registration No | R22111484 Ketty Lim

Job Description

· Report to Project Manager, oversee the implementation of construction works and be responsible for coordinating with consultants and subcontractors on structural works/drawings to ensure timely completion and quality standards of the project.

· Overall in charge on Structural Coordinated Drawing Production (Concrete Body Plan), material and method statement submission, ensure accuracy and timely submission as per master program.

· Review and submit shop-drawings, RFI,RFA,MOS,MAS and etc.

· Ensure implementation of sustainable engineering procedures and guidelines.

· Effective communication and coordination between project participants.

· Lead structural coordination meeting, and prepare relevant meeting minutes.

· Liaise with clients, consultants, relevant authorities, and sub-contractors on Structural issues.

· In charge on B-score and C-score documentation.

· Handle any other ad-hoc duties and tasks assigned.

Requirements

· Degree in Civil/Structural Engineering or its equivalent.

· Minimum 3 years of relevant working experience in the construction industry.

· Excellent team spirit, good interpersonal skills, and “can-do” attitude.

· Relevant experience would be an added advantage.

· Proficient in Microsoft Office and Project Scheduling Software.

· Knowledge in BIM (revit) / VDC software is added advantage.

· Experience in B-score, C-score, and CSC Documentation is added advantage.

• Work Location: Tampines Industrial Avenue 5
• Work Day: Monday to Friday (8.30am to 5.30pm)

Responsibilities:

• To lead a team of Associate Engineers / Technicians to carry out all the Test related activities for Server & Rack products for the production
• To support & implement PXE Server configuration for the products
• Perform & maintain the Server & Rack run-in test process
• Perform & maintain the burn-in & power test process
• To liaise with customer & HQ / factory on the test program implementation and maintenance
• To test and analyze all failures in the production products and work back with customer & HQ / factory for improvement
• Participate in the Kaizen activities
• To update the test program master list & tracking
• To prepare and update Working Instruction
• To provide training over W/I to production
• To support the NPI Process
• To support production on the mass run
• Participate in ISO activities (implementation & maintenance)

Requirements:-

• Min. Diploma in Engineering discipline with min 3 years relevant experience in Server / Rack/ Manufacturing environment
• Ability to work with the customer, HQ / factory, Peers / Subordinate and Superiors
• SAP & Linux knowledge
• Able to multi-task & work under pressure
• Good understanding of test methods and concepts
• Knowledge of programming and debugging skills
• Compliance with RBA standards

To Apply, kindly click on the "APPLY NOW" button and job details. We regret that only shortlisted candidates will be notified.

Daniel Lim | Registration Number: R24124455 | AlwaysHired Pte Ltd

EA Licence No: 24C2293

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

Our Client is a leader in the Manufacturing MNC. Due to their current expansion plan, they are looking for a Manufacturing Engineer (Production) to join their team, in hopes of developing the current high performing team. They are located in the West.

Responsibility:

• Responsible in production planning and control processes
• Handle manpower allocation/planning and participate in HR-related activities.
• Manage order processing and related documentation tasks.
• Work closely with Sales and Quality departments to resolve production issues.
• Track and monitor production schedules to meet delivery timelines.
• Prepare and submit detailed monthly production reports.
• Involve in process improvement initiatives.
• Any other ad-hoc duties as assigned.

Requirement:

• Minimum Diploma in Engineering related studies or equivalent
• Minimum 2 years relevant experience
• Proficient in Microsoft Office application

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

We regret that only shortlisted candidate will be notified.

Email Address: [email protected]

Recruitpedia Pte. Ltd.

EA License No. 19C9682

EA Reg. No. R23115553 (Lai Hor Yan)

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

Our client is a manufacturer in Oil & Gas industry. Due to business needs, they are now recruiting a Key Account Manager to join their sales team. They are located in the West - easily accessible.

Responsibility:

• Servicing and maintaining manual lathe machines, CNC machines, and deep hole boring equipment to ensure they are functioning at optimal capacity.
• Troubleshooting mechanical and electronic issues that could affect machine performance.
• Preventive maintenance to minimize downtime and ensure the longevity of the equipment.
• Performing detailed inspections and calibrations to maintain precision in machining operations.

Requirements:

• Min 2 years of maintenance experience for Deep Hole Drilling
• Min Diploma in engineering field

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

We regret that only shortlisted candidate will be notified.

Email Address: [email protected]

Recruitpedia Pte. Ltd.

EA License No. 19C9682

EA Reg. No. R2198636 (Oh Puey Xin)

Contract duration: 1 year contract (renewable subject to work performance)

Location: Changi Business Park / Marina Bay Financial Centre
Salary: Up to S$7,200

Key Responsibilities:

• Implement and enhance DevOps practices (design, approvals, development).
• Improve CI/CD frameworks and processes.
• Use Infrastructure as Code (IaC) to create new environments.
• Troubleshoot and resolve build/release issues.
• Propose and implement branching strategies.
• Onboard applications to the DevOps pipeline.
• Manage UAT environments, including health checks and troubleshooting.
• Automate production deployments.
• Share DevOps best practices across the organization.

Requirements:

• Bachelor's Degree in Computer Science, Information Technology, or a related field.
• Minimum of 3-5 years of relevant experience in DevOps practices, CI/CD pipelines, and related technologies.
• Proficient in IaC, build/release troubleshooting, and automation tools.
• Strong organizational and communication skills.
• Experience with Jenkins, OpenShift, Kubernetes, Java, Node.js, and Gitflow.
• Passion for learning and continuous improvement.

Brandon Lim | EA Registration No: R21102894

EPS Consultants Pte Ltd| 95C5630

Our client delivers a broad array of solutions and services, featuring IBMS, Smart Facility Management, IoT and Data Analytics, ELV Systems, as well as Network Infrastructure and ICT solutions.

• Perform testing of DCS/DDC/PLC with SCADA software.
• Conduct the communication test for Devices using different protocol.
• Arrange and submit documents and report as per the requirement.
• Ensure timely completion of commissioning activities.

Requirements:

• Diploma in Electrical Engineering or equivalent
• At least 2 years of experience in Industrial/Process automation, building ACMV systems for Built Environment Projects.
• Experience in building management systems will be advantageous.

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

Please note that only shortlisted candidates will be notified.

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

EA Licence: 19C9701

Registration: R1326740

Responsibilities:

• Assist in planning, executing, and coordinating construction tasks according to the master and detailed work schedules.
• Prepare and submit essential project documents such as timelines, method statements, design plans, risk evaluations, and monthly updates.
• Oversee construction work to ensure it adheres to contract terms, drawings, quality standards, and Environmental, Safety & Health (ESH) guidelines.
• Collaborate with Clients, Authorities, Consultants, Subcontractors, and Suppliers on all aspects of the project, providing solutions and ensuring proper documentation.
• Coordinate with clients and consultants for site inspections, submit technical reports, and maintain accurate site records. Assist the QS department in reviewing contractor claims and progress payments.
• Attend meetings with Clients, Consultants, and Contractors to monitor project timelines and ensure progress is on track.
• Maintain an organized document control system, reviewing detailed design drawings and project specifications.

Requirements:

• Bachelor’s degree in Civil Engineering recognized by the Professional Engineer Board.
• At least 2 years of working experience in the construction and infrastructure industry.

______________________________________________________

HOW TO APPLY :

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

Please provide following information in the resume for immediate processing

1) Reasons for leaving current and/or last employment

2) Last drawn and/or current salary

3) Expected salary

4) Date of availability and/or Notice Period

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

Wee Wai Dan

EA License No : 03C5391

EA Reg No : R22109628